IKOS: Static analyzer for C/C++ based on the theory of Abstract Interpretation https://github.com/NASA-SW-VnV/ikos
GitHub
GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Static analyzer for C/C++ based on the theory of Abstract Interpretation. - NASA-SW-VnV/ikos
