JannisKirschner / SymbolicExecutionDemystifiedLinks
Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
☆100Updated 3 years ago
Alternatives and similar repositories for SymbolicExecutionDemystified
Users that are interested in SymbolicExecutionDemystified are comparing it to the libraries listed below
Sorting:
- Slides, recordings and materials of my public presentations, talks and workshops.☆78Updated 2 months ago
- ☆61Updated 3 months ago
- ☆48Updated 3 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- Leveraging CVEs as North Stars in vulnerability discovery and comprehension.☆66Updated last year
- This framework enables user to discover JOP gagdets and can automate building a complete JOP chain to bypass DEP. JOP ROCKET is the ultim…☆105Updated 9 months ago
- ☆82Updated 2 years ago
- Cross-architecture instruction counting for CTF solving☆47Updated 3 years ago
- A collection of curated resources and CVEs I use for research.☆106Updated 3 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆61Updated 3 weeks ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- Linux Kernel Snapshot Fuzzer using KVM☆47Updated last year
- harness for fuzzing with winafl. both public and my own which i have released.☆57Updated 4 years ago
- Dynamic-Static binary instrumentation framework on top of GDB☆52Updated last year
- Automatic ROPChain Generation☆287Updated 5 years ago
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆70Updated last year
- PoC of fuzzing closed-source userspace binaries with KVM☆165Updated last year
- Blogpost about optimizing binary-only fuzzing with AFL++☆64Updated last year
- A de-socketing library for fuzzing.☆147Updated 2 months ago
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆62Updated 3 years ago
- Common Corpus is used to build coverage-minimized corpus data sets for fuzzing.☆27Updated last year
- Multi-tool reverse engineering collaboration solution.☆140Updated last year
- Damn Vulenerable Kernel Module for kernel fuzzing☆60Updated 7 months ago
- A collection of my Ghidra scripts to facilitate reverse engineering and vulnerability research.☆256Updated 6 months ago
- Port of the binary diffing library, diaphora, for radare2 and mariadb☆51Updated last year
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆63Updated last week
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- Vulnerability research notes for VirtualBox and QEMU. Contains debug environment setup notes, a PoC template, exploit primitive notes, an…☆188Updated last year
- Binary exploitation by confusing the unwinder☆63Updated 2 years ago