dylanjwolff Goto Github PK

aflchurnbench

fuzzbench and aflchurn

asplos24-ae

cerberus

Program repair platform that provides interface to multiple state-of-the-art program repair tools

dotfiles

dylanjwolff.github.io

e-libfuzzer

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

eafl

american fuzzy lop - a security-oriented fuzzer

extension-server

finance

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

genetic-primer

green-place

Find green places

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

k3s-config

klee-uclibc

KLEE's version of uClibc

learn-haskell

line2addr

Provide addresses given a binary and source file

masters-presearch

Looking into various options for a thesis topic

mosh

Mobile Shell

nano

Mirror of git://git.sv.gnu.org/nano.git

nomad

Exploring Nomad as Orchestrator

old.dylanjwolff.github.io

A beautiful, simple, clean, and responsive Jekyll theme for academics

oneq

personal-site

program-analysis-project

python-ext-server

quickref.dev

Quickref.dev community sources

riai

round-robin-afl

a really stupid way of feeding mutliple files to AFL

rust-survey

A survey on Rust works: empirical studies, verification tools, analysis tools, etc