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 247

  2. skills skills Public

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

    Python 7.9k 677

  3. fickling fickling Public

    A Python pickling decompiler and static analyzer

    Python 676 85

  4. vscode-weaudit vscode-weaudit Public

    Create code bookmarks and code highlights with a click.

    TypeScript 248 37

  5. semgrep-rules semgrep-rules Public

    Semgrep queries developed by Trail of Bits.

    Go 535 60

  6. codeql-queries codeql-queries Public

    CodeQL queries developed by Trail of Bits

    CodeQL 179 11

Repositories

Showing 10 of 298 repositories
  • bt-log Public Forked from Hayden-IO/bt-log

    Binary transparency log to make tampered artifact distribution auditable

    trailofbits/bt-log's past year of commit activity
    Go 0 1 0 3 Updated Nov 2, 2026
  • buttercup Public

    Buttercup finds and patches software vulnerabilities

    trailofbits/buttercup's past year of commit activity
    Python 1,740 AGPL-3.0 190 51 12 Updated Nov 2, 2026
  • necessist Public

    A mutation-based tool for finding bugs in tests

    trailofbits/necessist's past year of commit activity
    Rust 165 AGPL-3.0 21 20 5 Updated Nov 2, 2026
  • dropkit Public

    A CLI tool for managing DigitalOcean droplets with automated setup, SSH configuration, and lifecycle management.

    trailofbits/dropkit's past year of commit activity
    Python 129 Apache-2.0 14 3 7 Updated Nov 2, 2026
  • rfc3161-client Public

    An Opinionated Python RFC3161 Client

    trailofbits/rfc3161-client's past year of commit activity
    Rust 7 Apache-2.0 5 3 3 Updated Nov 2, 2026
  • dylint Public

    Run Rust lints from dynamic libraries

    trailofbits/dylint's past year of commit activity
    Rust 703 Apache-2.0 66 55 (1 issue needs help) 15 Updated Nov 1, 2026
  • idac Public

    idac - IDA Pro command line tool for agents and humans

    trailofbits/idac's past year of commit activity
    Python 59 Apache-2.0 6 1 1 Updated Nov 1, 2026
  • trailofbits/binaryninja-finder's past year of commit activity
    Python 1 MIT 0 0 2 Updated Nov 1, 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 6 2 Updated Nov 1, 2026
  • agentcov Public

    gcov for what lines of code agents read

    trailofbits/agentcov's past year of commit activity
    Python 62 Apache-2.0 2 0 4 Updated Nov 1, 2026