trailofbits
More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks
New York, New York
Pinned Repositories
algo
Set up a personal VPN in the cloud
codeql-queries
CodeQL queries developed by Trail of Bits
ctf
CTF Field Guide
deepstate
A unit test-like interface for fuzzing and symbolic execution
dylint
Run Rust lints from dynamic libraries
fickling
A Python pickling decompiler and static analyzer
graphtage
A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.
manticore
Symbolic execution tool
publications
Publications from Trail of Bits
semgrep-rules
Semgrep queries developed by Trail of Bits.
trailofbits's Repositories
trailofbits/algo
Set up a personal VPN in the cloud
trailofbits/graphtage
A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.
trailofbits/publications
Publications from Trail of Bits
trailofbits/deepstate
A unit test-like interface for fuzzing and symbolic execution
trailofbits/vast
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.
trailofbits/dylint
Run Rust lints from dynamic libraries
trailofbits/fickling
A Python pickling decompiler and static analyzer
trailofbits/mishegos
A differential fuzzer for x86 decoders
trailofbits/vscode-weaudit
Create code bookmarks and code highlights with a click.
trailofbits/test-fuzz
To make fuzzing Rust easy
trailofbits/pasta
Peter's Amazing Syntax Tree Analyzer
trailofbits/abi3audit
Scans Python packages for abi3 violations and inconsistencies
trailofbits/necessist
A mutation-based tool for finding bugs in tests
trailofbits/blight
A framework for instrumenting build tools
trailofbits/ruzzy
A coverage-guided fuzzer for pure Ruby code and Ruby C extensions
trailofbits/codeql-queries
CodeQL queries developed by Trail of Bits
trailofbits/cargo-unmaintained
Find unmaintained packages in Rust projects
trailofbits/macroni
C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.
trailofbits/testing-handbook
Trail of Bits Testing Handbook
trailofbits/vscode-sarif-explorer
SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results
trailofbits/cast_checks
A procedural macro to check for invalid casts
trailofbits/windows-ctl
Rust libraries and utilities for parsing Windows Certificate Trust Lists
trailofbits/sholva
An experimental Tiny86 decoder and verifier for SIEVE
trailofbits/sigstore-rekor-types
Python models for Rekor's API types
trailofbits/build-wrap
Help protect against malicious build scripts
trailofbits/homebrew-brew-verify
trailofbits/sv-bench-patch
trailofbits/vast-llvm-test-suite
LLVM Test suite extended to generate reports for VAST MLIR dialects
trailofbits/ask-astro
An end-to-end LLM reference implementation providing a Q&A interface for Airflow and Astronomer
trailofbits/pypi-attestation-models
A library to convert between Sigstore Bundles and PEP-740 Attestation objects