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.
New 2nd Edition (PDF format)
The new 2nd Edition is available now, in PDF format only, and updated for the latest release of the Cobra tool. It described Cobra Version 5.3. (Newer releases will remain backward compatible with this version.)You can purchase it here:
tgrep
A new front-end to Cobra is available as part of Cobra Version 5.3. It is a token-based version of the Unix tool grep that can be useful for scanning a code base (e.g., looking for all uses of the variable i, or matching longer code patterns with don't care parts.The manual page is: tgrep.1.