Cobra Static Code Analyzer

about papers manpages downloads

Cobra is a structural source code analyzer, fast enough that it can be used interactively. The tool prototype (Version 1.0) was developed at NASA's Jet Propulsion Laboratory late 2015, and released for general distribution about a year later.

The current Version 2 of the tool is an extended version of the tool that can handle analyses of code bases with millions of lines of code, while supporting a richer inline query scripting language. It also comes with multi-core support for many types of queries.

Cobra can analyze C, C++, Ada, and Python, and can relatively easily be retargeted for other languages. The distribution includes sample query libraries and scripts.

For bug reports and additional information:
gholzmann atsign acm dot org