Cobra Static Code Analyzer

about papers manpages downloads

  • An overview of the prototype tool version 1.0, appeared in Innovations in Systems and Software Engineering in June 2016.
    The preprint is available: here.

  • The current, 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.

  • The presentation from Spin 2017 introducing the tool is available here.