ikos

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

License

Other

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

Creator

NASA-SW-VnV

Related apps