https://github.com/NASA-SW-VnV/ikos
C++1967
3 months ago
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other