Skip to content
@trailofbits

Trail of Bits

More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks
README.md
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 244

  2. skills skills Public

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

    Python 7.5k 643

  3. fickling fickling Public

    A Python pickling decompiler and static analyzer

    Python 671 82

  4. vscode-weaudit vscode-weaudit Public

    Create code bookmarks and code highlights with a click.

    TypeScript 247 37

  5. semgrep-rules semgrep-rules Public

    Semgrep queries developed by Trail of Bits.

    Go 532 60

  6. codeql-queries codeql-queries Public

    CodeQL queries developed by Trail of Bits

    CodeQL 178 11

Repositories

Showing 10 of 296 repositories
  • skills Public

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

    trailofbits/skills's past year of commit activity
    Python 7,527 CC-BY-SA-4.0 643 29 25 Updated Oct 14, 2026
  • gh-action-adapt-sigstore-pypi Public
    trailofbits/gh-action-adapt-sigstore-pypi's past year of commit activity
    Python 2 Apache-2.0 0 0 1 Updated Oct 14, 2026
  • graphtage Public

    A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.

    trailofbits/graphtage's past year of commit activity
    Python 2,491 LGPL-3.0 60 15 (1 issue needs help) 9 Updated Oct 14, 2026
  • pylock-attestations Public

    CLI tool to add attestation identities to `pylock.toml` files

    trailofbits/pylock-attestations's past year of commit activity
    Python 6 Apache-2.0 1 3 1 Updated Oct 14, 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 11 1 Updated Oct 14, 2026
  • publications Public

    Publications from Trail of Bits

    trailofbits/publications's past year of commit activity
    Python 1,910 CC-BY-SA-4.0 243 0 4 Updated Oct 13, 2026
  • coop Public

    Isolated VM environment for running Claude Code and Codex

    trailofbits/coop's past year of commit activity
    Rust 776 Apache-2.0 44 44 7 Updated Oct 13, 2026
  • cargo-unmaintained Public

    Find unmaintained packages in Rust projects

    trailofbits/cargo-unmaintained's past year of commit activity
    Rust 101 AGPL-3.0 15 9 3 Updated Oct 13, 2026
  • 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 0 Updated Oct 13, 2026
  • dylint Public

    Run Rust lints from dynamic libraries

    trailofbits/dylint's past year of commit activity
    Rust 684 Apache-2.0 63 56 (1 issue needs help) 16 Updated Oct 12, 2026
View all repositories

Sponsoring

  • @woodruffw
GitHub Sponsor