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 8k 678

  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
  • codex-config Public
    trailofbits/codex-config's past year of commit activity
    Shell 30 1 0 0 Updated Nov 2, 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 10 2 Updated Nov 2, 2026
  • pylock-attestations Public

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

    trailofbits/pylock-attestations's past year of commit activity
    Python 8 Apache-2.0 1 3 0 Updated Nov 2, 2026
  • skills Public

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

    trailofbits/skills's past year of commit activity
    Python 7,965 CC-BY-SA-4.0 678 32 121 Updated Nov 2, 2026
  • trailofbits/gh-action-adapt-sigstore-pypi's past year of commit activity
    Python 2 Apache-2.0 0 0 1 Updated Nov 2, 2026
  • brotli-checker Public

    Claude Code and Codex skill for finding potentially vulnerable Brotli copies and guiding updates for CVE-2026-111497.

    trailofbits/brotli-checker's past year of commit activity
    Python 66 MIT 4 0 3 Updated Nov 2, 2026
  • rfc8785.py Public

    A pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)

    trailofbits/rfc8785.py's past year of commit activity
    Python 14 Apache-2.0 5 0 3 Updated Nov 2, 2026
  • necessist Public

    A mutation-based tool for finding bugs in tests

    trailofbits/necessist's past year of commit activity
    Rust 166 AGPL-3.0 21 20 3 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 1 Updated Nov 2, 2026
  • pip-plugin-pep740 Public

    An implementation of a pip plugin that verifies PEP-740 attestations before installing a package, and aborts the installation if verification fails.

    trailofbits/pip-plugin-pep740's past year of commit activity
    Python 5 Apache-2.0 1 1 0 Updated Nov 2, 2026