search

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

Add Debug.Assert(...) C# Model #1656

Closed matjin closed 2 years ago

matjin commented 2 years ago

This PR adds Debug.Assert as a Pulse model for C#, which will help us reduce false positive nullptr dereference warnings.

facebook-github-bot commented 2 years ago

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