Lukas Dresel's repositories
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!
aiotarfile
asyncio tarfile module for python
bots_are_stupid_levels
A collection/archive of levels for the BotsAreStupid Game
ethernaut-ethpwn-solutions
My solutions for OpenZeppelin's ethernaut challenges, implemented using `ethpwn`
jigsaw
JIGSAW is a fuzzing-based path constraint solver.
KRover
A Symbolic Execution Engine for Dynamic Kernel Analysis
linux_kernel_cves
Tracking CVEs for the linux Kernel
mimalloc_rust
A Rust wrapper over Microsoft's MiMalloc memory allocator
pydatatask
Library for constructing data-centric processing pipelines
scapy
Scapy: the Python-based interactive packet manipulation program & library. Supports Python 2 & Python 3.
ScissorFuzz
A grammar-aware input trimming technique based on light-weight taint analysis.
symcc_libc_preload
Implementation of `qsort` and `bsearch` to compile with symcc and LD_PRELOAD over libc to avoid symcc crashing
SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution