Kazhuu / asm2cfgLinks
Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files
☆77Updated last year
Alternatives and similar repositories for asm2cfg
Users that are interested in asm2cfg are comparing it to the libraries listed below
Sorting:
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆125Updated 2 weeks ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- Self-hosting binary instrumentation framework for security research☆215Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated last year
- ☆70Updated last year
- Tutorial to write qemu plugins☆33Updated 8 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Safely execute an arbitrary x86 instruction☆184Updated last year
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- A system call interception tool☆58Updated 8 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated last week
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆86Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆50Updated 2 months ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆108Updated 7 years ago
- This implements a 64-bit version of vusec/vuzzer fuzzing tool.☆177Updated 3 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆28Updated 4 years ago
- Load-time selective binary rewriting☆161Updated 2 years ago
- ☆144Updated 9 months ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- ☆17Updated 6 years ago
- ☆58Updated 2 years ago
- An awesome & curated list of binary rewriting papers☆249Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- A patched version of VEX to work with PyVEX.☆111Updated last week
- Scalable Validator for Binary Lifters☆57Updated 5 years ago