mahaloz / cfgutils
Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
☆26Updated last month
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!☆80Updated last week
- AIL: The angr Intermediate Language.☆31Updated this week
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated 2 months ago
- Core emulator components for Icicle☆139Updated last month
- MBA-Blast is a tool for simplification of MBA expressions.☆63Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆126Updated last year
- Ghidra Headless Python VScode Skeleton with Devcontainer Super Powers☆52Updated last year
- ☆40Updated 3 years ago
- Tantō slices functions into more consumable chunks☆48Updated 3 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆13Updated this week
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated last month
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆33Updated 3 months ago
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆61Updated 3 years ago
- ☆24Updated last year
- A Python API to VarBERT, a BERT based model for suggesting variable names in decompiled code.☆45Updated 5 months ago
- ☆69Updated last year
- Hardening code obfuscation against automated attacks☆128Updated last year
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 11 months ago
- Idiomatic Rust bindings for the IDA SDK, enabling the development of standalone analysis tools using IDA v9.0’s idalib☆117Updated this week
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- SMT Modeling for Ghidra's PCODE☆22Updated 2 weeks ago
- Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.☆136Updated 10 months ago
- ☆16Updated 5 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆103Updated 2 months ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Control-Flow Graph (CFG) Visualizer for VSCode☆45Updated this week
- Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions☆153Updated last year
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆56Updated 2 months ago
- Practical fuzzing tutorials and training☆30Updated 7 months ago