Adds flag to modify pulse's memory leak checker

facebook / infer

A static analyzer for Java, C, C++, and Objective-C

http://fbinfer.com/

MIT License

14.89k stars 2.01k forks source link

Adds flag to modify pulse's memory leak checker #1668

Closed archerD closed 5 months ago

archerD commented 2 years ago

The added flag "--pulse-increase-leak-recall" is to improve the recall of the resource leak detection in CSharp, as experiments analyzing CSharp for resource leaks showed many false negatives as a result of the check the flag disables.

See also #1667.

jvillard commented 5 months ago

Closing for now. Let me know if there's still interest for this. I can also do the suggested modifications on my end if so.