Skip to content
@trailofbits

Trail of Bits

More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks
The Trail of Bits logo

Since 2012, Trail of Bits has helped secure some of the world's most targeted organizations and devices.

We combine high-end security research with a real-world attacker mentality to reduce risk and fortify code.

Some of our work:


Pinned Loading

  1. publications publications Public

    Publications from Trail of Bits

    Python 1.9k 240

  2. skills skills Public

    Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

    Python 7.1k 607

  3. fickling fickling Public

    A Python pickling decompiler and static analyzer

    Python 669 76

  4. vscode-weaudit vscode-weaudit Public

    Create code bookmarks and code highlights with a click.

    TypeScript 244 34

  5. semgrep-rules semgrep-rules Public

    Semgrep queries developed by Trail of Bits.

    Go 526 59

  6. codeql-queries codeql-queries Public

    CodeQL queries developed by Trail of Bits

    CodeQL 177 11

Repositories

Showing 10 of 293 repositories
  • llvm-project Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    trailofbits/llvm-project's past year of commit activity
    LLVM 2 18,975 0 9 Updated Sep 15, 2026
  • dylint Public

    Run Rust lints from dynamic libraries

    trailofbits/dylint's past year of commit activity
    Rust 661 Apache-2.0 60 52 (1 issue needs help) 16 Updated Sep 16, 2026
  • test-fuzz Public

    To make fuzzing Rust easy

    trailofbits/test-fuzz's past year of commit activity
    Rust 208 AGPL-3.0 27 8 3 Updated Sep 15, 2026
  • tamarin-prover Public Forked from tamarin-prover/tamarin-prover

    Main source code repository of the Tamarin prover for security protocol verification.

    trailofbits/tamarin-prover's past year of commit activity
    Haskell 2 GPL-3.0 169 0 0 Updated Sep 15, 2026
  • vscode-weaudit Public

    Create code bookmarks and code highlights with a click.

    trailofbits/vscode-weaudit's past year of commit activity
    TypeScript 244 GPL-3.0 34 13 (3 issues need help) 7 Updated Sep 15, 2026
  • anchor-coverage Public

    A wrapper around `anchor test` for computing test coverage

    trailofbits/anchor-coverage's past year of commit activity
    Rust 15 AGPL-3.0 7 3 2 Updated Sep 15, 2026
  • necessist Public

    A mutation-based tool for finding bugs in tests

    trailofbits/necessist's past year of commit activity
    Rust 145 AGPL-3.0 21 19 3 Updated Sep 15, 2026
  • coop Public

    Isolated VM environment for running Claude Code and Codex

    trailofbits/coop's past year of commit activity
    Rust 235 Apache-2.0 13 38 3 Updated Sep 15, 2026
  • constructive-cryptography Public

    Lean 4 formalization of Constructive Cryptography: abstract specification calculus, resource algebra, and the constructive-cryptography layer.

    trailofbits/constructive-cryptography's past year of commit activity
    Lean 0 MIT 0 0 1 Updated Sep 15, 2026
  • cargo-unmaintained Public

    Find unmaintained packages in Rust projects

    trailofbits/cargo-unmaintained's past year of commit activity
    Rust 98 AGPL-3.0 15 9 1 Updated Sep 15, 2026