edgar-pek Goto Github PK

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

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)

pt-smt

Points-to analysis using SMT solving

pta

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

vcc-dryad

VCC + Dryad

vcdryad

VCDryad description

winafl

A fork of AFL for fuzzing Windows binaries