can1357 / haruspex
Exploration of x86-64 ISA using speculative execution.
☆308Updated 3 years ago
Alternatives and similar repositories for haruspex:
Users that are interested in haruspex are comparing it to the libraries listed below
- A differential fuzzer for x86 decoders☆244Updated 5 months ago
- ☆358Updated last year
- The first analysis framework for CPU microcode☆389Updated 2 years ago
- GLM uCode dumps☆283Updated 4 years ago
- Intel Management Engine JTAG Proof of Concept☆142Updated 4 years ago
- ☆113Updated last year
- IPC scripts for access to Intel CRBUS☆118Updated 3 years ago
- Ghidra analyzer for UEFI firmware.☆328Updated 9 months ago
- bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, des…☆941Updated this week
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆337Updated 6 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- GPU rootkit PoC by Team Jellyfish☆116Updated 9 years ago
- High-performance QEMU memory and instruction tracing☆541Updated 8 months ago
- The x86 processor fuzzer☆498Updated 6 years ago
- The research UEFI hypervisor that supports booting an operating system.☆594Updated 7 months ago
- An analysis of the Warbird virtual-machine protection for the CI!g_pStore☆246Updated 7 years ago
- ☆173Updated 2 years ago
- Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.☆454Updated 2 years ago
- Ghidra utilities for analyzing PC firmware☆417Updated 2 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 6 months ago
- Visualize the virtual address space of a Windows process on a Hilbert curve.☆299Updated 4 years ago
- Snapshot-based coverage-guided windows kernel fuzzer☆317Updated 3 years ago
- A lightweight dynamic instrumentation library☆1,215Updated this week
- Linux i386 tool to load and execute ME modules.☆131Updated 4 years ago
- An architecture-agnostic ELF file flattener for shellcode☆218Updated 3 years ago
- Ghidra Analysis Enhancer 🐉☆296Updated 4 years ago
- IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible☆590Updated last month
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆520Updated 4 years ago
- ☆426Updated 3 months ago
- ☆1,490Updated 2 years ago