Trail of Bits

Results 111 repositories owned by Trail of Bits

nyc-infosec

47
Stars
22
Forks
Watchers

Mapping the NYC Infosec Community

osquery

23
Stars
3
Forks
Watchers

SQL powered operating system instrumentation, monitoring, and analytics.

reverie

59
Stars
5
Forks
Watchers

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

vast

350
Stars
23
Forks
Watchers

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

111
Stars
7
Forks
Watchers

Peter's Amazing Syntax Tree Analyzer

tourniquet

15
Stars
2
Forks
Watchers

A Python library for easy and fast program transformation/repair

sixtyfour

53
Stars
5
Forks
Watchers

How fast can we brute force a 64-bit comparison?

umberto

31
Stars
4
Forks
Watchers

poststructural fuzzing

windows-acl

18
Stars
7
Forks
Watchers

Rust crate to simplify Windows ACL operations