|
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
| |