Skip to content

NASA-SW-VnV/ikos

Error
Looks like something went wrong!

About

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

Topics

static-analysis program-analysis software-verification abstract-interpretation

Resources

Readme

License

Unknown, Unknown licenses found

Licenses found

Unknown
LICENSE.txt
Unknown
LICENSE.pdf
Activity
Custom properties

Stars

3k stars

Watchers

62 watching

Forks

209 forks
Report repository

Releases 15

Public release 3.5 Latest
Dec 31, 2024
+ 14 releases

Packages

No packages published

Contributors 15

Languages