mahaloz / cfgutils
Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
☆28Updated this week
Alternatives and similar repositories for cfgutils:
Users that are interested in cfgutils are comparing it to the libraries listed below
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆103Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆116Updated 4 months ago
- Adds a layer on top of IDA Python to make it easier to write scripts☆23Updated this week
- ☆56Updated 4 months ago
- Run IDA scripts headlessly.☆142Updated 4 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆109Updated 4 months ago
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆154Updated last year
- Xyntia, the black-box deobfuscator☆67Updated 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 2 months ago
- Vulnerability research assistant that extracts pseudo-code from the IDA Hex-Rays decompiler.☆30Updated this week
- BinRec: Dynamic Binary Lifting and Recompilation☆130Updated last year
- Ghidra Headless Python VScode Skeleton with Devcontainer Super Powers☆56Updated 3 weeks ago
- AFL bindings for Unicorn-Engine☆76Updated last month
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆190Updated this week
- Hardening code obfuscation against automated attacks☆131Updated last year
- SMT Modeling for Ghidra's PCODE☆24Updated this week
- A tool combining DWARF info and source to search for kernel heap objects☆22Updated last year
- Code snippets for Binary Ninja's Python API☆27Updated 3 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆49Updated 7 months ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆151Updated 2 months ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆56Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆76Updated 2 years ago
- A versatile and easy-to-use static binary patching tool.☆35Updated 2 weeks ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆49Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 3 months ago