{"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://avatars.githubusercontent.com/u/69631?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712061153.0","currentOid":""},"activityList":{"items":[{"before":"dec73d18c6869b9041ad5692b0b0af52a78e4580","after":"9a97b2dedbb454cc78bd4a681e082f367c366667","ref":"refs/heads/main","pushedAt":"2024-05-23T10:22:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[retain cycles] Add a new issue type to keep track of potential retain cycle where we are missing data about weak access\n\nSummary:\nThis is for debugging purposes mostly, we want to be able to see how often this is happening and debug those cases with the aim of finding a solution.\n\nThe reason why we are missing the data is the fact that we have multiple tenvs with different types in each. So we may be missing the required types in the tenv at hand when we are checking for the cycle.\n\nReviewed By: jvillard\n\nDifferential Revision: D57570974\n\nfbshipit-source-id: 7f28ad10319a44bb3338a421ff593359d4331f42","shortMessageHtmlLink":"[retain cycles] Add a new issue type to keep track of potential retai…"}},{"before":"91322656f5f44bb88a65b3570112c87ab5347feb","after":"dec73d18c6869b9041ad5692b0b0af52a78e4580","ref":"refs/heads/main","pushedAt":"2024-05-22T23:07:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[retain cycles] Move biabduction retain cycles tests to pulse ones\n\nSummary:\nWe had some retain cycle tests that include multiple files that were using the biabduction checker, now we swapped them to use the pulse checker.\n\nAdapted names given that some are not found by pulse.\n\nReviewed By: ngorogiannis, geralt-encore\n\nDifferential Revision:\nD57672757\n\nPrivacy Context Container: L1258973\n\nfbshipit-source-id: 53922f5fe96308ddf0470c4df6f31f69c0bd47ec","shortMessageHtmlLink":"[retain cycles] Move biabduction retain cycles tests to pulse ones"}},{"before":"bd4ac7aa9724e185e6b28fce3a342dc42ae737f8","after":"91322656f5f44bb88a65b3570112c87ab5347feb","ref":"refs/heads/main","pushedAt":"2024-05-22T20:38:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[buck2] remove buck2clang integration\n\nSummary:\nDeprecate --buck2-use-bxl flag as there is only one buck2 integration per language now.\nRemove dead Buck2Clang files.\n\nReviewed By: martintrojer\n\nDifferential Revision:\nD57669134\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 067ce36d84b0ba1feffe59b31383b0f647934730","shortMessageHtmlLink":"[buck2] remove buck2clang integration"}},{"before":"348ad42c64a265505df5e7156e62d1e2b8cdd810","after":"bd4ac7aa9724e185e6b28fce3a342dc42ae737f8","ref":"refs/heads/main","pushedAt":"2024-05-22T15:08:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[retain cycles] Store the retain cycle data in a record\n\nSummary: This is more readable and extendable as we add more elements to the retain cycle data.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D57569537\n\nfbshipit-source-id: bc11f7e5db3c2c6d7e4c5743f2a88bdb8c2bccb5","shortMessageHtmlLink":"[retain cycles] Store the retain cycle data in a record"}},{"before":"3858b90a68e513a943b5b7783df06915deb6aa0d","after":"348ad42c64a265505df5e7156e62d1e2b8cdd810","ref":"refs/heads/main","pushedAt":"2024-05-22T14:33:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[annot] Add more details to reported methods\n\nSummary: If a method is not annotated directly, but inherits its annotation from a base class method, then print the base method in the report too. Plus also distinguish if a method is annotated \"directly\" or is modeled as if it was annotated.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D57618235\n\nfbshipit-source-id: 600a52ee6a828de7a98fd49f32c987c12ebad277","shortMessageHtmlLink":"[annot] Add more details to reported methods"}},{"before":"49eb7719c41f503e32ddeaa35c452bc85b6b510b","after":"3858b90a68e513a943b5b7783df06915deb6aa0d","ref":"refs/heads/main","pushedAt":"2024-05-21T15:47:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[pulse] Use Procname.describe in issue message\n\nSummary:\nSometimes the procedure name is too long in an issue message,\nesp. when it is with C++ templates.\n\nReviewed By: ngorogiannis\n\nDifferential Revision:\nD57555911\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 4d42322d5d10a01ac8b116d6d5046d5ec8e198bc","shortMessageHtmlLink":"[pulse] Use Procname.describe in issue message"}},{"before":"368fec50653a54cc1d528896cedfb4ccde353231","after":"49eb7719c41f503e32ddeaa35c452bc85b6b510b","ref":"refs/heads/main","pushedAt":"2024-05-21T15:29:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[pulse] Replace Procname.describe to call pp_without_templates\n\nSummary:\n`Procname.describe` tries to remove templates by a regular expression,\nbut which sometimes resulted in a wrong procedure name when the class\nhas a template, e.g. `Class<A>::foo` is printed as `Class`. This diff revises\nit to use `Procname.pp_without_templates` instead.\n\nReviewed By: ngorogiannis\n\nDifferential Revision:\nD57555820\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: b7459aaa1b3f0ac7a1ae088318400dedaa51306b","shortMessageHtmlLink":"[pulse] Replace Procname.describe to call pp_without_templates"}},{"before":"327b815eb86f032aae379c99073a9f5d5d3549de","after":"368fec50653a54cc1d528896cedfb4ccde353231","ref":"refs/heads/main","pushedAt":"2024-05-21T09:32:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[clang] Fix test scripts\n\nSummary:\n- Added `./`, so that the test under `facebook-clang-plugins/libtooling/atdlib` runs correctly.\n- Set a specific target in the frontend test, so that it passes on apple M1 machine.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D57571423\n\nfbshipit-source-id: 6440d6a9e42177d5e1e8957009ab97e844fc4614","shortMessageHtmlLink":"[clang] Fix test scripts"}},{"before":"87617a9a52934f15ad47d5617b80d1be77dbc36f","after":"327b815eb86f032aae379c99073a9f5d5d3549de","ref":"refs/heads/main","pushedAt":"2024-05-21T07:52:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[erl-frontend] Add category for Erlang issues\n\nSummary: Add category for all the Erlang-related issue types. \"Runtime exception\" seems to be the most appropriate category.\n\nReviewed By: rgrig, martintrojer\n\nDifferential Revision: D57555024\n\nfbshipit-source-id: 4b07bd4a729d2de5ff6a7eda116da05bc65742c1","shortMessageHtmlLink":"[erl-frontend] Add category for Erlang issues"}},{"before":"fa2b37054feca54c03331adbd20dd0303c395ac1","after":"87617a9a52934f15ad47d5617b80d1be77dbc36f","ref":"refs/heads/main","pushedAt":"2024-05-20T20:09:31.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[impurity] get rid of MemoryAccess\n\nSummary:\n`MemoryAccess` was still hiding inside impurity but we can migrate it to\nuse pulse accesses instead.\n\nReviewed By: dulmarod\n\nDifferential Revision: D57496452\n\nfbshipit-source-id: cfb732aeac2547ff78954fd2e679493217c201b1","shortMessageHtmlLink":"[impurity] get rid of MemoryAccess"}},{"before":"86f07c2cbe21155ebc0705034f8db065a366e7ea","after":"fa2b37054feca54c03331adbd20dd0303c395ac1","ref":"refs/heads/main","pushedAt":"2024-05-20T16:07:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[CIAC] Add more test cases\n\nSummary: [CIAA] Add more test cases\n\nReviewed By: skcho\n\nDifferential Revision:\nD57489025\n\nPrivacy Context Container: L1122176\n\nfbshipit-source-id: c9f083bac3d76fe875727aa4a7fb850cb4ce7cb2","shortMessageHtmlLink":"[CIAC] Add more test cases"}},{"before":"068d9d04a5e76d9b27e163a4ab45488f7503585b","after":"86f07c2cbe21155ebc0705034f8db065a366e7ea","ref":"refs/heads/main","pushedAt":"2024-05-20T15:42:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"Add category to fragment retains view issue\n\nSummary: Add category to the fragment retains view issue type.\n\nReviewed By: martintrojer\n\nDifferential Revision: D57554933\n\nfbshipit-source-id: 822eaf3610d6f1945c302883cd7ffad35f817c1d","shortMessageHtmlLink":"Add category to fragment retains view issue"}},{"before":"2880cfe6924dfc8c371fc5af98ba4c0845283d57","after":"068d9d04a5e76d9b27e163a4ab45488f7503585b","ref":"refs/heads/main","pushedAt":"2024-05-17T21:32:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[inferhack] rebox Hack strings\n\nSummary: Unboxed `HackString`s confuse existing pointer-based logic (leading to formulae like `0 < \"foo\"`). This restores boxing (similar to treatment of HackInt) for the time being\n\nReviewed By: jvillard\n\nDifferential Revision: D57492969\n\nfbshipit-source-id: 977d7adac705def07eb42719dbe653908023b1da","shortMessageHtmlLink":"[inferhack] rebox Hack strings"}},{"before":"17e0130d4d5d787d714ddfd60aab6421eb16f174","after":"2880cfe6924dfc8c371fc5af98ba4c0845283d57","ref":"refs/heads/main","pushedAt":"2024-05-17T21:01:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[retain cycles] Add test that shows a missing part of the trace\n\nSummary: We are missing the part about the execution of `hitViewInScrubber` that will explain how the cycle took place.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D57496059\n\nfbshipit-source-id: 3366358ab772635f31a2cf82d2ac5cfb6031eff2","shortMessageHtmlLink":"[retain cycles] Add test that shows a missing part of the trace"}},{"before":"237860c03dc9b1e9525506c1c40b8d8513069791","after":"17e0130d4d5d787d714ddfd60aab6421eb16f174","ref":"refs/heads/main","pushedAt":"2024-05-17T15:03:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"Lineage: split ArgumentOf/ReturnOf nodes on their known fields\n\nSummary:\nWithin a procedure analysis, the Argument and Return nodes hold some field information. The\nArgumentOf and ReturnOf nodes, that make the connection to other procedures graphs, used to not be\nfield-sensitive in the caller graph.\n\nThis diff makes ArgumentOf and ReturnOf hold shape informations. This allows in turn to have all the\nargument and return nodes splitted in the json output, making the graph simpler to traverse (because\nit is less connected).\n\nInjection and projection metadata now only exist on some Call and Return edges. This happens on\nshape-polymorphic callees when they're called with shapes having fields.\n\nReviewed By: rgrig\n\nDifferential Revision: D57446503\n\nfbshipit-source-id: 0e50279bfcbe0149c95d27a463022d78a9ca2b9a","shortMessageHtmlLink":"Lineage: split ArgumentOf/ReturnOf nodes on their known fields"}},{"before":"70fc167f0b9bf1ad9ce26c472fbaa1102b5e88a0","after":"237860c03dc9b1e9525506c1c40b8d8513069791","ref":"refs/heads/main","pushedAt":"2024-05-17T13:02:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[refactor] Use Re.Str instead of Str\n\nReviewed By: geralt-encore\n\nDifferential Revision: D57434740\n\nfbshipit-source-id: b750779b7398d7a1d5cc1f9fd72a1be7ec028c7d","shortMessageHtmlLink":"[refactor] Use Re.Str instead of Str"}},{"before":"72e769446650d1c1b76e667d0da21449f0d05065","after":"70fc167f0b9bf1ad9ce26c472fbaa1102b5e88a0","ref":"refs/heads/main","pushedAt":"2024-05-16T19:53:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[pulse] do not crash when pretty printing\n\nSummary:\nWe probably should not have `TakeAddress` in the first place but if we\ndo then don't crash.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D57440164\n\nfbshipit-source-id: 7c9a054795aa3795e34849f56976a012937b05f7","shortMessageHtmlLink":"[pulse] do not crash when pretty printing"}},{"before":"e2496d19a4a95175f391a48f6116f12c4e3e6601","after":"72e769446650d1c1b76e667d0da21449f0d05065","ref":"refs/heads/main","pushedAt":"2024-05-16T16:41:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[infer] Refactor to call Str.regexp as less as possible\n\nSummary: ^^\n\nReviewed By: ngorogiannis\n\nDifferential Revision:\nD57379261\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 62e4f63cad83ec090173e7e6e58c6db65f2b11a1","shortMessageHtmlLink":"[infer] Refactor to call Str.regexp as less as possible"}},{"before":"59e82d5b7d63ed2bea4db98261a888e020cdad0b","after":"e2496d19a4a95175f391a48f6116f12c4e3e6601","ref":"refs/heads/main","pushedAt":"2024-05-16T15:20:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"Lineage: add field exclusion as Src and Dst functions, factoring add_filtered_var_path_flow out\n\nSummary:\n`add_filtered_var_path_flow` was the last remnant of ad-hoc source/dest-specific functions after the\nlast refactoring passes. It is specifically used for the `maps:put` model to avoid writing flow from\nthe put-key element of the source map.\n\nTo factor it away from the code, we add field-exclusion functions within the `Src` and `Dst`\nmodule. It then appears as another instance of the general flow recording function. To keep checking\nfor shape equality, we implement this by adding to `add_var_path_flow` a new `exclude` optional field\nlabel argument.\n\nReviewed By: rgrig\n\nDifferential Revision: D57280338\n\nfbshipit-source-id: 17e573b5d509b28f0da4ec4cac1c66e99ed6218b","shortMessageHtmlLink":"Lineage: add field exclusion as Src and Dst functions, factoring add_…"}},{"before":"33a74f36ad7ce5b3600c197a67b2ab9b1a466d00","after":"59e82d5b7d63ed2bea4db98261a888e020cdad0b","ref":"refs/heads/main","pushedAt":"2024-05-16T13:35:57.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[infer] Initial version of cannot instantiate abstract class checker\n\nSummary: Initial version of cannot instantiate abstract class checker\n\nReviewed By: jvillard\n\nDifferential Revision:\nD57381709\n\nPrivacy Context Container: L1122176\n\nfbshipit-source-id: 62f6623ee1033d62e60f588002afdad81497a953","shortMessageHtmlLink":"[infer] Initial version of cannot instantiate abstract class checker"}},{"before":"159b2b67e994565ff1dd988e9d6fd4dcc5f4b820","after":"33a74f36ad7ce5b3600c197a67b2ab9b1a466d00","ref":"refs/heads/main","pushedAt":"2024-05-15T18:40:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"Lineage: have destinations also generate signals\n\nSummary:\nLineage sources generate signals that are used as slots to build the corresponding destinations. That\nworks well for most flow recording but is not very convenient when the destination is holding some\ninformation, which is the usecase for the ad-how `add_flow_to_var_path`.\n\nWe add signals to destinations, which allows to implement a single generic `add_flow_f` function that\ncan use the signals from both the source and the destination to generate the kind. It subsumes the\nprevious functions to write from and to variable paths into special nodes.\n\nReviewed By: rgrig\n\nDifferential Revision: D57280329\n\nfbshipit-source-id: 88015351ea23a3f00e68b4da7e16d7d74fe4ef7a","shortMessageHtmlLink":"Lineage: have destinations also generate signals"}},{"before":"8a7f30cb9fdb9025dfbd8fa3970b23142fb519f6","after":"159b2b67e994565ff1dd988e9d6fd4dcc5f4b820","ref":"refs/heads/main","pushedAt":"2024-05-15T18:33:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[biabduction] Increase timeout\n\nSummary: Increase the timeout for our java tests to avoid flakiness.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D57380416\n\nfbshipit-source-id: 979d8496a23a85b2256bf201f53745e432004023","shortMessageHtmlLink":"[biabduction] Increase timeout"}},{"before":"85ebfa2d867a05d43be8d99c17fb1d6eb6cf995f","after":"8a7f30cb9fdb9025dfbd8fa3970b23142fb519f6","ref":"refs/heads/main","pushedAt":"2024-05-15T15:08:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[inferhack] add test case for nullability\n\nSummary: simple testcase for nullability in type tests introduced in earlier diffs - shows FN becoming bad and FP becoming OK\n\nReviewed By: geralt-encore\n\nDifferential Revision: D57278896\n\nfbshipit-source-id: e651c57026b6f26be87f017c8cdbe451a14ad81e","shortMessageHtmlLink":"[inferhack] add test case for nullability"}},{"before":"c35eba1a4b027c794c4973de48cd664fb5dc5bfe","after":"85ebfa2d867a05d43be8d99c17fb1d6eb6cf995f","ref":"refs/heads/main","pushedAt":"2024-05-15T10:18:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[retain cycles] Do not follow paths where blocks are captured in blocks\n\nSummary: This leads to false positives.\n\nReviewed By: jvillard\n\nDifferential Revision: D57275043\n\nfbshipit-source-id: 7953d212f9798089b145d2aedfb9d71ba5251fe3","shortMessageHtmlLink":"[retain cycles] Do not follow paths where blocks are captured in blocks"}},{"before":"e426b7f23bd5dcc80848f52b4bc82d78034cae86","after":"c35eba1a4b027c794c4973de48cd664fb5dc5bfe","ref":"refs/heads/main","pushedAt":"2024-05-14T21:34:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"fix inverted formula\n\nSummary: Fix accidentally inverted formula\n\nReviewed By: skcho\n\nDifferential Revision: D57329042\n\nfbshipit-source-id: ec8975714ecfbce208134c0a7767299f484d3f29","shortMessageHtmlLink":"fix inverted formula"}},{"before":"612a4f5a8a5eec3eea0af33ddfef4293baa00191","after":"e426b7f23bd5dcc80848f52b4bc82d78034cae86","ref":"refs/heads/main","pushedAt":"2024-05-14T18:41:09.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[infer] Use Re.Str instead of Str\n\nSummary: > Re.Str is a drop-in repalcement for Str, with faster matching on average (using lazily constructed DFA)\n\nReviewed By: ngorogiannis\n\nDifferential Revision:\nD57287341\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 48153b05ae8641ffcb968756c50e886f16dbb381","shortMessageHtmlLink":"[infer] Use Re.Str instead of Str"}},{"before":"35f7aafdec51cff4da0bc7f68f52e09e4ed3ad34","after":"612a4f5a8a5eec3eea0af33ddfef4293baa00191","ref":"refs/heads/main","pushedAt":"2024-05-14T17:45:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[starvation] Disabled guards in interprocedural setting\n\nSummary:\nguards aren't supported in interprocedural setting. So let's remove\nlocks locked by guards from summaries, to avoid reporting FPs\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D57327739\n\nfbshipit-source-id: 449405c57551dcb7899ccc811ebeb4db727fac2e","shortMessageHtmlLink":"[starvation] Disabled guards in interprocedural setting"}},{"before":"1e80ab5c4cfebcbbe44f6e950d441d52166d681d","after":"35f7aafdec51cff4da0bc7f68f52e09e4ed3ad34","ref":"refs/heads/main","pushedAt":"2024-05-14T17:08:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"Lineage: remove some use of add_parallel_var_path_flow\n\nSummary:\n`add_parallel_var_path_flow` used to be an hard-coded double-cell-fold on two variable paths to write\nin parallel, also allowing the user to provide an `exclude` function to not write on some specific\nsource/destination fields. That exclude function is currently used only on maps:put-like models to\nnot write flow from the old map on the key being put.\n\nWe change all the uses of this function to use the simpler `add_var_path_flow` that is a simple\nadapter of the slot-using flow writing function implemented on previous commits (and adds a check for\nshape equality for bug catching).\n\nParallel write with exclusion is kept as-is to make reviewing easier.\n\nReviewed By: rgrig\n\nDifferential Revision: D57217127\n\nfbshipit-source-id: 2c7d0fa6ec93b713f807d1d9b1833e00fe5b4241","shortMessageHtmlLink":"Lineage: remove some use of add_parallel_var_path_flow"}},{"before":"e7cc9a21e28b476d80451eb009ccccf577e8bfad","after":"1e80ab5c4cfebcbbe44f6e950d441d52166d681d","ref":"refs/heads/main","pushedAt":"2024-05-14T11:06:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[infer] Add struct-as-cpp-class option to fix C/C++ linking issue\n\nSummary:\nFixed C/C++ issue in two steps:\n1) Adds an option to always translate CStruct into CppClass. With the option (default), the behaviour is the same as before. Enabling the option makes sure that types of global variables compare equal if defined accross C/C++ source files\n2) Change comparison for AbstractAddress to ignore translation units of global variables\n\nThis resolves the issue, notice no_deadlock_extern_c.c reports are removed from issues.exp\n\nReviewed By: skcho\n\nDifferential Revision:\nD56631749\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 86d54d6eb5968922ac4858429cb6c2dbbc4956a8","shortMessageHtmlLink":"[infer] Add struct-as-cpp-class option to fix C/C++ linking issue"}},{"before":"e4d53318cebee972cb53e330c9747e8a45ba8810","after":"e7cc9a21e28b476d80451eb009ccccf577e8bfad","ref":"refs/heads/main","pushedAt":"2024-05-14T08:24:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"facebook-github-bot","name":"Facebook Community Bot","path":"/facebook-github-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6422482?s=80&v=4"},"commit":{"message":"[infer] Add test demonstrating C/C++ issue\n\nSummary:\nAdd a test demonstrating an issue with C and C++ using same locks. Notice that the test shouldn't deadlock, but infer reports one\n\nAlso renames global mutex-es for previous tests to avoid global name clashes\n\nReviewed By: skcho\n\nDifferential Revision:\nD56631426\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 64a822d73751558ecf33d2845f7c723e7c0c8c16","shortMessageHtmlLink":"[infer] Add test demonstrating C/C++ issue"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUd8XCAA","startCursor":null,"endCursor":null}},"title":"Activity · facebook/infer"}