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
Stargazers
- 0xfeeddeadbeef@TBCBank
- alnintex
- ankharka
- avsorokin
- aytey@VectorSoftwareRI
- b0
- bdaniel7Bucharest, Romania
- bryn500
- ChrisCALORENTZ
- colotilineMoscow
- cometkim@daangn
- dawndrain
- El-Gor-do
- febkor
- gaeulbyulInternet
- Hee-SanRAKSUL
- isensibleUK
- ite-klassiT Engineering - Software Innovations
- jlbarreda
- jprg
- kamiyaowlJapan
- liuguiyou
- lizalc@ati-industrial-automation
- LoremFooBar
- markashleybell@markashleybell-org
- matjinMicrosoft Corporation
- MCKanpolat@scopemarkets
- NickAcPTPortugal
- paulomorgadohttps://www.Vision-Box.com/
- RagingKoreEvent Store
- sangwoo-johSamsung Research
- sokcuriSuwon, South Korea
- StardustDLNanjing University
- VadzimPapkoSam Solutions
- wk-jB Circle
- zxgamekingdom