trailofbits

Builds custom fuzzers with LibAFL, the modular Rust fuzzing library.

Sets up and runs libFuzzer, the coverage-guided fuzzer built into LLVM, on C/C++ code that compiles with Clang.

Generates minimal macOS Seatbelt sandbox configurations.

Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files).

Configures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs.

Deploy web projects to Netlify using the Netlify CLI (`npx netlify`).

Use only when the user explicitly asks to stage, commit, push, and open a GitHub pull request

Enrolls a project in OSS-Fuzz, Google's free continuous fuzzing service for open source, and drives it locally.

Patches past the barriers that stop a fuzzer making progress — checksum and hash verification, magic-value validation, time-based seeds…

Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity…

Sets up and runs Ruzzy, Trail of Bits' coverage-guided Ruby fuzzer and the only production-ready one for the language.

Parses and processes SARIF files from static analysis tools like CodeQL, Semgrep, or other scanners.