hunter-ht-2018 / bin2vexLinks
convert binary to VEX IR using the C interface provided by pyvex.
☆16Updated 2 years ago
Alternatives and similar repositories for bin2vex
Users that are interested in bin2vex are comparing it to the libraries listed below
Sorting:
- Malware analysis tool based on taint analysis.☆14Updated 3 years ago
- expansion of afl-unicorn using c++☆28Updated 5 years ago
- ☆16Updated 4 years ago
- ☆14Updated 7 years ago
- FlowWalker is a practical off-line taint analysis framework with high efficiency and low overhead.☆10Updated 10 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- Import debugging traces from WinDBG into IDA. Color the graph, fill in the value of all the operands, etc.☆25Updated 12 years ago
- PoC for CVE-2017-0075☆37Updated 5 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Updated 4 years ago
- Basic Block Trace: DynamoRIO client☆27Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 7 years ago
- ☆33Updated 2 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 4 years ago
- Crappy Win32k syscall fuzzer☆13Updated 10 years ago
- Code Coverage client for DynamoRIO☆12Updated 6 years ago
- Exploits for YARA 3.7.1 & 3.8.1☆31Updated 6 years ago
- Export a binary from ghidra to emulate with unicorn☆27Updated 5 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 6 years ago
- S2E plugins library☆17Updated 5 years ago
- reven2-scripts contains a set of REVEN scripts to automate timeless-analysis on REVEN traces.☆30Updated 2 years ago
- Control Flow Guard bypass using LoadLibrary and IsBadCodePtr☆45Updated 8 years ago
- A stateful fuzzing engine.☆45Updated 6 years ago
- PoC for the taint-based ROP approach☆14Updated last year
- Assorted pintools☆30Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆12Updated 7 years ago
- ☆11Updated 6 years ago
- Recover control flow graph from obfuscated codes☆38Updated 9 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆19Updated 7 years ago
- ☆31Updated 7 years ago