EXPLORE COMPONENTS

Coverage Analysis

Measure fuzzing or test coverage, identify untested parser and protocol paths, and translate coverage gaps into better h...

Fuzzing Dictionary Design

Design high-value fuzzing dictionaries for structured inputs, parsers, protocols, file formats, and smart contract ABI s...

Constant-Time Testing

Test cryptographic implementations for timing leaks with dudect-style workflows, leakage hypotheses, and reproducible me...

Atheris Python Fuzzing

Use Atheris to fuzz Python code and native extension boundaries with coverage-guided tests, useful inputs, and reproduci...

Fuzz Harness Writing

Write targeted fuzz harnesses that isolate parsers, state machines, and security-sensitive APIs without hiding bugs behi...

cargo-fuzz

Set up cargo-fuzz for Rust crates, write effective fuzz targets, manage corpora, and triage panics or sanitizer crashes.

AFL++ Fuzzing

Configure and run AFL++ fuzzing campaigns for C/C++ targets, including harness setup, corpus handling, dictionaries, par...

libFuzzer

Build libFuzzer harnesses for C/C++ libraries, configure sanitizers and corpora, and turn crashes into minimized reprodu...

AddressSanitizer

Use AddressSanitizer to find memory corruption bugs, configure instrumented builds, interpret sanitizer reports, and tur...

OSS-Fuzz Integration

Prepare OSS-Fuzz integrations with build scripts, fuzz targets, seed corpora, dictionaries, and project metadata for con...

Audit Prep Assistant

skilltrail-of-bitssmart-contracts+4

86/100

Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tool...

Property Based Testing

skilltrail-of-bitsproperty+2

84/100

Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, revi...

Refactoring Skill