infer
infer copied to clipboard
[.NET resource leak checker] Traversing control flow through exception handler node
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.
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?
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!
@jvillard has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.
Thanks @xi-liu-ds!
Just FYI I've made minor changes to simplify some of the boolean logic and ran make fmt
before pushing.