rocky / python-control-flowLinks
Control-Flow, Dominator Tree, and dot output from Python bytecode
☆67Updated last week
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 last week
- Python cross version bytecode/wordcode assembler☆116Updated last week
- Pure-Python x86 disassembler, ported to modern Python, with bugfixes☆24Updated 7 years ago
- ☆45Updated 4 years ago
- Simple parser for Python marshal serialization and pyc files☆21Updated 2 weeks ago
- 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
- BinRec: Dynamic Binary Lifting and Recompilation☆144Updated 2 years ago
- AIL: The angr Intermediate Language.☆32Updated 4 months ago
- LLVM meets Code Property Graphs☆94Updated 4 years ago
- A deobfuscator for PjOrion, python cfg generator and more☆77Updated 8 years ago
- Python cross-version bytecode library and disassembler☆340Updated last week
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- Debugger in the Trepan family for x-python☆16Updated last week
- Python bindings for LLVM auto-generated from the LLVM-C API☆228Updated 6 months ago
- A generic deobfuscator for PjOrion obfuscated python scripts☆121Updated last year
- Quokka: A Fast and Accurate Binary Exporter☆202Updated last week
- Python Symbolic Execution☆72Updated 6 years ago
- A library for dynamic binary rewriting☆58Updated 4 years ago
- VSCode extension for the LLVM IR language☆61Updated last year
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Dr. Disassembler☆37Updated 3 years ago
- ☆83Updated 4 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆70Updated last week
- TracerX Symbolic Virtual Machine☆31Updated last month
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆21Updated this week
- An LLVM interpreter that aims to compute points-to sets dynamically☆33Updated 10 years ago
- Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files☆78Updated last year