tiacsys / ikos Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nasa-sw-vnv/ikos
UNOFFICIAL GIT REPOSITORY FORK from NASA Ames Research Center. Static analyzer for C/C++ based on the theory of Abstract Interpretation.
License: Other