Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
ikos
package
ikos
Description
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Metadata
Install
Version
3.4
License
NASA-1.3
Status
Broken
No
Insecure
No
Unfree
Yes
Unsupported
No
Source
pkgs/development/tools/analysis/ikos/default.nix:81
Homepage
https://github.com/NASA-SW-VnV/ikos
Maintainers
1
(1)
Etienne Laurin