mahaloz / cfgutilsLinks
Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
☆28Updated last week
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!)☆120Updated 3 weeks ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆105Updated last month
- Adds a layer on top of IDA Python to make it easier to write scripts☆24Updated 3 weeks ago
- AIL: The angr Intermediate Language.☆32Updated this week
- ☆14Updated 3 months ago
- ☆42Updated 4 years ago
- Binja (sort of) headless☆47Updated 3 months ago
- ☆59Updated 5 months ago
- SMT Modeling for Ghidra's PCODE☆25Updated 2 weeks ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 5 months ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆39Updated 2 months ago
- Ghidra Headless Python VScode Skeleton with Devcontainer Super Powers☆58Updated 2 months ago
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆98Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆52Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆56Updated 3 years ago
- Vulnerability research assistant that extracts pseudo-code from the IDA Hex-Rays decompiler.☆35Updated last week
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆50Updated 8 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆137Updated last year
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆112Updated 6 months ago
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- ☆19Updated 8 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆194Updated this week
- A versatile and easy-to-use static binary patching tool.☆37Updated last month
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆31Updated 3 months ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 2 years ago
- Common format for transferring and applying function information across binary analysis tools☆33Updated 5 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Same-Architecture Firmware Rehosting and Fuzzing☆124Updated 5 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated last month