can1357 / haruspex
Exploration of x86-64 ISA using speculative execution.
☆307Updated 3 years ago
Alternatives and similar repositories for haruspex:
Users that are interested in haruspex are comparing it to the libraries listed below
- ☆354Updated 11 months ago
- A differential fuzzer for x86 decoders☆240Updated 2 months ago
- The first analysis framework for CPU microcode☆375Updated last year
- Intel Management Engine JTAG Proof of Concept☆141Updated 4 years ago
- GLM uCode dumps☆280Updated 4 years ago
- IPC scripts for access to Intel CRBUS☆118Updated 3 years ago
- bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, des…☆916Updated 2 months ago
- Visualize the virtual address space of a Windows process on a Hilbert curve.☆297Updated 3 years ago
- IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible☆570Updated 2 years ago
- The x86 processor fuzzer☆493Updated 6 years ago
- ☆111Updated last year
- The research UEFI hypervisor that supports booting an operating system.☆576Updated 5 months ago
- Ghidra analyzer for UEFI firmware.☆323Updated 7 months ago
- Intel Management Engine JTAG Proof of Concept☆513Updated 4 years ago
- ☆171Updated 2 years ago
- Rellic produces goto-free C output from LLVM bitcode☆545Updated 4 months ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆329Updated 6 years ago
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆374Updated last year
- Lightweight type-1 hypervisor offering a foundation for building advanced security-focused functionality.☆250Updated this week
- An analysis of the Warbird virtual-machine protection for the CI!g_pStore☆244Updated 6 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- Why fuzzing with emulators is amazing☆135Updated 4 years ago
- High-performance QEMU memory and instruction tracing☆530Updated 5 months ago
- Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.☆453Updated 2 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆345Updated 4 months ago
- Arbitrary Speculative Code Execution with Return Instructions☆157Updated 11 months ago
- This is an instruction to run your own SMM code.☆100Updated 3 years ago
- GPU rootkit PoC by Team Jellyfish☆114Updated 9 years ago
- Linux i386 tool to load and execute ME modules.☆130Updated 3 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆368Updated 5 years ago