package

ikos

Description

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

Metadata

Version

3.3

License

Status

Source

pkgs/development/tools/analysis/ikos/default.nix:81

Homepage

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

Maintainers (1)

Etienne Laurin