EP's repositories
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
coccinelle
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
compound-protocol
The Compound On-Chain Protocol
container-breakouts
Testing/collecting some container breakouts
deadlock-examples
Deadlock examples
IllinoisPointsToAnalysis
Repository for Illinois PointsToAnalysis
infer
A static analyzer for Java, C, C++, and Objective-C
klee
KLEE Symbolic Execution Engine
ktrw
An iOS kernel debugger based on a KTRR bypass for A11 iPhones; works with LLDB and IDA Pro.
libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
logic_bombs
This repository contains several examples of logic bomb.
manticore
Symbolic execution tool
mcsema
Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
mms
Modern Memory Safety in C/C++
PerspicuOS
This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.
practical-python
Practical Python Programming (course by @dabeaz)
redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
TinyInst
A lightweight dynamic instrumentation library
winafl
A fork of AFL for fuzzing Windows binaries