Skip to content
Change the repository type filter

All

    Repositories list

    • dylint

      Public
      Run Rust lints from dynamic libraries
      Rust
      Apache License 2.0
      23421233Updated Jan 19, 2025Jan 19, 2025
    • Run tests by the lines they exercise
      Rust
      3310Updated Jan 19, 2025Jan 19, 2025
    • Find unmaintained packages in Rust projects
      Rust
      GNU Affero General Public License v3.0
      26860Updated Jan 18, 2025Jan 18, 2025
    • vast

      Public
      VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
      C++
      Apache License 2.0
      254041646Updated Jan 17, 2025Jan 17, 2025
    • Publications from Trail of Bits
      Python
      Creative Commons Attribution Share Alike 4.0 International
      1831.5k42Updated Jan 17, 2025Jan 17, 2025
    • Code auditing productivity multiplier.
      C++
      Apache License 2.0
      274441153Updated Jan 17, 2025Jan 17, 2025
    • Python models for Rekor's API types
      Python
      Apache License 2.0
      1500Updated Jan 17, 2025Jan 17, 2025
    • LLVM fork for INSTAFIX
      LLVM
      Other
      12k009Updated Jan 17, 2025Jan 17, 2025
    • test-fuzz

      Public
      To make fuzzing Rust easy
      Rust
      GNU Affero General Public License v3.0
      16165112Updated Jan 17, 2025Jan 17, 2025
    • necessist

      Public
      A mutation-based tool for finding bugs in tests
      Rust
      GNU Affero General Public License v3.0
      10110160Updated Jan 15, 2025Jan 15, 2025
    • A library to convert between Sigstore Bundles and PEP 740 Attestation objects
      Python
      Apache License 2.0
      2451Updated Jan 15, 2025Jan 15, 2025
    • Help protect against malicious build scripts
      Rust
      GNU Affero General Public License v3.0
      3810Updated Jan 15, 2025Jan 15, 2025
    • Python
      0000Updated Jan 15, 2025Jan 15, 2025
    • Python
      Apache License 2.0
      0001Updated Jan 14, 2025Jan 14, 2025
    • Checksec, but for Windows: static detection of security mitigations in executables
      C++
      Apache License 2.0
      77573162Updated Jan 13, 2025Jan 13, 2025
    • Trail of Bits Testing Handbook
      C++
      Creative Commons Attribution 4.0 International
      960125Updated Jan 13, 2025Jan 13, 2025
    • An Opinionated Python RFC3161 Client
      Rust
      Apache License 2.0
      0110Updated Jan 10, 2025Jan 10, 2025
    • An implementation of a pip plugin that verifies PEP-740 attestations before installing a package, and aborts the installation if verification fails.
      Python
      Apache License 2.0
      0010Updated Jan 10, 2025Jan 10, 2025
    • A pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)
      Python
      Apache License 2.0
      2100Updated Jan 10, 2025Jan 10, 2025
    • A cookiecutter template for a best-practices Python project
      Python
      Apache License 2.0
      51300Updated Jan 6, 2025Jan 6, 2025
    • Rust libraries and utilities for parsing Windows Certificate Trust Lists
      Rust
      Apache License 2.0
      2800Updated Jan 6, 2025Jan 6, 2025
    • Semgrep queries developed by Trail of Bits.
      Go
      GNU Affero General Public License v3.0
      3937672Updated Jan 6, 2025Jan 6, 2025
    • Are we PEP 740 yet?
      HTML
      BSD 2-Clause "Simplified" License
      3600Updated Jan 1, 2025Jan 1, 2025
    • ruzzy

      Public
      A coverage-guided fuzzer for pure Ruby code and Ruby C extensions
      Ruby
      GNU Affero General Public License v3.0
      693100Updated Dec 30, 2024Dec 30, 2024
    • zkdocs

      Public
      Interactive documentation on zero-knowledge proof systems and related primitives.
      HTML
      Creative Commons Attribution 4.0 International
      3715255Updated Dec 27, 2024Dec 27, 2024
    • A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
      Dockerfile
      GNU Affero General Public License v3.0
      10968010Updated Dec 18, 2024Dec 18, 2024
    • CodeQL queries developed by Trail of Bits
      CodeQL
      GNU Affero General Public License v3.0
      48352Updated Dec 18, 2024Dec 18, 2024
    • CTF Challenges
      Solidity
      1312500Updated Dec 17, 2024Dec 17, 2024
    • Create code bookmarks and code highlights with a click.
      TypeScript
      GNU General Public License v3.0
      17185133Updated Dec 16, 2024Dec 16, 2024
    • v4-core

      Public
      🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
      Solidity
      Other
      1k102Updated Dec 14, 2024Dec 14, 2024