What problem does it solve?
Security auditors waste time chasing static-analysis findings that are unreachable or unexploitable. This Skill builds a concise graph evidence packet for one candidate finding so you can decide whether to promote it to PoC work, deprioritize it, or send it for manual review.
Core Features & Use Cases
- Graph-Based Reachability Analysis: Binds a finding to a Trailmark graph node and checks entrypoint paths, taint, privilege-boundary, and blast-radius subgraph membership.
- Flexible Input Normalization: Accepts file/line references, function names, SARIF results, weAudit annotations, Markdown report excerpts, or manual claims.
- Structured Verdicts: Emits a standardized evidence packet with a verdict (Promote, Needs manual review, Deprioritize, Blocked) and confidence level.
- Use Case: Before spending hours on a PoC for a Semgrep finding in
contracts/Bridge.sol, run triage to confirm the flagged function is entrypoint-reachable and identify which auth checks still need manual review.
Quick Start
Ask the assistant to triage a specific finding, for example: use Trailmark finding triage on src/Vault.sol line 148 where withdraw may bypass the balance update.