rocky / python-control-flowLinks
Control-Flow, Dominator Tree, and dot output from Python bytecode
☆68Updated 3 weeks ago
Alternatives and similar repositories for python-control-flow
Users that are interested in python-control-flow are comparing it to the libraries listed below
Sorting:
- A Python implementation of the C Python Interpreter☆96Updated 2 weeks ago
- Python cross version bytecode/wordcode assembler☆117Updated 3 weeks ago
- A generic deobfuscator for PjOrion obfuscated python scripts☆122Updated last year
- BinRec: Dynamic Binary Lifting and Recompilation☆143Updated 2 years ago
- AIL: The angr Intermediate Language.☆33Updated 5 months ago
- Simple parser for Python marshal serialization and pyc files☆21Updated last month
- CodeHawk Abstract Interpretation Engine and Analyzers☆70Updated last week
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- LLVM meets Code Property Graphs☆97Updated 4 years ago
- A deobfuscator for PjOrion, python cfg generator and more☆77Updated 8 years ago
- ☆45Updated 4 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- Python cross-version bytecode library and disassembler☆344Updated this week
- A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …☆16Updated 6 years ago
- TracerX Symbolic Virtual Machine☆31Updated last month
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated 9 months ago
- CFG explorer for binaries☆83Updated last year
- Quokka: A Fast and Accurate Binary Exporter☆205Updated last week
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 6 months ago
- Python Symbolic Execution☆73Updated 6 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- llvm crash analysis☆45Updated last year
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆68Updated 4 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆229Updated 7 months ago
- ☆73Updated last year
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆204Updated this week
- Demangling C++ symbols in Python / interface to abi::__cxa_demangle☆35Updated last year
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆129Updated 3 months ago