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.
tgrep
A new front-end to Cobra is now 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.