can1357 / haruspexLinks
Exploration of x86-64 ISA using speculative execution.
☆312Updated 4 years ago
Alternatives and similar repositories for haruspex
Users that are interested in haruspex are comparing it to the libraries listed below
Sorting:
- ☆363Updated last year
- A differential fuzzer for x86 decoders☆250Updated 8 months ago
- The first analysis framework for CPU microcode☆394Updated 2 years 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
- ☆113Updated last year
- bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, des…☆970Updated 3 months ago
- IPC scripts for access to Intel CRBUS☆119Updated 3 years ago
- The x86 processor fuzzer☆509Updated 6 years ago
- Rellic produces goto-free C output from LLVM bitcode☆563Updated last month
- Intel Management Engine JTAG Proof of Concept☆141Updated 5 years ago
- Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.☆456Updated 2 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 10 months ago
- High-performance QEMU memory and instruction tracing☆542Updated 11 months ago
- Arbitrary Speculative Code Execution with Return Instructions☆161Updated last year
- IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible☆623Updated 5 months ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆342Updated 6 years ago
- Simpleator ("Simple-ator") is an innovative Windows-centric x64 user-mode application emulator that leverages several new features that w…☆371Updated 6 years ago
- Why fuzzing with emulators is amazing☆138Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- ☆172Updated 3 years ago
- An analysis of the Warbird virtual-machine protection for the CI!g_pStore☆250Updated 7 years ago
- A hypervisor for fuzzing built with WHVP and Bochs☆377Updated 6 years ago
- A super simple RV32i JIT, designed for ease of understanding and modification☆85Updated 2 years ago
- GIMPLE obfuscator for C, C++, Go, ... all supported GCC targets and front-ends that use GIMPLE.☆401Updated 4 years ago
- The research UEFI hypervisor that supports booting an operating system.☆645Updated 10 months ago
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆387Updated 2 years ago
- Safely execute an arbitrary x86 instruction☆180Updated last year
- Snapshot-based coverage-guided windows kernel fuzzer☆320Updated 3 years ago
- An event driven multi-core process debugging, tracing, and manipulation framework.☆175Updated 5 years ago