1
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
$ npx skills add NASA-SW-VnV/ikos3.2K stars66 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
c++static-analysis
by NASA-SW-VnVQuick view