Skill Security Limited info

trailmark

Builds source and binary code graphs for security analysis, context slicing, mutation testing, cryptographic protocol modeling, finding triage, and variant analysis.

  • 7.5k GitHub stars
trailmark — illustration

Overview

Builds source and binary code graphs for security analysis, context slicing, mutation testing, cryptographic protocol modeling, finding triage, and variant analysis.

Detailed guide coming soon. We haven't written a full guide for this skill yet.

View on GitHub (opens in a new tab)