ndrewh

ctf

Some of my CTF write-ups

turbograder

UI for grading short answer / extended response Canvas Quizzes

.github

binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

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”.

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!

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

cadical

cadical with hacks for bitwuzla

canvas-lms

The open LMS by Instructure, Inc.

ctf-osu-game

ctf-writeups

ctf-writeups-1

Write-ups for the Buckeye Bureau of BOF

dynamorio

Dynamic Instrumentation Tool Platform

fastgen

forty-jekyll-theme

A Jekyll version of the "Forty" theme by HTML5 UP.

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

fuzzolic

fuzzolic-qemu

gcc

hacker

Hacker is a Jekyll theme for GitHub Pages

jekyll-theme-console

A jekyll theme inspired by linux consoles for hackers, developers and script kiddies.

microblaze

μBlaze Architecture Plugin for Binary Ninja

nsjail

A light-weight process isolation tool, making use of Linux namespaces and seccomp-bpf syscall filters (with help of the kafel bpf language)

qsym

rbpf

Rust virtual machine and JIT compiler for eBPF programs

swiss

Jekyll theme inspired by Swiss design

symcc

SymCC: efficient compiler-based symbolic execution

symsan

A LLVM Sanitizer for Symbolic Tracing

test1

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.