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 last month
- ☆48Updated 3 years ago
- ☆82Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Xyntia, the black-box deobfuscator☆73Updated last month
- Binary exploitation by confusing the unwinder☆63Updated 2 years ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆35Updated last year
- A library for patching ELFs☆57Updated 4 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆80Updated 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
- Multi-tool reverse engineering collaboration solution.☆140Updated last year
- A /proc/mem IDA loader to snapshot a running process☆164Updated last month
- Dynamic-Static binary instrumentation framework on top of GDB☆51Updated last year
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆62Updated 2 months ago
- ☆100Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆81Updated 2 months ago
- Simple script to find kernel objects of a certain size in the Linux kernel☆109Updated 2 years ago
- harness for fuzzing with winafl. both public and my own which i have released.☆57Updated 4 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 6 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆56Updated 3 years ago
- ☆47Updated 2 years ago
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆33Updated 4 years ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- ☆72Updated 4 years ago
- My conference presentations and Materials for them.☆32Updated 2 years ago
- 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 11 months ago
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆153Updated last year
- 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
- ☆64Updated 5 months ago