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 weeks ago
- ☆48Updated 3 years ago
- ☆62Updated 3 months ago
- Leveraging CVEs as North Stars in vulnerability discovery and comprehension.☆66Updated last year
- A fast, multithreaded, ROP-gadget semantics analyzer.☆50Updated 4 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- Vulnerability research notes for VirtualBox and QEMU. Contains debug environment setup notes, a PoC template, exploit primitive notes, an…☆189Updated last year
- ☆82Updated 2 years ago
- Cross-architecture instruction counting for CTF solving☆47Updated 3 years ago
- A proper well structured documentation for getting started with chrome pwning & v8 pwning☆195Updated 2 years ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- harness for fuzzing with winafl. both public and my own which i have released.☆57Updated 4 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆61Updated last month
- Dynamic-Static binary instrumentation framework on top of GDB☆51Updated last year
- Linux Kernel Snapshot Fuzzer using KVM☆48Updated last year
- ☆130Updated last month
- Blogpost about optimizing binary-only fuzzing with AFL++☆64Updated last year
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆152Updated last year
- ☆26Updated 3 years ago
- A collection of curated resources and CVEs I use for research.☆106Updated 3 years ago
- PASTIS: Collaborative Fuzzing Framework☆162Updated last month
- Binary exploitation by confusing the unwinder☆63Updated 2 years ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- p…☆129Updated 2 weeks ago
- Damn Vulenerable Kernel Module for kernel fuzzing☆62Updated 8 months ago
- ☆186Updated 3 months ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- A collection of my weggli patterns to facilitate vulnerability research.☆137Updated last month
- AutoCorpus is a tool backed by a large language model (LLM) for automatically generating corpus files for fuzzing.☆70Updated last year
- Simple script to find kernel objects of a certain size in the Linux kernel☆109Updated 2 years ago
- Automatic ROPChain Generation☆288Updated 5 years ago