IKOS

github.comtool

Static analyzer for C/C++ based on the theory of Abstract Interpretation. [NOSA 1.3]

from

C/C++

added

2026-10-10

likes

0

C/C++ › Static Code Analysis: “Static analyzer for C/C++ based on the theory of Abstract Interpretation. [NOSA 1.3]”