Pinned 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
deva
OCaml
err-rec
Verified recovery routines
IllinoisPointsToAnalysis
Repository for Illinois PointsToAnalysis
pt-smt
Points-to analysis using SMT solving
edgar-pek's Repositories
edgar-pek/pt-smt
Points-to analysis using SMT solving
edgar-pek/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!
edgar-pek/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
edgar-pek/coccinelle
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)
edgar-pek/compound-protocol
The Compound On-Chain Protocol
edgar-pek/container-breakouts
Testing/collecting some container breakouts
edgar-pek/deadlock-examples
Deadlock examples
edgar-pek/deva
OCaml
edgar-pek/err-rec
Verified recovery routines
edgar-pek/IllinoisPointsToAnalysis
Repository for Illinois PointsToAnalysis
edgar-pek/infer
A static analyzer for Java, C, C++, and Objective-C
edgar-pek/klee
KLEE Symbolic Execution Engine
edgar-pek/ktrw
An iOS kernel debugger based on a KTRR bypass for A11 iPhones; works with LLDB and IDA Pro.
edgar-pek/libra
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
edgar-pek/logic_bombs
This repository contains several examples of logic bomb.
edgar-pek/manticore
Symbolic execution tool
edgar-pek/mcsema
Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
edgar-pek/mms
Modern Memory Safety in C/C++
edgar-pek/PerspicuOS
This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype PerspicuOS.
edgar-pek/practical-python
Practical Python Programming (course by @dabeaz)
edgar-pek/pta
edgar-pek/redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
edgar-pek/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
edgar-pek/TinyInst
A lightweight dynamic instrumentation library
edgar-pek/VCC-Dryad
VCC + Dryad
edgar-pek/VCDryad
VCDryad description
edgar-pek/winafl
A fork of AFL for fuzzing Windows binaries