can1357 / haruspexLinks
Exploration of x86-64 ISA using speculative execution.
☆314Updated 4 years ago
Alternatives and similar repositories for haruspex
Users that are interested in haruspex are comparing it to the libraries listed below
Sorting:
- ☆364Updated last year
- The first analysis framework for CPU microcode☆396Updated 2 years ago
- A differential fuzzer for x86 decoders☆250Updated 9 months ago
- Visualize the virtual address space of a Windows process on a Hilbert curve.☆301Updated 4 years ago
- GLM uCode dumps☆289Updated 5 years ago
- IPC scripts for access to Intel CRBUS☆120Updated 3 years ago
- The x86 processor fuzzer☆509Updated 6 years ago
- ☆113Updated last year
- bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, des…☆971Updated 2 weeks ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- Rellic produces goto-free C output from LLVM bitcode☆573Updated 2 months ago
- Why fuzzing with emulators is amazing☆139Updated 4 years ago
- Ghidra analyzer for UEFI firmware.☆352Updated last year
- Simpleator ("Simple-ator") is an innovative Windows-centric x64 user-mode application emulator that leverages several new features that w…☆372Updated 6 years ago
- An analysis of the Warbird virtual-machine protection for the CI!g_pStore☆252Updated 7 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆342Updated 6 years ago
- Intel Management Engine JTAG Proof of Concept☆142Updated 5 years ago
- ☆172Updated 3 years ago
- Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.☆458Updated 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☆634Updated 6 months ago
- Arbitrary Speculative Code Execution with Return Instructions☆160Updated last year
- The research UEFI hypervisor that supports booting an operating system.☆650Updated 11 months ago
- High-performance QEMU memory and instruction tracing☆542Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 10 months ago
- A hypervisor for fuzzing built with WHVP and Bochs☆377Updated 6 years ago
- Safely execute an arbitrary x86 instruction☆181Updated last year
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆395Updated 2 years ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆86Updated 2 years ago
- This is an instruction to run your own SMM code.☆108Updated 4 years ago
- Lightweight type-1 hypervisor offering a foundation for building advanced security-focused functionality.☆271Updated 6 months ago