mahaloz / cfgutilsLinks
Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
☆33Updated 6 months ago
Alternatives and similar repositories for cfgutils
Users that are interested in cfgutils are comparing it to the libraries listed below
Sorting:
- Triton-based DSE library with loading and exploration capabilities (and more!)☆133Updated 3 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆121Updated last week
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆116Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 6 months ago
- ☆73Updated last year
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆165Updated this week
- AIL: The angr Intermediate Language.☆33Updated 6 months ago
- ☆63Updated 3 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆145Updated 2 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆81Updated 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 10 months ago
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆55Updated last year
- Quarkslab Bindiffer but not only !☆213Updated 7 months ago
- Common format for transferring and applying function information across binary analysis tools☆55Updated last month
- simple type recognition in decompiled executables☆117Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated last month
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Tantō slices functions into more consumable chunks☆76Updated 7 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 5 months ago
- ☆15Updated last year
- Xyntia, the black-box deobfuscator☆84Updated last month
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 11 months ago
- Binary Type Inference Ghidra Plugin☆167Updated last year
- Binja (sort of) headless☆55Updated 9 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆103Updated 9 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 6 months ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 3 years ago
- Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.☆144Updated last year
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆42Updated 8 months ago