revng / qemu
Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers
☆17Updated 8 months ago
Alternatives and similar repositories for qemu:
Users that are interested in qemu are comparing it to the libraries listed below
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated 8 months ago
- ☆32Updated 3 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆42Updated 4 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- A code skeleton of Samsung's Shannon S5000 baseband modem.☆43Updated 5 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- trustonic tbase research☆31Updated 7 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆30Updated 3 years ago
- Toshiba MeP-c4 for Ghidra☆22Updated 5 years ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- ☆18Updated 3 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆19Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 5 years ago
- ☆50Updated last year
- Lepton is a Lightweight ELF Parsing Tool that was designed specifically for analyzing and editing binaries with damaged or corrupted ELF …☆35Updated 3 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 years ago
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆25Updated 5 years ago
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- QEMU with support for QDSP6 user mode emulation☆32Updated 5 years ago
- binary ninja related code☆25Updated 2 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- A firmware base address search tool.☆44Updated 9 months ago
- IDA Database Importer plugin for Binary Ninja☆37Updated 6 months ago
- Linux kernel branches for confidential compute research☆17Updated last month
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago