Trail of Bits
Trail of Bits
nyc-infosec
Mapping the NYC Infosec Community
osquery
SQL powered operating system instrumentation, monitoring, and analytics.
reverie
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
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 furth...
pasta
Peter's Amazing Syntax Tree Analyzer
tourniquet
A Python library for easy and fast program transformation/repair
sixtyfour
How fast can we brute force a 64-bit comparison?
windows-acl
Rust crate to simplify Windows ACL operations