Browse
Showing 20 of 65 components
Write targeted fuzz harnesses that isolate parsers, state machines, and security-sensitive APIs without hiding bugs behi...
Set up cargo-fuzz for Rust crates, write effective fuzz targets, manage corpora, and triage panics or sanitizer crashes.
Configure and run AFL++ fuzzing campaigns for C/C++ targets, including harness setup, corpus handling, dictionaries, par...
Build libFuzzer harnesses for C/C++ libraries, configure sanitizers and corpora, and turn crashes into minimized reprodu...
Use AddressSanitizer to find memory corruption bugs, configure instrumented builds, interpret sanitizer reports, and tur...
Token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implem...
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messagi...
Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/s...
Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety,...
Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund lo...
Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Je...
Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tool...
Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ow...
Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeab...
Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weig...
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, mis...
Heads-up display skill that shows real-time context window usage, token counts, and session metadata in a compact dashbo...
Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally call...
Identifies dependencies at heightened risk of exploitation or takeover. Use when assessing supply chain attack surface,...
Creates custom Semgrep rules for detecting security vulnerabilities, bug patterns, and code patterns. Use when writing S...