NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++NOASSERTION
Stargazers
- arthaudParis, France
- qsphanMenlo Park, CA
- kaizensparc
- PtitNoonyAix en Provence, France
- JasonGantnerFrance
- stephaniearthaudParis, France
- hbourbouhNasa Ames research center
- EpeiusLausanne Switzerland
- chenruibuaaBeijing, P.R. China
- yugr
- p1nh0Porto, Portugal
- BottCodeTurin, IT
- WaldoFRMontreal, QC
- rega0051
- xlaukoBrno, Czech Republic
- feggeStockholm
- jiachunpeng
- mogulanoabc_location${id}
- intheweeds
- fangbinParis
- computerality
- dguidoNew York, NY
- pgoodman
- Churro
- dokyungs
- randombitVermont
- halsten
- defunctioNYC
- pwmoore
- agnosticlines/dev/kmem
- legendtang
- AFifarek
- dbremnerSeattle
- cgcgbcbcChina
- mtnmts
- cehFalun, Sweden