microsoft/infersharp
Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.
C#MIT
Watchers
- 4tw
- aayc
- ankharka
- AvensLabAven's Lab
- aytey@VectorSoftwareRI
- beyoon
- dnfclas.NET Foundation
- drkostasUniversity of Tennessee, Knoxville
- duanshuaiminzonli
- eemailme
- evandrixUndisclosed
- ismailmayatConfluent Inc
- jhcloos
- leosol
- MaceWindu
- matjinMicrosoft Corporation
- muzinian
- NealSchneier
- neelsun
- QPC-database
- rasmus-z
- ScottWillcoxNetherlands
- skdeng@patreon
- vovcheSumy, Ukraine
- xinshiMSFT@microsoft