search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.83k stars 2k forks source link

Update CaptureSILJson.ml #1706

Closed matjin closed 1 year ago

matjin commented 1 year ago

Adds rendering of the "__java_throw" and the "__get_array_length" constant methods to the Infer# pipeline.

facebook-github-bot commented 1 year ago

@geralt-encore has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

geralt-encore commented 1 year ago

Hi Mathew! The PR introduces bunch of dead code with dotnet/ResourceLeakCSDomain.mli being the most notable. Is it okay to delete it? If yes I can do it myself and merge the PR.

matjin commented 1 year ago

Hi Mathew! The PR introduces bunch of dead code with dotnet/ResourceLeakCSDomain.mli being the most notable. Is it okay to delete it? If yes I can do it myself and merge the PR.

Yes that should be fine! It's deprecated now in favor of Pulse's resource leak checker.

facebook-github-bot commented 1 year ago

@geralt-encore merged this pull request in facebook/infer@23ab04219032c1d5148bf6f3ceba28ce48cb3834.