RCEpic
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- Owner
- NASA-SW-VnV (organization)
- Stars
- Stars: 3,177
- Forks
- Forks: 220
- Language
- C++
- License
- None
- Created
- 2017
- Topics
- static-analysissoftware-verificationabstract-interpretationprogram-analysis
- Tier
- RC (2,000 to 4,999 ★) What this tier means
More repos by NASA-SW-VnV
All 2 repos by NASA-SW-VnV- NASA-SW-VnV/fretStars: 502JavaScriptAlpha
Nearby in C++
All C++ repos- Tencent/TendisStars: 3,181C++RC
- TheCruZ/kdmapperStars: 3,180C++RC
- zrythm/zrythmStars: 3,178C++RC
- WrBug/dumpDexStars: 3,171C++RC
- rpng/open_vinsStars: 3,166C++RC
- githubhaohao/NDK_OpenGLES_3_0Stars: 3,166C++RC