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 246

  2. skills skills Public

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

    Python 7.7k 668

  3. fickling fickling Public

    A Python pickling decompiler and static analyzer

    Python 675 84

  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 533 60

  6. codeql-queries codeql-queries Public

    CodeQL queries developed by Trail of Bits

    CodeQL 178 11

Repositories

Showing 10 of 297 repositories
  • skills Public

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

    trailofbits/skills's past year of commit activity
    Python 7,719 CC-BY-SA-4.0 668 30 100 Updated Oct 22, 2026
  • mishegos Public

    A differential fuzzer for x86 decoders

    trailofbits/mishegos's past year of commit activity
    C++ 278 Apache-2.0 31 7 (1 issue needs help) 1 Updated Oct 22, 2026
  • fickling Public

    A Python pickling decompiler and static analyzer

    trailofbits/fickling's past year of commit activity
    Python 675 LGPL-3.0 84 8 15 Updated Oct 22, 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 1 Updated Oct 22, 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 2 Updated Oct 22, 2026
  • trailmark Public

    Build and query a graph database representation of source code

    trailofbits/trailmark's past year of commit activity
    Python 495 Apache-2.0 30 1 1 Updated Oct 22, 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 Oct 22, 2026
  • pylock-attestations Public

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

    trailofbits/pylock-attestations's past year of commit activity
    Python 7 Apache-2.0 1 3 0 Updated Oct 22, 2026
  • deptective Public

    Deptective automatically determines the native dependencies required to run any arbitrary program or command.

    trailofbits/deptective's past year of commit activity
    Python 133 LGPL-3.0 0 1 2 Updated Oct 22, 2026
  • coop Public

    Isolated VM environment for running Claude Code and Codex

    trailofbits/coop's past year of commit activity
    Rust 792 Apache-2.0 43 42 10 Updated Oct 22, 2026