balayette / saphIR-project
saphIR is an Intermediate Representation with amd64 and arm64 backends. Also included: a compiler, an arm64 lifter, an arm64 to amd64 dynamic binary translator, and a fuzzer.
☆32Updated 4 years ago
Alternatives and similar repositories for saphIR-project
Users that are interested in saphIR-project are comparing it to the libraries listed below
Sorting:
- AES-128 and DES differential fault analysis☆16Updated 4 years ago
- x86 decoders for the yaxpeax project☆136Updated 10 months ago
- Multicore x64 kernel with a focus on introspection and debugging capabilities.☆61Updated 10 months ago
- Snapshot fuzzing with KVM and LibAFL☆94Updated 2 years ago
- A hypervisor written in rust☆55Updated 2 years ago
- The Hedron Microhypervisor☆78Updated last year
- experimentation/code from Tanguy Dubroca (summer 2019)☆28Updated 5 years ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆43Updated 4 months ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- Rust bindings for the unicorn CPU emulator☆140Updated 4 years ago
- Yet Another Operating System - a simple and small x86 operating system☆11Updated 6 years ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆84Updated 2 years ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- A simple Aarch64 hypervisor for Raspberry Pi☆35Updated 4 years ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆92Updated last year
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆93Updated 4 years ago
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- A hypervisor written in Rust.☆120Updated 3 years ago
- Binja Arm64 Disassembler☆90Updated 2 weeks ago
- Rewriting functions in compiled binaries using McSema☆89Updated 5 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated 6 months ago
- EFI Byte Code Virtual Machine in userspace☆78Updated 2 years ago
- SMT Modeling for Ghidra's PCODE☆25Updated this week
- A Rust crate implementing the GDB Remote Serial Protocol☆34Updated 4 years ago
- Kernel-based debugger for Linux applications☆73Updated 3 years ago
- yaxdis, a small and naive disassembler using yaxpeax decoders☆33Updated last month
- Just a modern packer for elf binaries ( works on linux executables only )☆42Updated 4 years ago
- Run UEFI applications☆96Updated 2 years ago