NASA-SW-VnV / ikosView on GitHub
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
3,158May 31, 2026Updated last month

Alternatives and similar repositories for ikos

Users that are interested in ikos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?