Cobra Static Code Analyzer

• An overview of prototype Cobra Version 1.0 appeared in Innovations in Systems and Software Engineering in June 2016. A preprint is available: here.

• Version 2.3, of the tool is described in this paper.

  [This is the author's version © 2017. The official version appeared in Proc. Int. SPIN Symposium on Model Checking of Software, 13-14 July 2017, UC Santa Barbara, CA, Pub. ACM DOI: 10.1145/3092282.3092313.]

• A presentation from 2017 introducing the tool is available here (1.8MB).

• A tutorial for Cobra Version 3.0, covering the use of pattern expressions, query commands, inline programs, and the construction of standalone checkers linked with the cobra front-end, is available here.
• Slides from the keynote presentation at SMC-IT, July 31, 2019, in Pasadena, CA: are here.