clevcode

wasmtime

A fast and secure runtime for WebAssembly

lumenpnp

The LumenPnP is an open source pick and place machine.

docs

Hardware and software docs / wiki

openpnp

Open Source SMT Pick and Place Hardware and Software

xnu-qemu-arm64

symcc

SymCC: efficient compiler-based symbolic execution

kgt

BNF wrangling and railroad diagrams

aSiagaming

My Chrome and Safari exploit code + write-up repo

xnuspy

an iOS kernel function hooking framework for checkra1n'able devices

lucid

An Interactive Hex-Rays Microcode Explorer

zelos

A comprehensive binary emulation and instrumentation platform.

tp-compact-keyboard

Fn-Lock switcher for ThinkPad Compact Bluetooth Keyboard with TrackPoint

arybo

Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions

magma

A ground-truth fuzzing benchmark suite based on real programs with real bugs.

glm-ucode

GLM uCode dumps

s8_2019_2215_poc

PoC 2019-2215 exploit for S8/S8 active with DAC + SELinux + Knox/RKP bypass

bip

gnuradio-android

GNU Radio Android Toolchain

sploit

Go package that aids in binary analysis and exploitation

pyhexraysdeob

A port of Rolf Rolles' https://github.com/RolfRolles/HexRaysDeob to Python

BaseSAFE

Emulation and Feedback Fuzzing of Firmware with Memory Sanitization

my_vulnerabilities

gatekeeper

GATEKEEPER: Inline and on-target defense

crbus_scripts

IPC scripts for access to Intel CRBUS

dc2020f-parallel-af-public

DC28CTF challenge parallel-af. Dataflow machine.

taintinduce

TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.

dr_checker_4_linux

Port of "DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers" to Clang/LLVM 10 and Linux Kernel

dissn8

sn8f2288 disassembler

zemu-client

Client for generating dynamic binary traces using the Zemu API.

dc2020f-gameboooy-public