Pinned Repositories
ansible-role-register_systemd_service
ARTIST
The Android Runtime Instrumentation Toolkit
fcd
An optimizing decompiler
radare2
unix-like reverse engineering framework and commandline tools
reko
Reko is a binary decompiler.
rust-honeybee
Rust bindings for the Honeybee Intel PT decoding library
rust-honeybee-sys
snapshot
A small python library to allow you to create process snapshots for debugging long-running processes
WhatConnectsUs
A pyconstruct-based parser for the network protocol of the game "Among Us" (http://www.innersloth.com/gameAmongUs.php)
z3jit
A JIT engine to compile z3 constraints to make model-validation as fast as possible
Lukas-Dresel's Repositories
Lukas-Dresel/z3jit
A JIT engine to compile z3 constraints to make model-validation as fast as possible
Lukas-Dresel/cs595g
Lukas-Dresel/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!
Lukas-Dresel/aiotarfile
asyncio tarfile module for python
Lukas-Dresel/aixcc-public-capi
Lukas-Dresel/aixcc-public-crs-sandbox
Lukas-Dresel/bots_are_stupid_levels
A collection/archive of levels for the BotsAreStupid Game
Lukas-Dresel/ethernaut-ethpwn-solutions
My solutions for OpenZeppelin's ethernaut challenges, implemented using `ethpwn`
Lukas-Dresel/ethpwn
A pwntools for ethereum
Lukas-Dresel/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
Lukas-Dresel/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
Lukas-Dresel/jigsaw
JIGSAW is a fuzzing-based path constraint solver.
Lukas-Dresel/KRover
A Symbolic Execution Engine for Dynamic Kernel Analysis
Lukas-Dresel/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Lukas-Dresel/linux_kernel_cves
Tracking CVEs for the linux Kernel
Lukas-Dresel/magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
Lukas-Dresel/mimalloc_rust
A Rust wrapper over Microsoft's MiMalloc memory allocator
Lukas-Dresel/pydatatask
Library for constructing data-centric processing pipelines
Lukas-Dresel/scapy
Scapy: the Python-based interactive packet manipulation program & library. Supports Python 2 & Python 3.
Lukas-Dresel/ScissorFuzz
A grammar-aware input trimming technique based on light-weight taint analysis.
Lukas-Dresel/ShapFuzz
Lukas-Dresel/symcc
SymCC: efficient compiler-based symbolic execution
Lukas-Dresel/symcc-hybrid
Lukas-Dresel/symcc_libc_preload
Implementation of `qsort` and `bsearch` to compile with symcc and LD_PRELOAD over libc to avoid symcc crashing
Lukas-Dresel/SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
Lukas-Dresel/symqemu
SymQEMU: Compilation-based symbolic execution for binaries
Lukas-Dresel/symqemu-hybrid
Lukas-Dresel/SyzDirect
Lukas-Dresel/z3.rs
Rust bindings for the Z3 solver.
Lukas-Dresel/zlib-nop
A dummy version of ZLIB which does no decompression, for use with dynamic analysis tools where that pesky compression is REALLY annoying