Online Tutorial for Cobra 3.1
This tutorial consists of eight parts and contains exercises to help you practice some of the material. Try to avoid looking at the answers provided until you've tried to solve the problems yourself and either succeed or get hopelessly stuck. You may well end up with better solutions than are provided here.
The tutorial assumes that you have installed Cobra Version 3.1 or later.
-
Part 1, Introduction and Overview, MP4 (16 min 15 sec), slides in pdf
Background and principle of operation, including a brief overview of the installation and configuration of the tool, and a guide to the online documentation with manual pages etc. -
Part 2, Structural Code Patterns, MP4 (25 min 43 sec), slides in pdf, answers to exercises
The use of structural pattern queries and their relation to standard regular expressions (with exercises)- Part 3A, Interactive Queries, MP4 (20 min 53 sec), slides in pdf, answers to exercises
The interactive query commands, token attributes that can be referenced (with exercises)- Part 3B, Interactive Queries, MP4 (19 min 59 sec), slides in pdf
Defining sets and ranges, user-defined and pre-defined functions, reading files and building query libraries- Part 4, The Scripting Language, MP4 (34 min 54 sec), slides in pdf, answers to exercises
Writing scripted queries in Cobra's scripting language, defining recursive functions, associative arrays, using concurrency (with exercises)- Part 5, Writing Standalone Checkers, MP4 (12 min 12 sec), slides in pdf, answers to exercises
Writing standalone checkers that can be linked to the Cobra front-end, using multi-threading (with exercises)- Part 6, Runtime Verification, MP4 (15 min 45 sec), slides in pdf, answers to exercises
Using Cobra as a runtime verification tool to scan real-time event-streams or event-logs (with exercises)- Tool Demo, Installation, configuration, and typical usage scenarios, MP4 (21 min 21 sec).
- Part 3A, Interactive Queries, MP4 (20 min 53 sec), slides in pdf, answers to exercises
Cobra Manual Pages etc.
Cobra Source Code etc.