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:
Version 2.3, of the tool is described in this
[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
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
Slides from the keynote presentation at SMC-IT, July 31, 2019, in Pasadena, CA: