Cobra Static Code Analyzer

about papers manpages downloads

Cobra is a new type of interactive structural source code analyzer. The tool prototype (Version 1.0) was developed at NASA's Jet Propulsion Laboratory late 2015, and released for distribution in September 2016.

The current Version 2 is a significantly extended version of this prototype that can handle analyses of code bases with millions of lines of code, with most interactive queries processed in less than a second.

Cobra can analyze C, C++, Ada, and Python, but it can quickly be retargeted for additional languages. The tool distribution contains sample libraries of queries and analysis scripts.

For more information:
gholzmann atsign acm dot org