Kazhuu / asm2cfg
Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files
☆72Updated 5 months ago
Related projects: ⓘ
- BinRec: Dynamic Binary Lifting and Recompilation☆109Updated last year
- Static instrumentation tool for efficient binary-level coverage analysis.☆143Updated 3 years ago
- BinTuner☆58Updated 2 years ago
- LLVM meets Code Property Graphs☆85Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆68Updated 10 months ago
- KLEE Symbolic Execution Engine☆61Updated 4 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆126Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆47Updated 5 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 2 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆94Updated 2 weeks ago
- ☆79Updated last week
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated last year
- An awesome & curated list of binary rewriting papers☆215Updated 2 years ago
- ☆125Updated 2 weeks ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated 2 months ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated 6 months ago
- Tutorial to write qemu plugins☆29Updated 7 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- Self-hosting binary instrumentation framework for security research☆209Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆130Updated this week
- A binary optimization/specialization library supporting multiple rewriters☆110Updated 3 years ago
- ☆16Updated last year
- ☆38Updated 6 months ago
- A high performance LLVM-based dynamic binary instrumentation framework☆239Updated 3 months ago
- Build your emulation environment as needed☆64Updated 3 years ago
- ☆66Updated 2 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆65Updated last year