rocky / python-control-flowLinks
Control-Flow, Dominator Tree, and dot output from Python bytecode
☆66Updated 8 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 last month
- Simple parser for Python marshal serialization and pyc files☆20Updated last week
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- 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
- AIL: The angr Intermediate Language.☆32Updated 2 months ago
- ☆43Updated 4 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- A generic deobfuscator for PjOrion obfuscated python scripts☆116Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated last week
- A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees …☆14Updated 6 years ago
- Pure-Python x86 disassembler, ported to modern Python, with bugfixes☆24Updated 7 years ago
- Python Symbolic Execution☆70Updated 6 years ago
- SLOT: SMT-LLVM Optimizing Translation☆60Updated 3 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆28Updated 4 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆34Updated 10 years ago
- TracerX Symbolic Virtual Machine☆33Updated 2 months ago
- Visualization of LLVM IR☆60Updated 11 years ago
- Debugger in the Trepan family for x-python☆17Updated last week
- Zydis Python Bindings (Work In Progress)☆31Updated 3 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 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☆76Updated last year
- Python cross-version bytecode library and disassembler☆329Updated last week
- A deobfuscator for PjOrion, python cfg generator and more☆76Updated 8 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆225Updated 3 months ago
- Static analysis tool to slice python programs☆37Updated 8 years ago
- Data Flow Analysis and Static Single Assignment☆29Updated 7 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- A dynamic control flow graph (CFG) reconstruction plugin for valgrind.☆124Updated 4 months ago