package

ikos

Description

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

Metadata

Version

3.1

License

Status

Source

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

Homepage

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

Maintainers (1)

Etienne Laurin