rocky / python-control-flow
Control-Flow, Dominator Tree, and dot output from Python bytecode
☆65Updated 5 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
- A Python implementation of the C Python Interpreter☆93Updated 8 months ago
- Python cross version bytecode/wordcode assembler☆113Updated 2 months ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Python Symbolic Execution☆67Updated 5 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆135Updated last year
- CodeHawk Abstract Interpretation Engine and Analyzers☆67Updated this week
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆30Updated 4 years ago
- ☆40Updated 4 years ago
- Python cross-version bytecode library and disassembler☆317Updated last week
- A deobfuscator for PjOrion, python cfg generator and more☆71Updated 7 years ago
- Python bindings for LLVM auto-generated from the LLVM-C API☆222Updated 3 weeks ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆142Updated 3 months ago
- Python bytecode instrumentation library☆120Updated 8 years ago
- Visualization of LLVM IR☆60Updated 11 years ago
- The notes about programming language theory☆24Updated last year
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆131Updated 3 years ago
- ☆82Updated 3 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- Demangling C++ symbols in Python / interface to abi::__cxa_demangle☆34Updated 11 months ago
- VSCode extension for the LLVM IR language☆61Updated 11 months ago
- AIL: The angr Intermediate Language.☆32Updated this week
- Data Flow Analysis and Static Single Assignment☆29Updated 7 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆110Updated 3 weeks ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆39Updated last year
- Attempts at fuzzing Python unpicklers☆38Updated last year
- llvm crash analysis☆43Updated 10 months ago
- Static analysis tool to slice python programs☆36Updated 8 years ago
- Python module to modify bytecode☆311Updated this week
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago