pgoodman

Program transformer, binary translator

@trailofbits

Pinned Repositories

grr
High-throughput fuzzer and emulator of DECREE binaries
Language:C++242 42 730
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Language:C++2.7k 113 439341
remill
Library for lifting machine code to LLVM bitcode
Language:C++1.3k 63 248145
cparser
Sort-of GNU C99 Declaration Parser
Language:Python11 5 04
fslice
LLVM-based forward program slice instrumentation.
Language:C++6 6 04
Grail-Plus
Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.
Language:C++11 2 05
rcu
C++ implementation of RCU based on reference counting and hazard pointers.
Language:C++27 6 01
deepstate
A unit test-like interface for fuzzing and symbolic execution
Language:Python825 57 24399
multiplier
Code auditing productivity multiplier.
Language:C++442 20 33927
pasta
Peter's Amazing Syntax Tree Analyzer
Language:C++125 25 319

pgoodman's Repositories

pgoodman/cparser
Sort-of GNU C99 Declaration Parser
Language:Python11 5 04
pgoodman/Grail-Plus
Grail+ is a set of command line tools for manipulating non-deterministic finite automata (NFAs), non-deterministic pushdown automata (PDAs), and context-free grammars (CFGs). Grail+ is built on top of the Formal Language Template Library (FLTL), a library for representing and symbolically manipulating CFGs, NFAs, and PDAs.
Language:C++11 2 05
pgoodman/fslice
LLVM-based forward program slice instrumentation.
Language:C++6 6 04
pgoodman/ddisasm
Datalog driven disassembly of binary executables
Language:C++3 2 01
pgoodman/Clang-ast-viewer
Clang AST viewer
Language:C++2 1 0
pgoodman/travis-ci-job-status
Travis CI job status badge
Language:JavaScript2 1 0
pgoodman/ece540
Language:C++1 1 0
pgoodman/multiplier
Code auditing productivity multiplier.
Language:C++1 0 0
pgoodman/testfs
user level toy file system that is similar to ext3
Language:C1 2 02
pgoodman/xiao
Simple clone of the original Google XRay function profiling tracer
Language:C++1 1 0
pgoodman/angr-doc
Documentation for the angr suite
Language:Python1 0
pgoodman/ccompiler2
Language:Java1 0
pgoodman/codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
Language:OCaml0 0
pgoodman/cquery
Low-latency vscode language server for large C++ code-bases, powered by libclang.
Language:C1 0
pgoodman/hellscape
Playground for testing feedback
Language:Assembly1 0
pgoodman/Immintrin-debug
immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable source level debug of vector code.
Language:C1 0
pgoodman/mcsema-legacy
Archive of the initial monolithic version of mcsema
Language:C++1 0
pgoodman/mlir-www
Language:SCSS0 0
pgoodman/monitor
An efficient VMM that only supports a single VM at any time (precursor to btkernel)
Language:C1 0
pgoodman/pagai
Language:C1 0
pgoodman/peter-compiler
Automatically exported from code.google.com/p/peter-compiler
Language:C2 0
pgoodman/peter-project-euler
Automatically exported from code.google.com/p/peter-project-euler
Language:Python2 0
pgoodman/pinq-php
Automatically exported from code.google.com/p/pinq-php
Language:PHP2 0
pgoodman/tdop
Automatically exported from code.google.com/p/tdop
Language:C++2 0
pgoodman/uwo-cooper
Automatically exported from code.google.com/p/uwo-cooper
Language:C++2 0
pgoodman/uwo-gomoku
Automatically exported from code.google.com/p/uwo-gomoku
Language:C2 0
pgoodman/uwo-santa-clause
Automatically exported from code.google.com/p/uwo-santa-clause
Language:C2 0
pgoodman/uwo-state-java
Automatically exported from code.google.com/p/uwo-state-java
Language:Python2 0
pgoodman/uwogarage
Automatically exported from code.google.com/p/uwogarage
Language:Java2 0
pgoodman/xrefer
FLARE Team's Binary Navigator