GeezerVison is showing github.com — Trail of Bits
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
Publications from Trail of Bits
Python
1.9k
249
Trail of Bits skills for security research, vulnerability detection, and audit workflows
Python
8.1k
695
A Python pickling decompiler and static analyzer
Python
679
88
Create code bookmarks and code highlights with a click.
TypeScript
248
37
Semgrep queries developed by Trail of Bits.
Go
537
61
CodeQL queries developed by Trail of Bits
CodeQL
179
12
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Assembly
C
C#
C++
CMake
CodeQL
CSS
Dockerfile
Go
Haskell
HCL
HTML
Java
JavaScript
Jupyter Notebook
Lean
LLVM
Logos
MLIR
Nix
PHP
PowerShell
Python
Ruby
Rust
Shell
Solidity
Swift
TypeScript
Verilog
Sort
Showing 10 of 298 repositories
mishegos
Public
A differential fuzzer for x86 decoders
trailofbits/mishegos's past year of commit activity
trailofbits/testing-handbook's past year of commit activity
algo
Public
Set up a personal VPN in the cloud
trailofbits/algo's past year of commit activity
skills
Public
Trail of Bits skills for security research, vulnerability detection, and audit workflows
trailofbits/skills's past year of commit activity
calcifier
Public
Compile agent skills into reviewable, executable Python workflows.
trailofbits/calcifier's past year of commit activity
Python
22
MIT
0
1
1
Updated Nov 12, 2026
trailmark
Public
Build and query a graph database representation of source code
trailofbits/trailmark's past year of commit activity
Python
531
Apache-2.0
35
1
0
Updated Nov 12, 2026
trailofbits/test-fuzz's past year of commit activity
Rust
217
AGPL-3.0
27
8
2
Updated Nov 12, 2026
elaborate
Public
Wrappers for standard library functions and types to produce more elaborate error messages
trailofbits/elaborate's past year of commit activity
Rust
9
Apache-2.0
1
4
0
Updated Nov 12, 2026
dylint
Public
Run Rust lints from dynamic libraries
trailofbits/dylint's past year of commit activity
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
1
MIT
0
123
17
Updated Nov 11, 2026