{"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":"bdfce0fe1858e8e15c682eda73d79a05d7d881f0","after":"531f533fbb7af995c5d3beeb87c21153998cd6f2","ref":"refs/heads/main","pushedAt":"2024-06-11T15:32: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":"[inferhack] parse textual type aliases and unfold them in pulseformula\n\nSummary: This adds new syntax and parsing of Hack type aliases to Textual and expansion of aliases to the dynamic-type-related interface functions of PulseFormula.\n\nReviewed By: skcho\n\nDifferential Revision: D58293655\n\nfbshipit-source-id: 9d6e3e7fa8b6a1fe73098b25ca2c1f101d010bba","shortMessageHtmlLink":"[inferhack] parse textual type aliases and unfold them in pulseformula"}},{"before":"c0160fcf5f8c53ecda82ccc8f526d1b951442350","after":"bdfce0fe1858e8e15c682eda73d79a05d7d881f0","ref":"refs/heads/main","pushedAt":"2024-06-11T14:02:30.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":"LineageTaint: print the json file names holding the results\n\nSummary: So the user doesn't need to know the internal details.\n\nReviewed By: rgrig\n\nDifferential Revision: D58376076\n\nfbshipit-source-id: 1710d778f95b9517f1b9d147411dc99a9d845bdf","shortMessageHtmlLink":"LineageTaint: print the json file names holding the results"}},{"before":"11bcd54ce37ea39ba7f806ae38b4615bd5823a89","after":"c0160fcf5f8c53ecda82ccc8f526d1b951442350","ref":"refs/heads/main","pushedAt":"2024-06-11T13:28:33.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":"[IR] Add type to store ObjC property attributes to Struct.field\n\nSummary:\nRather than storing strings and checking strings, we use a dedicated type for storing the attributes of properties. This will be more performant and save space in the tenv.\n\nWe added only an element for the properties that are currently used in our checkers.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58293470\n\nfbshipit-source-id: e6b6f70860953106fca382eb38a4277168fec610","shortMessageHtmlLink":"[IR] Add type to store ObjC property attributes to Struct.field"}},{"before":"f19397d2c023f815924b5f0b3cc0dcfe4201fff8","after":"11bcd54ce37ea39ba7f806ae38b4615bd5823a89","ref":"refs/heads/main","pushedAt":"2024-06-11T09:39:20.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] Support field access as sink\n\nSummary:\nSupport treating field accesses as sinks by generating a fake call: for `Class.someField` we generate `Class.__infer_field_someField()`.\n\nProcnames and callsites are baked in everywhere in annotation reachability checker, so even though this solution is a bit \"hacky\", it still feels better than introducing union types (procname or fieldname, callsite vs \"access-site\", etc...) almost everywhere.\n\nReviewed By: thizanne\n\nDifferential Revision: D58244288\n\nfbshipit-source-id: c06bd411ce6927485d032a9c0ab56584d669877d","shortMessageHtmlLink":"[annot] Support field access as sink"}},{"before":"d83ddd12f100c6c98b2cfdeb618e0479a2d7f779","after":"f19397d2c023f815924b5f0b3cc0dcfe4201fff8","ref":"refs/heads/main","pushedAt":"2024-06-10T21:06:39.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":"LineageTaint: warn on unknown CLI-given procedures\n\nSummary:\nWe print a warning when a procedure used as source, sink or sanitizer doesn't seem to exist in the\nLineage graph.\n\nReviewed By: rgrig\n\nDifferential Revision: D58371579\n\nfbshipit-source-id: 0d5c6e17090d7857b817aced6c801aa6aac51743","shortMessageHtmlLink":"LineageTaint: warn on unknown CLI-given procedures"}},{"before":"dee423e529e9a9dc3b8cfa3e612e2c3f56ad744f","after":"d83ddd12f100c6c98b2cfdeb618e0479a2d7f779","ref":"refs/heads/main","pushedAt":"2024-06-10T20:19:41.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":"[hack] fix a test because hh is clever now\n\nSummary:\nthe Hack typechecker is now able to find this kind of error, if the closure argument is obvious.\nBut the DYNAMIC_TYPE_MISMATCH checker should still be usefull when the KeyedTraversable interface is used.\n\nNote: the current reporting of this checker is not at the right place. This is a known issue.\n\nReviewed By: nbenton\n\nDifferential Revision: D58367043\n\nfbshipit-source-id: ccd828c1d2f60de9f0a31745ec77cfcbd04c4f8e","shortMessageHtmlLink":"[hack] fix a test because hh is clever now"}},{"before":"f695146fd5041362db3ed858aaeaa4ff3a916424","after":"23eb293331dd6ded96ce4e30b45337e9dd772177","ref":"refs/heads/gh-pages","pushedAt":"2024-06-10T13:05:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Deploy website - based on dee423e529e9a9dc3b8cfa3e612e2c3f56ad744f","shortMessageHtmlLink":"Deploy website - based on <a class=\"commit-link\" data-hovercard-type=\"commit\" data-hovercard-url=\"https://github.com/facebook/infer/commit/dee423e529e9a9dc3b8cfa3e612e2c3f56ad744f/hovercard\" href=\"https://github.com/facebook/infer/commit/dee423e529e9a9dc3b8cfa3e612e2c3f56ad744f\"><tt>dee423e</tt></a>"}},{"before":"4594f34f2f40cd99d9d60a8ff325f2870be31265","after":"dee423e529e9a9dc3b8cfa3e612e2c3f56ad744f","ref":"refs/heads/main","pushedAt":"2024-06-10T13:03:58.000Z","pushType":"push","commitsCount":5,"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":"[website] italicise extra info about issue types\n\nSummary: This makes this information less distracting.\n\nReviewed By: martintrojer\n\nDifferential Revision:\nD58289690\n\nPrivacy Context Container: L1258973\n\nfbshipit-source-id: 4cca4744619e06df5221642c722f82736500543e","shortMessageHtmlLink":"[website] italicise extra info about issue types"}},{"before":"927ea2161dac770d08ef92704e36bc6fbd0e57b0","after":"4594f34f2f40cd99d9d60a8ff325f2870be31265","ref":"refs/heads/main","pushedAt":"2024-06-10T10:09:40.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":"[starvation] Add a way to annotate functions to threads in C\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58235053\n\nfbshipit-source-id: 890b81d24081709e6b28beeba2ed45ee8768fff1","shortMessageHtmlLink":"[starvation] Add a way to annotate functions to threads in C"}},{"before":"adc24e09630f6bb82fdf94bf70fd675ab91ae240","after":"927ea2161dac770d08ef92704e36bc6fbd0e57b0","ref":"refs/heads/main","pushedAt":"2024-06-10T09:01:54.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 option to minimize paths on source side\n\nSummary:\nIf there is a call chain\n```\nsource1() -> source2() -> sink1() -> sink2()\n```\nthen Infer will always stop at the earliest sink (that is `sink1`). However, on the source side it considers *all* of them, reporting both `source1() -> source2() -> sink1()` and `source2() -> sink1()`. This diff adds an option to only report the latter.\n\nReviewed By: rgrig\n\nDifferential Revision:\nD58286923\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: 4ecebd86f2284927efd0e963505cdfdd91ea82b8","shortMessageHtmlLink":"[annot] Add option to minimize paths on source side"}},{"before":"c5e3f39358f0b00edec9a0f9b618ded658fd5b9e","after":"adc24e09630f6bb82fdf94bf70fd675ab91ae240","ref":"refs/heads/main","pushedAt":"2024-06-07T17:55:06.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":"Refactor LineageTaint config options management\n\nSummary:\nInstead of pattern-matching over a large and growing set of options in InferCommandImplementation, we\nadd a specific dedicated function within LineageTaint that is passed the relevant options and sets up\nthe taint configuration accordingly.\n\nWe also add a record type that holds all those options instead of passing them one-by-one to the\ntraversal functions.\n\nAdding new options to LineageTaint will now require much less effort.\n\nReviewed By: rgrig\n\nDifferential Revision: D58211087\n\nfbshipit-source-id: 61941408d4edf6be244ac2004cba4db44c7deb71","shortMessageHtmlLink":"Refactor LineageTaint config options management"}},{"before":"eda45f6aeb3c66f17efe7f0843a3aeb45ecaddbb","after":"c5e3f39358f0b00edec9a0f9b618ded658fd5b9e","ref":"refs/heads/main","pushedAt":"2024-06-07T17:34:11.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] Refactor the type field in preparation to adding a new record element\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58284499\n\nfbshipit-source-id: 892590ced88a29793456ee2b2057c2869335e2f4","shortMessageHtmlLink":"[clang] Refactor the type field in preparation to adding a new record…"}},{"before":"6d688f21e055932941a0ab732bcd9bbc37cf53b9","after":"eda45f6aeb3c66f17efe7f0843a3aeb45ecaddbb","ref":"refs/heads/main","pushedAt":"2024-06-07T15:56:02.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] Consolidate procname to string conversion\n\nSummary: We had a utility function for long names, but not for short names (without class).\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58286198\n\nfbshipit-source-id: 8b6da7894572084b10890cc908127363e92f221a","shortMessageHtmlLink":"[annot] Consolidate procname to string conversion"}},{"before":"2b91f8e2937b58f1a75665c40a68d1d18e016b56","after":"6d688f21e055932941a0ab732bcd9bbc37cf53b9","ref":"refs/heads/main","pushedAt":"2024-06-07T11:45:38.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":"[help] list categories with infer help --list-categories\n\nSummary: Now that we have categories, list them.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58246725\n\nfbshipit-source-id: 533619ae8b96a37e87dc486748a6866e852c3846","shortMessageHtmlLink":"[help] list categories with infer help --list-categories"}},{"before":"0773bffbae9ba68832ae3d3fbae58554eb7b8a50","after":"2b91f8e2937b58f1a75665c40a68d1d18e016b56","ref":"refs/heads/main","pushedAt":"2024-06-07T11:32:41.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] Check for dummy constructor consistently\n\nSummary: Extract the dummy constructor check in one place.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58243810\n\nfbshipit-source-id: bfec5ccbdd682106175ac69c3500068d750cf58b","shortMessageHtmlLink":"[annot] Check for dummy constructor consistently"}},{"before":"c444379bbf4a1c6cecea6ca173d74c9956ffa835","after":"0773bffbae9ba68832ae3d3fbae58554eb7b8a50","ref":"refs/heads/main","pushedAt":"2024-06-07T00:15:56.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":"[annot] Refactor argument handling\n\nSummary: Now that we're consistent with passing around annotations as `Annot.t`, we can shorten their name (`_annot` is not needed as we can see the type being `Annot.t`). Also, make source/sink named argument so that we don't mix them up.\n\nReviewed By: rgrig\n\nDifferential Revision: D58243269\n\nfbshipit-source-id: f558ebdb85e4e0854ba0549acb6c1e8fad163644","shortMessageHtmlLink":"[annot] Refactor argument handling"}},{"before":"2e6d8c39a80bd9b9fa367631a2a795537f97ead8","after":"c444379bbf4a1c6cecea6ca173d74c9956ffa835","ref":"refs/heads/main","pushedAt":"2024-06-06T19:07: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":"[infer] Remove PayloadId.Uninit\n\nSummary: PayloadId.t should match with Payloads.t.\n\nReviewed By: ngorogiannis\n\nDifferential Revision:\nD58240264\n\nPrivacy Context Container: L1208441\n\nfbshipit-source-id: b590e77f73659b28c2ab63d65971ecdd9a502a26","shortMessageHtmlLink":"[infer] Remove PayloadId.Uninit"}},{"before":"0b683491197818101baa5d0e6333266283b161ee","after":"2e6d8c39a80bd9b9fa367631a2a795537f97ead8","ref":"refs/heads/main","pushedAt":"2024-06-06T17:09:59.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] Cleanup reporting functions\n\nSummary:\nClean up reporting functions: `report_src_snk_path` called `report_call_stack` and it passed in `f_report` as the `report` argument which called `report_annotation_stack`. This was needed becase in Cxx `f_report` was something different. But now with Cxx support eliminated, we can simplify this.\n\nPlus rename some functions to make it clear what they do. Previously we just used the word \"report\" everywhere, but some of the functions were actually checking if something is a source, or were looking for paths to sinks and then finally reported.\n\nReviewed By: jvillard\n\nDifferential Revision: D58190717\n\nfbshipit-source-id: eeedb6d058ff22eb6e31a302029c1e1142d3162d","shortMessageHtmlLink":"[annot] Cleanup reporting functions"}},{"before":"160daa03bad8d03f2a334b48641b7d5d0ef7b2c5","after":"0b683491197818101baa5d0e6333266283b161ee","ref":"refs/heads/main","pushedAt":"2024-06-06T15:12: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":"[CIAC] Add backticks to class name during error reporting\n\nSummary: Add backticks to class name during error reporting\n\nReviewed By: jvillard\n\nDifferential Revision: D58235101\n\nfbshipit-source-id: 7c63260bc420809ba9d09f1f680aba15c8c8343c","shortMessageHtmlLink":"[CIAC] Add backticks to class name during error reporting"}},{"before":"6795f15d422df18f6890a4ea853c5b1dda2792b5","after":"160daa03bad8d03f2a334b48641b7d5d0ef7b2c5","ref":"refs/heads/main","pushedAt":"2024-06-06T15:05:43.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] nullability in DSL type tests\n\nSummary: Extends `check_against_type_struct` to cope with classes and nullability. This now makes more instances of, e.g. `verify_param_ty` actually do something, rather than being no-ops\n\nReviewed By: skcho\n\nDifferential Revision: D57841954\n\nfbshipit-source-id: 0d2ab8b4a429759e875144aee768b29ad60ad469","shortMessageHtmlLink":"[inferhack] nullability in DSL type tests"}},{"before":"f512144d5fee0f4886e5221df415a0ab784bf302","after":"6795f15d422df18f6890a4ea853c5b1dda2792b5","ref":"refs/heads/main","pushedAt":"2024-06-06T12:57:30.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][minor] simplify arithmetic DSL operations\n\nSummary:\n- don't use negation, eg `~negated:true Le` -> `Gt`\n- remove a few module names that weren't needed\n\nReviewed By: ngorogiannis\n\nDifferential Revision:\nD58194080\n\nPrivacy Context Container: L1258973\n\nfbshipit-source-id: 6f7bef8fff228337236fba4bec7ba58a4a603cff","shortMessageHtmlLink":"[pulse][minor] simplify arithmetic DSL operations"}},{"before":"124d5f3e07c7a8cd4f6ae17a7b473d0db778a80c","after":"f512144d5fee0f4886e5221df415a0ab784bf302","ref":"refs/heads/main","pushedAt":"2024-06-06T12:53: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":"[stats] restore pretty-printing stats in the logs\n\nSummary: The new json output is hard to read for humans.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D58193538\n\nfbshipit-source-id: ff0bbdb153ae7df28b60fcc4cf3a42ccb71b796c","shortMessageHtmlLink":"[stats] restore pretty-printing stats in the logs"}},{"before":"a07155dd56882861fa0591d89c7a0eb9aa6c6029","after":"124d5f3e07c7a8cd4f6ae17a7b473d0db778a80c","ref":"refs/heads/main","pushedAt":"2024-06-05T21:39:27.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":"delete a few remains of nullsafe\n\nSummary:\nQuite a bit of stuff in jsonbug.atd regarding extra info for nullsafe. Also a\ndefunct `PayloadId.t`.\n\nReviewed By: geralt-encore\n\nDifferential Revision: D58193273\n\nfbshipit-source-id: 6079ec71c0508d5136c65150c1cbc2dbcd170df4","shortMessageHtmlLink":"delete a few remains of nullsafe"}},{"before":"5b7cd0f45b81f12a47b7ec5b9b634f644b8b3d65","after":"a07155dd56882861fa0591d89c7a0eb9aa6c6029","ref":"refs/heads/main","pushedAt":"2024-06-05T20:42:50.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] Simplify spec parsing\n\nSummary: Simplify spec parsing a bit: no need for language, plus move it around closer to where they are needed.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58186628\n\nfbshipit-source-id: edd1db2c8025ec6aa2d62ce6e06815de5eb462a3","shortMessageHtmlLink":"[annot] Simplify spec parsing"}},{"before":"d405f4585ccf04a94f31a31570149447f2d9242e","after":"5b7cd0f45b81f12a47b7ec5b9b634f644b8b3d65","ref":"refs/heads/main","pushedAt":"2024-06-05T20:29:41.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 Lineage taint sanitizers option\n\nSummary:\n`--lineage-sanitizers` can be used to provide a list of sanitizers, in the `module:function/arity`\ncomma-separated format. Flow going through any sanitizer procedure will not be followed.\n\nReviewed By: rgrig\n\nDifferential Revision: D58091879\n\nfbshipit-source-id: c6aa1c20a9d36a8422360dec516e9bdf06f7baf4","shortMessageHtmlLink":"Add Lineage taint sanitizers option"}},{"before":"6e0d841bba06fff826ec0503e478608e4da9ef87","after":"d405f4585ccf04a94f31a31570149447f2d9242e","ref":"refs/heads/main","pushedAt":"2024-06-05T19:52:14.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] Remove cxx support from annotation reachability\n\nSummary: Cxx support is not used internally, its code is a bit messy and dragging it around makes improvements (for Java) more difficult.\n\nReviewed By: ngorogiannis\n\nDifferential Revision: D58185902\n\nfbshipit-source-id: 95dcc08d3c2a69df3f68236512f82c4ac546b4c7","shortMessageHtmlLink":"[annot] Remove cxx support from annotation reachability"}},{"before":"0bd9743447a03aa4f36abc2348003c150735885a","after":"6e0d841bba06fff826ec0503e478608e4da9ef87","ref":"refs/heads/main","pushedAt":"2024-06-05T17: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":"[categories] Add a missing category for NIL_MESSAGING_TO_NON_POD\n\nReviewed By: skcho\n\nDifferential Revision: D58185602\n\nfbshipit-source-id: aa56fc73de3d405979952162793977301f7e16b2","shortMessageHtmlLink":"[categories] Add a missing category for NIL_MESSAGING_TO_NON_POD"}},{"before":"c3ba56ae8c4c57cf0402fbb637d3d2c24e69406d","after":"0bd9743447a03aa4f36abc2348003c150735885a","ref":"refs/heads/main","pushedAt":"2024-06-05T16:57:27.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":"Add an experimental --lineage-limit option to reduce taint graph size\n\nSummary:\nWe add a --lineage-limit option that can be used to reduce the size of a lineage taint graph when it\nbecomes too big to be inspected. This option will effectively arbitrarily remove some flows from the\ngraph: the result will therefore not be over-approximating anymore (nor it will be\nunder-approximating because the remaining flows might be FP).\n\nThe current implementation limits the number of outgoing edges followed from a vertex. It is unsure\nwhat is the best way of limiting sizes but this seems to give actionable results already on\nproduction-size codebases.\n\nReviewed By: rgrig\n\nDifferential Revision: D58091877\n\nfbshipit-source-id: c1846f43e58bdabafe7f98113876a7d1b2ca2f4b","shortMessageHtmlLink":"Add an experimental --lineage-limit option to reduce taint graph size"}},{"before":"751d381c2a04ba71510edf2a4cfdd21905a70a2a","after":"c3ba56ae8c4c57cf0402fbb637d3d2c24e69406d","ref":"refs/heads/main","pushedAt":"2024-06-05T16:37: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":"[erl-frontend] Separate builtin function for map generator\n\nSummary: Previously, we translated map generators to `maps:to_list/1` directly. This diff introduces a separate builtin function, with the backing Pulse model being almost the same: we don't have to check for badmap, because generators already check that (and report bad generator error). Plus this way we can distinguish from \"real\" uses of `maps:to_list/1`.\n\nReviewed By: thizanne\n\nDifferential Revision: D58138675\n\nfbshipit-source-id: 5a9f6cf5961a221045b2e1b1c21809ff525ec5ca","shortMessageHtmlLink":"[erl-frontend] Separate builtin function for map generator"}},{"before":"a7ee243e33891c0b5f25bc82a8d10da5613f87ea","after":"751d381c2a04ba71510edf2a4cfdd21905a70a2a","ref":"refs/heads/main","pushedAt":"2024-06-05T16:25: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":"[IR] Refactor the type Struct.field\n\nSummary: I want to add another element to this type so a record is better.\n\nReviewed By: davidpichardie\n\nDifferential Revision: D58143414\n\nfbshipit-source-id: f2de01c7ff0fcf5b1de3968cddedcdd7a092d4b2","shortMessageHtmlLink":"[IR] Refactor the type Struct.field"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYmVKzAA","startCursor":null,"endCursor":null}},"title":"Activity · facebook/infer"}