Pinned Repositories
buckeyectf-2022-public
Source for BuckeyeCTF 2022 challenges
SBVA
Structured BVA
ctf
Some of my CTF write-ups
libwhydie
simple LD_PRELOAD to print a backtrace when process dies
MinimalPieChart
A "minimal" pie chart
pyda
Write dynamic binary analysis tools in Python
Raspberry-pi-fm-radio-bluetooth
Resources from my experience turning my raspberry pi into a bluetooth to FM radio transmitter
TTT-Messages-Extension
Simple Tic-Tac-Toe game implemented as a iOS 10 Messages Extension
turbograder
UI for grading short answer / extended response Canvas Quizzes
ndrewh's Repositories
ndrewh/pyda
Write dynamic binary analysis tools in Python
ndrewh/ctf
Some of my CTF write-ups
ndrewh/libwhydie
simple LD_PRELOAD to print a backtrace when process dies
ndrewh/turbograder
UI for grading short answer / extended response Canvas Quizzes
ndrewh/.github
ndrewh/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
ndrewh/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
ndrewh/AEADs
ndrewh/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!
ndrewh/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
ndrewh/cadical
cadical with hacks for bitwuzla
ndrewh/ctf-osu-game
ndrewh/ctf-writeups-1
Write-ups for the Buckeye Bureau of BOF
ndrewh/dynamorio
Dynamic Instrumentation Tool Platform
ndrewh/fastgen
ndrewh/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
ndrewh/fuzzolic
ndrewh/fuzzolic-qemu
ndrewh/fuzzy-sat
An approximate solver for concolic execution
ndrewh/gcc
ndrewh/microblaze
μBlaze Architecture Plugin for Binary Ninja
ndrewh/multiplier
Code auditing productivity multiplier.
ndrewh/nsjail
A light-weight process isolation tool, making use of Linux namespaces and seccomp-bpf syscall filters (with help of the kafel bpf language)
ndrewh/nsjail-shm-dos
ndrewh/qsym
ndrewh/rbpf
Rust virtual machine and JIT compiler for eBPF programs
ndrewh/symcc
SymCC: efficient compiler-based symbolic execution
ndrewh/symcc-rt
SymCC Runtime
ndrewh/symsan
A LLVM Sanitizer for Symbolic Tracing
ndrewh/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.