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
- ☆82Updated 2 years ago
- ☆49Updated 3 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
- Multi-tool reverse engineering collaboration solution.☆140Updated last year
- Binary exploitation by confusing the unwinder☆63Updated 2 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆80Updated 2 years ago
- Xyntia, the black-box deobfuscator☆74Updated 2 months ago
- binary ninja related code☆36Updated 4 months ago
- Dynamic-Static binary instrumentation framework on top of GDB☆51Updated last year
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- harness for fuzzing with winafl. both public and my own which i have released.☆57Updated 4 years ago
- ☆65Updated 5 months ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 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
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 3 years ago
- ☆76Updated 3 years ago
- Automatic ROPChain Generation☆291Updated 5 years ago
- Vulnerability research notes for VirtualBox and QEMU. Contains debug environment setup notes, a PoC template, exploit primitive notes, an…☆190Updated last year
- PoC for CVE-2021-3492 used at Pwn2Own 2021☆42Updated 4 years ago
- A BinaryNinja plugin for contextual gadget analysis and semantic/hueristic based querying.☆63Updated 3 months ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- 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
- Repo for fuzzing projects☆46Updated 5 years ago
- ☆131Updated 3 months ago
- Linux Kernel Snapshot Fuzzer using KVM☆47Updated last year
- Cross-architecture instruction counting for CTF solving☆47Updated 3 years ago
- Simple script to find kernel objects of a certain size in the Linux kernel☆109Updated 2 years ago
- ☆47Updated 2 years ago