gavinnishizawa / ikos Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nasa-sw-vnv/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Home Page: https://ti.arc.nasa.gov/opensource/ikos/
License: Other