Trail of Bits

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
Language:Jinja29.2k 449 1.6k2.3k
codeql-queries
CodeQL queries developed by Trail of Bits
Language:CodeQL89 11 84
ctf
CTF Field Guide
Language:C1.3k 176 35243
deepstate
A unit test-like interface for fuzzing and symbolic execution
Language:Python827 57 24399
fickling
A Python pickling decompiler and static analyzer
Language:Python479 33 3253
graphtage
A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and CSV.
Language:Python2.4k 51 3848
manticore
Symbolic execution tool
Language:Python3.7k 129 812477
publications
Publications from Trail of Bits
Language:Python1.5k 144 11185
semgrep-rules
Semgrep queries developed by Trail of Bits.
Language:Go387 35 1639
vscode-weaudit
Create code bookmarks and code highlights with a click.
Language:TypeScript192 11 4019

Trail of Bits's Repositories

trailofbits/publications
Publications from Trail of Bits
Language:Python1.5k 144 11185
trailofbits/polytracker
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Language:C++553 39 15644
trailofbits/dylint
Run Rust lints from dynamic libraries
Language:Rust432 22 8827
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.
Language:C++410 25 35626
trailofbits/semgrep-rules
Semgrep queries developed by Trail of Bits.
Language:Go387 35 1639
trailofbits/polyfile
A pure Python cleanroom implementation of libmagic, with instrumented parsing from Kaitai struct and an interactive hex viewer
Language:Python342 34 2921
trailofbits/siderophile
Find the ideal fuzz targets in a Rust codebase
Language:Rust210 31 3112
trailofbits/vscode-weaudit
Create code bookmarks and code highlights with a click.
Language:TypeScript192 11 4019
trailofbits/test-fuzz
To make fuzzing Rust easy
Language:Rust170 14 3617
trailofbits/zkdocs
Interactive documentation on zero-knowledge proof systems and related primitives.
Language:HTML153 15 845
trailofbits/uthenticode
A cross-platform library for verifying Authenticode signatures
Language:C++144 33 2734
trailofbits/necessist
A mutation-based tool for finding bugs in tests
Language:Rust113 22 4312
trailofbits/algo-ng
Experimental version of Algo built on Terraform
Language:HCL73 41 818
trailofbits/cargo-unmaintained
Find unmaintained packages in Rust projects
Language:Rust69 14 132
trailofbits/testing-handbook
Trail of Bits Testing Handbook
Language:Rust64 13 2010
trailofbits/nyc-infosec
Mapping the NYC Infosec Community
Language:CSS50 46 019
trailofbits/go-mutexasserts
A small library that allows to check if Go mutexes are locked
Language:Go23 28 22
trailofbits/build-wrap
Help protect against malicious build scripts
Language:Rust10 12 23
trailofbits/are-we-pep740-yet
Are we PEP 740 yet?
Language:HTML8 3 16
trailofbits/cast_checks
A procedural macro to check for invalid casts
Language:Rust8 9 23
trailofbits/lms-go
Leighton-Micali Hash-Based Signatures, for Go
Language:Go6 9 62
trailofbits/sigstore-rekor-types
Python models for Rekor's API types
Language:Python5 3 21
trailofbits/pypi-attestations
A library to convert between Sigstore Bundles and PEP 740 Attestation objects
Language:Python4 3 184
trailofbits/cargo-line-test
Run tests by the lines they exercise
Language:Rust33
trailofbits/.github
2 17 59
trailofbits/opensearch-benchmark
Artifacts related to benchmarking, including documentation, benchmarking harness source code and benchmarking results.
Language:Python2
trailofbits/rfc8785.py
A pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)
Language:Python2 3 12
trailofbits/rfc3161-client
An Opinionated Python RFC3161 Client
Language:Rust1 2 81
trailofbits/instafix-llvm
LLVM fork for INSTAFIX
Language:LLVM1
trailofbits/instafix-SVF
SVF fork for INSTAFIX