https://github.com/NASA-SW-VnV/ikos
C++2237
last month
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Other