Home / C/C++ / IKOS IKOS Static analyzer for C/C++ based on the theory of Abstract Interpretation. [NOSA 1.3] Package 3.1k stars GitHub Back to C/C++
