intel / unicorn-for-efiLinks
Unicorn Engine port for UEFI firmware
☆47Updated 6 months ago
Alternatives and similar repositories for unicorn-for-efi
Users that are interested in unicorn-for-efi are comparing it to the libraries listed below
Sorting:
- Simple Intel VT-x type-2 hypervisor for 64-bit Linux.☆19Updated 5 years ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆111Updated last year
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆57Updated last year
- LLVM Without The ROP Gadgets!☆26Updated last year
- Lightweight PDB symbol parser and resolver☆26Updated 11 months ago
- reverse engineering of the windows nt kernel debugger protocol & reimplementation.☆29Updated last year
- A thin introspection hypervisor framework that allows for low level resource manipulation.☆13Updated last year
- ☆41Updated last year
- Zydis JavaScript bindings via WASM☆20Updated 2 years ago
- Runtime smm module loader☆36Updated 2 years ago
- AMD SVM hypervisor rootkit proof of concept☆48Updated 2 years ago
- Hyper-V related resources☆31Updated last year
- CMake template for a basic EFI application/bootkit. This library is header-only, there is no EDK2 runtime!).☆79Updated 3 years ago
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆23Updated last year
- ntos shit☆27Updated last year
- HelloAmdHvPkg is a type-1 research hypervisor for AMD processors.☆97Updated 5 years ago
- This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM☆25Updated last year
- x86-64 user mode emulation using Zydis☆67Updated 2 weeks ago
- Type 2 Hypervisor for security research supported by AMD-V hardware assisted virtualization☆41Updated 2 years ago
- Python bindings for the Icicle emulator.☆40Updated 5 months ago
- Binary Ninja plugin for automating VMProtect analysis☆62Updated 2 years ago
- The sample DXE runtime driver demonstrating how to program DMA remapping.☆64Updated last year
- UEFI UEFI UEFI☆40Updated 2 years ago
- Pretty x86 instruction reference site generator☆61Updated 3 years ago
- Minidump loader for Binary Ninja☆14Updated last week
- Symbolic Execution based on lifting amd64 to z3☆28Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆103Updated this week
- Standalone API for Binary Ninja's LLIL☆20Updated last year
- A graphing library for Control Flow Graphs☆66Updated 3 months ago
- A basic Secure Virtual Machine hypervisor☆25Updated 4 years ago