penguin-wwy / pyasmer
Pyasmer is a python bytecode manipulation library
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for pyasmer
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆28Updated 3 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- LLVM pass☆21Updated 4 years ago
- Implement pointer analysis prototype(currently including anderson, steensgard)~☆15Updated 2 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- CFG explorer for binaries☆78Updated 3 weeks ago
- The notes about programming language theory☆23Updated last year
- Papers related with kernel papers☆13Updated last year
- A native symbolic execution engine for WebAssembly☆40Updated 4 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆63Updated this week
- idaflirt-detector is Python scripts and IDA FLIRT signatures to detect statically linked libraries from stripped ELF file.☆10Updated 2 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated last year
- TracerX Symbolic Virtual Machine☆31Updated this week
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- A data dependence analyzer for C program☆20Updated 2 years ago
- ☆7Updated 5 years ago
- ☆27Updated 3 years ago
- A small tool for quickly generating LLVM passes☆27Updated this week
- Control-Flow, Dominator Tree, and dot output from Python bytecode☆59Updated this week
- One Python File To Parse ELF For Learning ELF☆22Updated 6 years ago
- a webassembly wasm decompiler and Static Analysis Framework based on llvm IR. (Work In Progress)☆41Updated this week
- ☆39Updated 3 years ago
- A collection of command-line tools based on Dyninst☆16Updated 3 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 3 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 2 years ago
- Implement a ELF parser and a utility like readelf on Linux.☆11Updated 5 years ago
- A binary analysis framework☆9Updated this week
- A Python implementation of the C Python Interpreter☆94Updated 2 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago