infer icon indicating copy to clipboard operation
infer copied to clipboard

Published 20 hours ago • verified publisher icon facebook

[.NET resource leak checker] Traversing control flow through exception handler node

Open xi-liu-ds opened this issue 2 years ago • 2 comments

In this PR, we add support of traversing control flow through all exception handler nodes. This will significantly improve the precision of .NET resource leak checker.

xi-liu-ds avatar Apr 13 '22 16:04 xi-liu-ds

Apologies, we've had some conversations offline about this but I forgot the status of this PR. Are you still interested in getting this merged?

jvillard avatar Aug 26 '22 14:08 jvillard

Apologies, we've had some conversations offline about this but I forgot the status of this PR. Are you still interested in getting this merged?

Yes, we are still interested. Please feel free to give it a review and let us know your feedbacks. Thanks!

xi-liu-ds avatar Aug 26 '22 16:08 xi-liu-ds

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

facebook-github-bot avatar Oct 03 '22 10:10 facebook-github-bot

Thanks @xi-liu-ds!

Just FYI I've made minor changes to simplify some of the boolean logic and ran make fmt before pushing.

jvillard avatar Oct 04 '22 12:10 jvillard