JannisKirschner / SymbolicExecutionDemystified
Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
☆100Updated 2 years ago
Alternatives and similar repositories for SymbolicExecutionDemystified:
Users that are interested in SymbolicExecutionDemystified are comparing it to the libraries listed below
- Slides, recordings and materials of my public presentations, talks and workshops.☆75Updated 5 months ago
- ☆48Updated 3 years ago
- ☆60Updated 3 weeks ago
- Leveraging CVEs as North Stars in vulnerability discovery and comprehension.☆64Updated 11 months ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆45Updated 2 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆57Updated 2 weeks ago
- ☆80Updated 2 years ago
- Dynamic-Static binary instrumentation framework on top of GDB☆51Updated last year
- Cross-architecture instruction counting for CTF solving☆46Updated 3 years ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- A tool for firmware cartography☆146Updated 3 months ago
- Simple script to find kernel objects of a certain size in the Linux kernel☆108Updated 2 years ago
- Blogpost about optimizing binary-only fuzzing with AFL++☆64Updated last year
- ☆186Updated 3 years ago
- Plugin to embed Ghidra Decompiler into Binary Ninja☆96Updated 2 years ago
- A de-socketing library for fuzzing.☆141Updated last week
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆151Updated last year
- A collection of my weggli patterns to facilitate vulnerability research.☆101Updated last year
- Multi-tool reverse engineering collaboration solution.☆138Updated 11 months ago
- harness for fuzzing with winafl. both public and my own which i have released.☆56Updated 4 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated last year
- Materials for the Binary Analysis Workshop presented at NorthSec 2020☆67Updated 3 years ago
- QuarkslaB Dynamic Linker library☆80Updated 3 months ago
- Generation-based, context-free grammar fuzzer.☆52Updated 2 years ago
- A proper well structured documentation for getting started with chrome pwning & v8 pwning☆192Updated 2 years ago
- ☆28Updated 2 years ago
- ☆78Updated 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…☆102Updated 6 months ago
- Some presentations I did in the past☆64Updated last year