Toizi's repositories
eBPF-for-Ghidra
eBPF Processor for Ghidra
deobfuscate_cfg_flattening
Code+samples for paper on deobfuscating control flow flattening
AFLplusplus
afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
anvill
anvill forges beautiful LLVM bitcode out of raw machine code
config
personal config
dockerfiles
Personal dockerfiles
mcsema
Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
miryoku_qmk
Miryoku is an ergonomic, minimal, orthogonal, and universal keyboard layout. Miryoku QMK is the Miryoku implementation for QMK.
Obfuscator-LLVM
Based on LLVM 6.0 with Ollvm & Armariris
Ponce
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
pwndocker
A docker environment for pwn in ctf
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
radare2
unix-like reverse engineering framework and commandline tools
radare2-regressions
Regression Tests for the Radare2 Reverse Engineer's Debugger
rellic
Rellic produces goto-free C output from LLVM bitcode
snake
Micro Snake, based on Simon Huggins snake game.
tetris-1
Micro Tetris™, based on the 1989 IOCCC Obfuscated Tetris by John Tromp
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.