ikos

ikos

https://github.com/NASA-SW-VnV/ikos

C++2338

2 months ago

Reviews

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Search similar apps

License

Other

Share

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Creator

NASA-SW-VnV

Related apps