Trail of Bits Security Skills
Security-focused static analysis and code auditing toolkit from Trail of Bits.
Available Sub-Skills
| Skill | File | Use When | |-------|------|----------| | CodeQL Analysis | codeql-SKILL.md | Deep interprocedural taint tracking, data flow analysis | | Semgrep Scanning | semgrep-SKILL.md | Fast pattern-based security scanning with parallel execution | | SARIF Parsing | sarif-parsing-SKILL.md | Processing and aggregating static analysis results |
When to Use
- Security audit of a codebase -> Start with Semgrep for speed, then CodeQL for depth
- Quick vulnerability scan -> Semgrep with "important only" mode
- Deep data flow analysis -> CodeQL with custom data extensions
- Processing scan results -> SARIF parsing for aggregation, deduplication, CI/CD integration
Workflow
- Run Semgrep for fast initial scan (pattern-based)
- Run CodeQL for deep interprocedural analysis (data flow + taint tracking)
- Use SARIF parsing to aggregate, deduplicate, and prioritize findings
- Review and triage results by severity
Source
From trailofbits/skills - the static-analysis plugin.