{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":29857799,"defaultBranch":"main","name":"infer","ownerLogin":"facebook","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-01-26T11:19:13.000Z","ownerAvatar":"https://github.com/avatars/u/69631?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718904734.0","currentOid":""},"activityList":{"items":[{"before":"ab3e4bced2d74ba60121769282c1581d0f349ab1","after":"0f1dc15ea4979686e6508d5502015d3cd0143c94","ref":"refs/heads/gh-pages","pushedAt":"2024-08-23T17:52:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploy website - based on ddc247724b723ea4c80234977efadc2fc4d56426","shortMessageHtmlLink":"Deploy website - based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/facebook/infer/commit/ddc247724b723ea4c80234977efadc2fc4d56426/hovercard\" href=\"https://github.com/facebook/infer/commit/ddc247724b723ea4c80234977efadc2fc4d56426\"><tt>ddc2477</tt></a>"}},{"before":"f0fda154c66487109522cd34fc8805a506b8563a","after":"ddc247724b723ea4c80234977efadc2fc4d56426","ref":"refs/heads/main","pushedAt":"2024-08-23T17:50:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[website] Update the website\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D61716981\n\nfbshipit-source-id: 40fb7c5b419ffab8ab2c445031f355b2578a177e","shortMessageHtmlLink":"[website] Update the website"}},{"before":"527af42b254855e43a4ad27d1baa5aac8ccd6824","after":"f0fda154c66487109522cd34fc8805a506b8563a","ref":"refs/heads/main","pushedAt":"2024-08-23T15:11:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[self in block]Add issue type for when C++ strings are captured in blocks\n\nSummary: This can also lead to crashes. Only reporting local ones for now until I understand other use cases better. We may also add formals later.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D59329709\n\nfbshipit-source-id: 4ad7036719c352adf73897d66c43a38b948d1f97","shortMessageHtmlLink":"[self in block]Add issue type for when C++ strings are captured in bl…"}},{"before":"ef0519c8b888ceb28bcdc635f8e95fa88df7df70","after":"527af42b254855e43a4ad27d1baa5aac8ccd6824","ref":"refs/heads/main","pushedAt":"2024-08-23T11:29:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[pulse][dsl] \"simplify\" syntax\n\nSummary:\n- `disjuncts` -> `disj`\n- `eval_foo` -> `foo` (eg `eval_read` -> `read`)\n- `mk_foo` -> `foo` (eg `mk_fresh ()` -> `fresh ()`)\n- `write_deref` -> `store`\n- `eval_deref` -> `load`\n- add more infix operators:\n  - `>>=` for bind\n  - `@@>` for sequential composition (`let*() = ... in ...`)\n  - `@=` for function application (sucks but has to start with `@` or\n    `^` or `::` or `**` to avoid awkward parentheses between `@@>`:\n    https://ocaml.org/manual/5.2/api/Ocaml_operators.html)\n\nReviewed By: nbenton\n\nDifferential Revision: D61657990\n\nfbshipit-source-id: 5c2c6c627bc30ea619c4ac1a9e1178025b9b439c","shortMessageHtmlLink":"[pulse][dsl] \"simplify\" syntax"}},{"before":"c00def51fd52c86251d1e3105bf100238e2f6ef2","after":"ef0519c8b888ceb28bcdc635f8e95fa88df7df70","ref":"refs/heads/main","pushedAt":"2024-08-23T08:32:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[reactive capture][hack]bugfix in missed types collection\n\nSummary:\nMissed types are collected using PulseTransitiveInfo module but this mecanism use a disjunctive part and a non-disjunctive part. We were missing the part stored in the non-disjunctive part.\n\nThe impact on reactive capture seems bad in term of performance but at least we capture more files.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D61654708\n\nfbshipit-source-id: ff0c102ea8e29d8550a4e78a91671210e610a181","shortMessageHtmlLink":"[reactive capture][hack]bugfix in missed types collection"}},{"before":"1b34a94755954b11b53e9da31b39aaa6cb011f7a","after":"c00def51fd52c86251d1e3105bf100238e2f6ef2","ref":"refs/heads/main","pushedAt":"2024-08-23T07:58:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[tenv] mild refactor of method resolution\n\nSummary:\n- Refactor to strengthen type safety (we can no longer return both a resolved procedure name and a non-empty set of missed captures).\n- Before doing any work check if the type is in the visited set, this was done later than necessary.\n- Always add the class name to the visited set (this was not done for some cases that do not change the outcome).\n- If the type is found but is dummy, immediately exit with no result instead of continuing the recursion. The idea is that dummy means no information in the type is trusted.\n- If the set of missed captures is non empty always return Unresolved even if for whatever reason we have a putative resolution.\n\nReviewed By: davidpichardie\n\nDifferential Revision: D59960860\n\nfbshipit-source-id: c05d84db61682ff33fa1e584563c69c6256b34b3","shortMessageHtmlLink":"[tenv] mild refactor of method resolution"}},{"before":"669b32ad5621813ce63e91f8284f808aace7d110","after":"1b34a94755954b11b53e9da31b39aaa6cb011f7a","ref":"refs/heads/main","pushedAt":"2024-08-22T20:48:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[topl] More interesting test for string literal\n\nSummary:\nSee subj. Also, updated makefiles to activate the test, which I think I\nforgot to commit last time.\n\nReviewed By: hajduakos\n\nDifferential Revision: D61476691\n\nfbshipit-source-id: 4d133c6db1e3eb0899a98b0fdef2e73e88d64d5d","shortMessageHtmlLink":"[topl] More interesting test for string literal"}},{"before":"1e679ce3ad9e0e9ea0a42929a7a549fade548282","after":"ab3e4bced2d74ba60121769282c1581d0f349ab1","ref":"refs/heads/gh-pages","pushedAt":"2024-08-21T13:31:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://github.com/avatars/in/15368?s=80&v=4"},"commit":{"message":"Deploy website - based on 669b32ad5621813ce63e91f8284f808aace7d110","shortMessageHtmlLink":"Deploy website - based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/facebook/infer/commit/669b32ad5621813ce63e91f8284f808aace7d110/hovercard\" href=\"https://github.com/facebook/infer/commit/669b32ad5621813ce63e91f8284f808aace7d110\"><tt>669b32a</tt></a>"}},{"before":"77c5cd2e51feca03be0f129cd66ff6a4de3e7e55","after":"669b32ad5621813ce63e91f8284f808aace7d110","ref":"refs/heads/main","pushedAt":"2024-08-21T13:29:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[web] Update the webpage\n\nSummary: ^^\n\nReviewed By: hajduakos\n\nDifferential Revision: D61542376\n\nfbshipit-source-id: b3e3b430cc349d681a59674d542b3a60849c6eae","shortMessageHtmlLink":"[web] Update the webpage"}},{"before":"476225b4961aeadbf25b0357e021a26eacb6b805","after":"77c5cd2e51feca03be0f129cd66ff6a4de3e7e55","ref":"refs/heads/main","pushedAt":"2024-08-20T22:03:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[inferhack] add test for 86pinit being called in factory\n\nReviewed By: davidpichardie\n\nDifferential Revision:\nD61539691\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 0da54c98dd2fac8ea5cf29355308666549ef0d06","shortMessageHtmlLink":"[inferhack] add test for 86pinit being called in factory"}},{"before":"acbc87dbd1a81c4e8afbc3514cb75ba6e3620943","after":"476225b4961aeadbf25b0357e021a26eacb6b805","ref":"refs/heads/main","pushedAt":"2024-08-20T19:30:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[parameterNotNull] Take into account formal annotations of captured\n\nSummary: Now we add the captured to the BlockParam map only if they are not a nonnull parameter. We can now also add the step to the trace showing where the captured are introduced as parameters.\n\nReviewed By: skcho\n\nDifferential Revision: D61398158\n\nfbshipit-source-id: 641eea8f04fbd20a366cecc858fa81960380fb23","shortMessageHtmlLink":"[parameterNotNull] Take into account formal annotations of captured"}},{"before":"1de69f115f9b99dc3e164f68df07549de3e211f0","after":"acbc87dbd1a81c4e8afbc3514cb75ba6e3620943","ref":"refs/heads/main","pushedAt":"2024-08-20T11:24:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[pulse] Prioritize ContinueProgram in summary\n\nSummary: This diff prioritizes `ContinueProgram` (and `ExceptionRaised` next), when constructing summary, so that they are more likely to be applied first on callsites.\n\nReviewed By: dulmarod\n\nDifferential Revision: D61389838\n\nfbshipit-source-id: e36b862ccf6c8fd3b3421ea81d5a82aa7897b5dd","shortMessageHtmlLink":"[pulse] Prioritize ContinueProgram in summary"}},{"before":"2fcef0f3c2f23260a80a96e9f8601c630a3cab62","after":"1de69f115f9b99dc3e164f68df07549de3e211f0","ref":"refs/heads/main","pushedAt":"2024-08-19T16:11:33.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[pulse] better data type for model descriptions\n\nSummary:\nThis avoids eagerly converting proc names to strings, and gives a more\ndescriptive `CallEvent.t` datatype to model descriptions instead of\n`string`.\n\nReviewed By: skcho\n\nDifferential Revision:\nD61469859\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: f0941b05306842fc0163d907fc106ed63c987ec3","shortMessageHtmlLink":"[pulse] better data type for model descriptions"}},{"before":"6e76ca4a9eb4dfbcd5adb88655eee32908a0dbe3","after":"2fcef0f3c2f23260a80a96e9f8601c630a3cab62","ref":"refs/heads/main","pushedAt":"2024-08-19T14:51:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[clang] Update is_formal_of to keep track of the method that the variable is a parameter of\n\nSummary: This will be used in the Parameter Not Null Checked checker to check the annotations of the parameter when the parameter is a parameter of the parent method.\n\nReviewed By: skcho\n\nDifferential Revision: D61391985\n\nfbshipit-source-id: ffc1f877adfb19b5ddf619cd5c8d9bfd1a96c3c2","shortMessageHtmlLink":"[clang] Update is_formal_of to keep track of the method that the vari…"}},{"before":"134efb8e7d94cb280f39894a57564998fd34e29e","after":"6e76ca4a9eb4dfbcd5adb88655eee32908a0dbe3","ref":"refs/heads/main","pushedAt":"2024-08-19T14:21:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[biabduction] Increase timeout for cpp biabduction tests\n\nSummary: Increase the timeout for our biabduction cpp tests to avoid flakiness.\n\nReviewed By: hajduakos, nbenton\n\nDifferential Revision: D61471300\n\nfbshipit-source-id: 35d7c53e59e2669ede35dcf071d840e55e3dd11e","shortMessageHtmlLink":"[biabduction] Increase timeout for cpp biabduction tests"}},{"before":"20de2777eaffacb353d03a33d9bee84b9ba1b936","after":"134efb8e7d94cb280f39894a57564998fd34e29e","ref":"refs/heads/main","pushedAt":"2024-08-19T14:06:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[EASY][pulse] Minor change on pretty print\n\nSummary: ^^\n\nReviewed By: jvillard\n\nDifferential Revision: D61389309\n\nfbshipit-source-id: 841c18a751d1b8c8bbe548b980efd50fa6db31c4","shortMessageHtmlLink":"[EASY][pulse] Minor change on pretty print"}},{"before":"4995440d50a86af9e449439445e9ad7b0eebf2a7","after":"20de2777eaffacb353d03a33d9bee84b9ba1b936","ref":"refs/heads/main","pushedAt":"2024-08-16T15:10:51.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[parameterNotNull] Take into account captured variables that are formals of the parent\n\nSummary: We want to report when the block that is executed and not checked for nil is a parameter of the parent method of a block. This does it.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D61339925\n\nfbshipit-source-id: d15def5aedeb7a7356a7ba106b1cb2657dbd053f","shortMessageHtmlLink":"[parameterNotNull] Take into account captured variables that are form…"}},{"before":"ce57bd3e1de1a9047abdef40a81215b9e2dd0568","after":"4995440d50a86af9e449439445e9ad7b0eebf2a7","ref":"refs/heads/main","pushedAt":"2024-08-16T12:02:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[topl] Added a test for string literals in Java\n\nSummary:\nA simple test. Functionality was implemented a while back, but I could\nonly find tests for Erlang.\n\nReviewed By: Rhapsod\n\nDifferential Revision: D61338777\n\nfbshipit-source-id: 27e9474d2986f90d4baa59c185373e61fc9ec3c9","shortMessageHtmlLink":"[topl] Added a test for string literals in Java"}},{"before":"84d722c8c9869ed4ebf72bd5ac4bc58368dfda62","after":"ce57bd3e1de1a9047abdef40a81215b9e2dd0568","ref":"refs/heads/main","pushedAt":"2024-08-15T16:10:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[pulse][trivial] move TransitiveAccess alphabetically\n\nSummary: It was the only one out of place. Unbearable.\n\nReviewed By: geralt-encore\n\nDifferential Revision:\nD61330312\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: ec67e78855ec8f255a67e16f08d30c5ae8f15ca6","shortMessageHtmlLink":"[pulse][trivial] move TransitiveAccess alphabetically"}},{"before":"bcdb7039cda03559eb445fa9e5d042d931d97f26","after":"84d722c8c9869ed4ebf72bd5ac4bc58368dfda62","ref":"refs/heads/main","pushedAt":"2024-08-15T13:25:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[inferconfig] Add an option of pulse-model-return-nonnull-list\n\nSummary: This is the list version of pulse-model-return-nonnull.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D61329927\n\nfbshipit-source-id: 32b7831fe44230a987e539ea0e4165cefe08f862","shortMessageHtmlLink":"[inferconfig] Add an option of pulse-model-return-nonnull-list"}},{"before":"826fd3f8af6777bcadd8f615b8cf473bd645a5ab","after":"bcdb7039cda03559eb445fa9e5d042d931d97f26","ref":"refs/heads/main","pushedAt":"2024-08-13T17:24:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[inferhack] add cycle detection to type constant expansion in check_against_type_structure\n\nReviewed By: jvillard\n\nDifferential Revision: D61140300\n\nfbshipit-source-id: 99a5b93cab46ccfc7d834b5551c3bab0ba378f29","shortMessageHtmlLink":"[inferhack] add cycle detection to type constant expansion in check_a…"}},{"before":"397fd6dbcb989c088d325ca634e4c03ea7268468","after":"826fd3f8af6777bcadd8f615b8cf473bd645a5ab","ref":"refs/heads/main","pushedAt":"2024-08-13T17:15:03.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[pulse] be more cautious about matching trace invalidations to reports\n\nSummary:\nWe were doing an optimistic, unsound filtering before, where any\ninvalidation event in the trace would be good enough to justify\nreporting a null pointer dereference (or comparison to null). Now that\nwe record comparisons to nulls as invalidations this can introduce false\npositives so fix the filtering to look for the *same* invalidation\nevent than the one we are trying to justify.\n\nReviewed By: geralt-encore\n\nDifferential Revision:\nD61202960\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 09b9679ac2e78c3903419890edc9dea257d63c34","shortMessageHtmlLink":"[pulse] be more cautious about matching trace invalidations to reports"}},{"before":"5dc049bba5bb0326699ac74d3a77443b58215bef","after":"397fd6dbcb989c088d325ca634e4c03ea7268468","ref":"refs/heads/main","pushedAt":"2024-08-13T14:21:04.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[pulse] cleanup variables using `always_reachable`\n\nSummary:\nFor some reason the extra dereference is needed for objc but in C\nprograms it is incorrect and caused NPEs in the test:\n\n```\n__attribute__((cleanup(cleanup_int))) int* x = malloc(...);\n```\n\nWe ended up checking the attribute on `*x` instead of `x`, so in the\nNULL case of malloc() it was an NPE, and in the non-NULL, allocated\ncase, it was removing the attribute on `*x` instead of `x` so we still\nhad a leak.\n\nInstead, opt for a different approach that considers `x` always\nreachable so that it doesn't need to be dereferenced. The advantage is\nthat the approach is uniform and is equivalent to a \"deep\" deallocation.\nThe incovenient is that objects stick around and are forever marked as\nallocated and reachable (until they disappear from the state), but this\nis minor.\n\n(Ideally we should try to call the cleanup method!)\n\nFixes https://github.com/facebook/infer/issues/8 at long last\n\nReviewed By: geralt-encore\n\nDifferential Revision:\nD61115436\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 8216d896133f539b71d7d68193e891680c0cda19","shortMessageHtmlLink":"[pulse] cleanup variables using <code>always_reachable</code>"}},{"before":"dbcf90ea3fe17651fafbddbcf893453380cdfb20","after":"5dc049bba5bb0326699ac74d3a77443b58215bef","ref":"refs/heads/main","pushedAt":"2024-08-13T11:32:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[manuals] fix markup for --unix-fork\n\nSummary:\ncmdliner was warning about this and indeed groff does not render\n`$(exec)` gracefully.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D61202915\n\nfbshipit-source-id: 2e961f92e218b93c4b97436883d416d84589c924","shortMessageHtmlLink":"[manuals] fix markup for --unix-fork"}},{"before":"1e3fe5d645cb2d5f9efb0441651b1248c4c07ed0","after":"dbcf90ea3fe17651fafbddbcf893453380cdfb20","ref":"refs/heads/main","pushedAt":"2024-08-13T10:39:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[clang] print source file once it is known\n\nSummary:\nThis is for the benefit of the parallel clang capture: when we start the\ncapture we don't know the name of the source file being captured, but we\nlearn it later on. Sadly clang takes a long time to tell us so in order\nto display the correct time we also modify the API of the progress bar\nto allow changing the title of the task without resetting the timer of\nthe task.\n\nWith this change, we can now start by displaying \"capturing source file\"\nand then update the string to be the name of the file.\n\nReviewed By: martintrojer\n\nDifferential Revision:\nD61132934\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: e782643b5365552de78bb455d3e63121947ff183","shortMessageHtmlLink":"[clang] print source file once it is known"}},{"before":"5520aec94b63a38897c901522d9d857baefe8262","after":"1e3fe5d645cb2d5f9efb0441651b1248c4c07ed0","ref":"refs/heads/main","pushedAt":"2024-08-13T09:07:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[unnecessary copy] Report issue on copy thrift_ref\n\nSummary: This diff reports unnecessary copy issues on copy thrift_ref assign operator.\n\nReviewed By: jvillard\n\nDifferential Revision: D50640871\n\nfbshipit-source-id: b7eda224c7eadb466f3c2660ebf0611dde86ab8e","shortMessageHtmlLink":"[unnecessary copy] Report issue on copy thrift_ref"}},{"before":"e36015ba529611876739001c494059eab6df1ba3","after":"5520aec94b63a38897c901522d9d857baefe8262","ref":"refs/heads/main","pushedAt":"2024-08-12T18:30:14.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[inferhack] check for constinit rather than sinit in uninitialized constant analysis\n\nSummary: The uninitialized constant analysis for Hack should set the `Uninitialized` attribute on abstract constants when calling `constinit` rather than `sinit`\n\nReviewed By: jvillard\n\nDifferential Revision: D61121644\n\nfbshipit-source-id: 6509c71e59e26001d8f08bd13973f4c4ffb43e19","shortMessageHtmlLink":"[inferhack] check for constinit rather than sinit in uninitialized co…"}},{"before":"dcac81c859115415700cc72663d2e4ea2b7b9fa4","after":"e36015ba529611876739001c494059eab6df1ba3","ref":"refs/heads/main","pushedAt":"2024-08-12T16:24:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[parameter not null checked] Set the category for BLOCK_PARAMETER_NOT_NULL_CHECKED\n\nSummary: When nil blocks are executed this causes a null pointer crash. This checks aims at preventing these crashes.\n\nReviewed By: jvillard\n\nDifferential Revision: D61128633\n\nfbshipit-source-id: 7a8732ec8e9b8130388e90a83e66e6473b90d595","shortMessageHtmlLink":"[parameter not null checked] Set the category for BLOCK_PARAMETER_NOT…"}},{"before":"db0f63342ca302f87720b01a67ce2ed330f0b793","after":"dcac81c859115415700cc72663d2e4ea2b7b9fa4","ref":"refs/heads/main","pushedAt":"2024-08-12T13:23:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"[mvn] disable failing test\n\nReviewed By: dulmarod\n\nDifferential Revision: D61124888\n\nfbshipit-source-id: d1efc0dc4ebd4ab023271bb6676e1374d2ae367d","shortMessageHtmlLink":"[mvn] disable failing test"}},{"before":"0a292c428212d6eae62743acb67e6df13a1ab46c","after":"db0f63342ca302f87720b01a67ce2ed330f0b793","ref":"refs/heads/main","pushedAt":"2024-08-12T10:38:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://github.com/avatars/u/6422482?s=80&v=4"},"commit":{"message":"include the full bug_type in text output\n\nReviewed By: geralt-encore\n\nDifferential Revision: D61112850\n\nfbshipit-source-id: 9561aca5fdb869618e58e1c346b849c14a83eeac","shortMessageHtmlLink":"include the full bug_type in text output"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEopmKCwA","startCursor":null,"endCursor":null}},"title":"Activity · facebook/infer"}