NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
C++NOASSERTION
Stargazers
- adityathakur
- akekhoWorld Wide Web
- alessandrostoneEleven Technology GmbH
- AnisBossIRC
- AsmCoder110Gurgaon, Haryana (India)
- breadchrisLunaSec
- cristianadam
- davidbolvanskyBrno, CZ / Pribylina, SK
- doshmajhan
- evanbeard
- fennecdjayFrance
- franckoni
- GavinNishizawa
- kiwihAuckland / NZ, New York / NY, Sydney / AUS
- kwarrickAtlanta, GA
- LordAlbiorGood Dog Games
- marektamaskovicCzechia
- mloskot@Cadcorp
- mtodescato
- nightmaredToulouse, France
- plcp
- RemotionRemotion, LAUBlab, VRAYforC4D
- rivertamLong Island City, NY
- smitsohu
- ssttkk
- sychiao
- termi-officialRuhr University Bochum
- tomtomjhj
- traversaroItalian Institute of Technology
- Vitaliy-Grigoriev
- vkazanov@badoo
- Windforce17
- wtjcnChina. Beijing
- yiyuaner
- yunaaan
- zephvrENSEEIHT