rocky / python-control-flowLinks
Control-Flow, Dominator Tree, and dot output from Python bytecode
☆65Updated 9 months 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☆95Updated last week
- Python cross version bytecode/wordcode assembler☆114Updated 2 months ago
- Python cross-version bytecode library and disassembler☆330Updated this week
- A deobfuscator for PjOrion, python cfg generator and more☆76Updated 8 years ago
- A generic deobfuscator for PjOrion obfuscated python scripts☆116Updated last year
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- 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
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- AIL: The angr Intermediate Language.☆32Updated 2 months ago
- Pure-Python x86 disassembler, ported to modern Python, with bugfixes☆24Updated 7 years ago
- Simple parser for Python marshal serialization and pyc files☆20Updated last month
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- LLVM meets Code Property Graphs☆93Updated 4 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated this week
- Python Symbolic Execution☆71Updated 6 years ago
- ☆43Updated 4 years ago
- ☆82Updated 3 years ago
- Quokka: A Fast and Accurate Binary Exporter☆200Updated last week
- Extracting high level semantic information from binary code☆66Updated 6 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 6 months ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- Demangling C++ symbols in Python / interface to abi::__cxa_demangle☆34Updated last year
- An LLVM interpreter that aims to compute points-to sets dynamically☆34Updated 10 years ago
- A binary to LLVM translator☆149Updated 7 years ago
- TracerX Symbolic Virtual Machine☆33Updated last week
- Binary Reverse Engineering Data Science Kit☆83Updated 4 years ago
- Fusil is a multi-agent Python library used to write fuzzing programs☆26Updated 3 weeks ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆158Updated 6 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆198Updated this week
- ☆72Updated last year