rocky / python-control-flowLinks
Control-Flow, Dominator Tree, and dot output from Python bytecode
☆66Updated 7 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☆94Updated last week
- Python cross version bytecode/wordcode assembler☆114Updated 3 weeks ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- AIL: The angr Intermediate Language.☆32Updated last month
- Pure-Python x86 disassembler, ported to modern Python, with bugfixes☆24Updated 7 years ago
- TracerX Symbolic Virtual Machine☆33Updated last month
- Simple parser for Python marshal serialization and pyc files☆20Updated 8 months ago
- ☆43Updated 4 years ago
- Interactive Control Flow Graph Visualization.☆35Updated 3 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆69Updated this week
- Python Symbolic Execution☆70Updated 5 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☆92Updated 4 years ago
- A generic deobfuscator for PjOrion obfuscated python scripts☆115Updated last year
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆28Updated 4 years ago
- Demangling C++ symbols in Python / interface to abi::__cxa_demangle☆34Updated last year
- A deobfuscator for PjOrion, python cfg generator and more☆74Updated 8 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- llvm crash analysis☆44Updated last year
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆41Updated last week
- A library for dynamic binary rewriting☆58Updated 4 years ago
- Extracting high level semantic information from binary code☆65Updated 6 years ago
- LLVM-based type and memory allocation tracking sanitizer☆53Updated last month
- VSCode extension for the LLVM IR language☆62Updated last year
- Sydr benchmark applications☆17Updated 2 years ago
- SLOT: SMT-LLVM Optimizing Translation☆58Updated 2 months ago
- Zydis Python Bindings (Work In Progress)☆31Updated 3 years ago
- Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.☆32Updated 5 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago