can1357 / haruspexLinks
Exploration of x86-64 ISA using speculative execution.
☆316Updated 3 weeks ago
Alternatives and similar repositories for haruspex
Users that are interested in haruspex are comparing it to the libraries listed below
Sorting:
- ☆370Updated 2 years ago
- The first analysis framework for CPU microcode☆412Updated 2 years ago
- A differential fuzzer for x86 decoders☆260Updated this week
- GLM uCode dumps☆295Updated 5 years ago
- ☆118Updated 2 years ago
- Visualize the virtual address space of a Windows process on a Hilbert curve.☆307Updated 4 years ago
- IPC scripts for access to Intel CRBUS☆121Updated 4 years ago
- The x86 processor fuzzer☆521Updated 7 years ago
- bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, des…☆1,009Updated last week
- Rellic produces goto-free C output from LLVM bitcode☆586Updated 2 weeks ago
- Intel Management Engine JTAG Proof of Concept☆145Updated 5 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆355Updated 7 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Updated 4 years ago
- Simpleator ("Simple-ator") is an innovative Windows-centric x64 user-mode application emulator that leverages several new features that w…☆395Updated 7 years ago
- IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible☆677Updated last year
- An analysis of the Warbird virtual-machine protection for the CI!g_pStore☆260Updated 7 years ago
- Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.☆456Updated 3 years ago
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆404Updated 2 years ago
- High-performance QEMU memory and instruction tracing☆550Updated last year
- anvill forges beautiful LLVM bitcode out of raw machine code☆364Updated last year
- Arbitrary Speculative Code Execution with Return Instructions☆176Updated 2 years ago
- Ghidra analyzer for UEFI firmware.☆385Updated last year
- GIMPLE obfuscator for C, C++, Go, ... all supported GCC targets and front-ends that use GIMPLE.☆403Updated 5 years ago
- Why fuzzing with emulators is amazing☆142Updated 5 years ago
- The research UEFI hypervisor that supports booting an operating system.☆700Updated last year
- A hypervisor for fuzzing built with WHVP and Bochs☆380Updated 6 years ago
- A C library and binary for generating machine code of x86_64 assembly language and executing on the fly without invoking another compiler…☆202Updated 11 months ago
- ☆174Updated 3 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆88Updated 2 years ago
- An event driven multi-core process debugging, tracing, and manipulation framework.☆175Updated 6 years ago