Cobra Book (2025)

Interactive code analysis with the Cobra tool.

A comprehensive overview of all usage options for the most recent version of Cobra will be published this year. The book details the use of command queries, pattern expressions, and writing both sequential and parallel inline programs either for code analysis or for building standalone applications. It also discusses Cobra's new graphical user interface, and some unexpected applications of the tool, for instance for runtime verification and statistical code analysis.

Links