penguin-wwy / pyasmer
Pyasmer is a python bytecode manipulation library
☆10Updated 5 months ago
Alternatives and similar repositories for pyasmer
Users that are interested in pyasmer are comparing it to the libraries listed below
Sorting:
- LLVM pass☆23Updated 4 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 5 years ago
- A simple implementation of the C++ STL which aims to simplify LLVM IRs during compilation☆11Updated 2 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆15Updated 3 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Updated 4 years ago
- The notes about programming language theory☆24Updated 2 years ago
- A small tool for quickly generating LLVM passes☆28Updated this week
- Tracing execution of python bytecode☆10Updated 5 years ago
- CFG explorer for binaries☆80Updated 6 months ago
- idaflirt-detector is Python scripts and IDA FLIRT signatures to detect statically linked libraries from stripped ELF file.☆11Updated 2 years ago
- Implement a ELF parser and a utility like readelf on Linux.☆11Updated 5 years ago
- Fiddle with x86 and x64 asm from python☆6Updated 6 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Control-Flow, Dominator Tree, and dot output from Python bytecode☆65Updated 5 months ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆19Updated 2 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 3 months ago
- Use Intel Pin tools to analysis binary.☆37Updated 9 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆29Updated 4 years ago
- Jeb3 Demo (include mips && arm64 && elf && pe && wasm decompiler) without limit☆18Updated 5 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 3 years ago
- CFG explorer for binaries☆37Updated 6 months ago
- Basic LLVM passes☆17Updated 6 years ago
- ☆28Updated 3 years ago
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆129Updated last week
- TracerX Symbolic Virtual Machine☆33Updated 2 weeks ago
- A fuzzer for SMT solvers☆19Updated this week