repos
19
ecosystems
2
languages
5
commits
1,060
─── top repos · by commits
─── repositories
19 totalCode auditing productivity multiplier.
Peter's Amazing Syntax Tree Analyzer
Compile Datalog into microservices
A unit test-like interface for fuzzing and symbolic execution
Principled, lightweight C/C++ PE parser
binary->LLVM->circuits
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.
DARPA Challenges Sets for Linux, Windows, and macOS
A dynamic data race detector for programs
Publications from Trail of Bits
C API bindlings for Google's weggli
Symbolic execution tool
CTF Field Guide
Fast SNMP Scanner
BinRec: Dynamic Binary Lifting and Recompilation
CodeQL and Binary Ninja scripts to accompany the blog post
Characterizing Address Sanitizer performance overheads
Symbolic execution tool
─── peer developers
─── ecosystems
─── languages
- C++8
- Python6
- C3
- Shell1
- Rust1
─── subscriber view
Unlock the full view of pgoodman
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.