Repositories
Lukas-Dresel/z3jit
A JIT engine to compile z3 constraints to make model-validation as fast as possible
Lukas-Dresel/sample-scan-files
Sample scan files for testing DefectDojo imports
Lukas-Dresel/roadtalk
Lukas-Dresel/symcc
SymCC: efficient compiler-based symbolic execution
Lukas-Dresel/nowsecure-action
The NowSecure Action delivers fast, accurate, automated security analysis of iOS and Android apps coded in any language
Lukas-Dresel/igtap-modding
A repository containing my mods as well as documentation for the game IGTAP: An incremental game that's also a platformer.
Lukas-Dresel/libTAS
GNU/Linux software to (hopefully) give TAS tools to games
Lukas-Dresel/ARTIST
The Android Runtime Instrumentation Toolkit
Lukas-Dresel/gef
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux
Lukas-Dresel/CVE-2025-53770-Exploit
SharePoint WebPart Injection Exploit Tool
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/HexRaysPyTools
IDA Pro plugin which improves work with HexRays decompiler and helps in process of reconstruction structures and classes
Lukas-Dresel/symqemu
SymQEMU: Compilation-based symbolic execution for binaries
Lukas-Dresel/aixcc-public-crs-sandbox
Lukas-Dresel/aixcc-public-capi
Lukas-Dresel/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
Lukas-Dresel/z3.rs
Rust bindings for the Z3 solver.
Lukas-Dresel/linux_kernel_cves
Tracking CVEs for the linux Kernel
Lukas-Dresel/snapshot
A small python library to allow you to create process snapshots for debugging long-running processes
Lukas-Dresel/symqemu-hybrid
Lukas-Dresel/symcc-hybrid
Lukas-Dresel/SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
Lukas-Dresel/jigsaw
JIGSAW is a fuzzing-based path constraint solver.
Lukas-Dresel/ScissorFuzz
A grammar-aware input trimming technique based on light-weight taint analysis.
Lukas-Dresel/ShapFuzz
Lukas-Dresel/SyzDirect
Lukas-Dresel/cs595g
Lukas-Dresel/aiotarfile
asyncio tarfile module for python