can1357 / haruspex
Exploration of x86-64 ISA using speculative execution.
☆309Updated 3 years ago
Alternatives and similar repositories for haruspex:
Users that are interested in haruspex are comparing it to the libraries listed below
- ☆360Updated last year
- GLM uCode dumps☆287Updated 4 years ago
- The first analysis framework for CPU microcode☆391Updated 2 years ago
- A differential fuzzer for x86 decoders☆248Updated 5 months ago
- IPC scripts for access to Intel CRBUS☆118Updated 3 years ago
- Intel Management Engine JTAG Proof of Concept☆142Updated 4 years ago
- ☆113Updated last year
- Visualize the virtual address space of a Windows process on a Hilbert curve.☆300Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- The research UEFI hypervisor that supports booting an operating system.☆604Updated 8 months ago
- bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, des…☆947Updated 3 weeks ago
- IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible☆592Updated 2 months ago
- Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.☆455Updated 2 years ago
- Ghidra analyzer for UEFI firmware.☆343Updated 10 months ago
- ☆173Updated 2 years ago
- Intel Management Engine JTAG Proof of Concept☆520Updated 4 years ago
- Lightweight type-1 hypervisor offering a foundation for building advanced security-focused functionality.☆257Updated 3 months ago
- A hypervisor for fuzzing built with WHVP and Bochs☆374Updated 6 years ago
- High-performance QEMU memory and instruction tracing☆543Updated 8 months ago
- An analysis of the Warbird virtual-machine protection for the CI!g_pStore☆248Updated 7 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆339Updated 6 years ago
- Rellic produces goto-free C output from LLVM bitcode☆554Updated 7 months ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆84Updated 2 years ago
- Why fuzzing with emulators is amazing☆136Updated 4 years ago
- Simpleator ("Simple-ator") is an innovative Windows-centric x64 user-mode application emulator that leverages several new features that w…☆366Updated 6 years ago
- Ghidra utilities for analyzing PC firmware☆418Updated 3 months ago
- Safely execute an arbitrary x86 instruction☆180Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆348Updated 7 months ago
- Internals information about Hyper-V☆687Updated 3 months ago
- This project aims to facilitate debugging a kernel driver in windows by adding support for a code change on the fly without reboot/unload…☆172Updated last year