NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++NOASSERTION
Stargazers
- AFifarek
- agnosticlines[object Object]
- arthaud@facebook
- BottCodeTurin, IT
- cehFalun, Sweden
- cgcgbcbcChina
- chenruibuaaBeijing Sunwise Information Technology Co. Ltd.
- Churro
- computerality
- dbremnerSeattle
- defunctioNYC
- dguidoTrail of Bits
- dokyungs
- EpeiusLausanne Switzerland
- fangbinIRIF
- fegge@trailofbits
- halsten
- hbourbouh@coco-team
- intheweeds
- JasonGantnerFrance
- jiachunpeng
- kaizensparc
- legendtang
- mogulanoabc_company${id}
- mtnmts
- p1nh0Sonoscopia
- pgoodman@trailofbits
- PtitNoonyAix en Provence, France
- pwmoore
- qsphan@facebook
- randombitVermont
- rega0051
- stephaniearthaudParis, France
- WaldoFRCA-GIP
- xlaukoTrail of Bits
- yugrHuawei