Geek Repo
followers
following
stars
Company:NASA
Location:Moffett Field, CA
Github PK Tool:Github PK Tool
Static analyzer for C/C++ based on the theory of Abstract Interpretation.