Lukas Dresel's repositories
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
symcc
SymCC: efficient compiler-based symbolic execution
z3.rs
Rust bindings for the Z3 solver.
LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
linux_kernel_cves
Tracking CVEs for the linux Kernel
aiotarfile
asyncio tarfile module for python
magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
ScissorFuzz
A grammar-aware input trimming technique based on light-weight taint analysis.
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!
pydatatask
Library for constructing data-centric processing pipelines
KRover
A Symbolic Execution Engine for Dynamic Kernel Analysis
ethernaut-ethpwn-solutions
My solutions for OpenZeppelin's ethernaut challenges, implemented using `ethpwn`
scapy
Scapy: the Python-based interactive packet manipulation program & library. Supports Python 2 & Python 3.
SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
jigsaw
JIGSAW is a fuzzing-based path constraint solver.
ethpwn
A pwntools for ethereum
symqemu
SymQEMU: Compilation-based symbolic execution for binaries
symcc_libc_preload
Implementation of `qsort` and `bsearch` to compile with symcc and LD_PRELOAD over libc to avoid symcc crashing
mimalloc_rust
A Rust wrapper over Microsoft's MiMalloc memory allocator
zlib-nop
A dummy version of ZLIB which does no decompression, for use with dynamic analysis tools where that pesky compression is REALLY annoying
bots_are_stupid_levels
A collection/archive of levels for the BotsAreStupid Game
ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.