can1357 / haruspexLinks
Exploration of x86-64 ISA using speculative execution.
☆311Updated 4 years ago
Alternatives and similar repositories for haruspex
Users that are interested in haruspex are comparing it to the libraries listed below
Sorting:
- The first analysis framework for CPU microcode☆394Updated 2 years ago
- ☆363Updated last year
- A differential fuzzer for x86 decoders☆251Updated 8 months ago
- GLM uCode dumps☆289Updated 5 years ago
- Visualize the virtual address space of a Windows process on a Hilbert curve.☆301Updated 4 years ago
- bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, basic, x86/x64 instruction emulator, des…☆968Updated 2 months ago
- IPC scripts for access to Intel CRBUS☆119Updated 3 years ago
- The research UEFI hypervisor that supports booting an operating system.☆638Updated 10 months ago
- Ghidra analyzer for UEFI firmware.☆349Updated last year
- Intel Management Engine JTAG Proof of Concept☆141Updated 5 years ago
- ☆113Updated last year
- Decompilation as a Service. Explore multiple decompilers and compare their output with minimal effort. Upload binary, get decompilation.☆456Updated 2 years ago
- An analysis of the Warbird virtual-machine protection for the CI!g_pStore☆250Updated 7 years ago
- Why fuzzing with emulators is amazing☆138Updated 4 years ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 9 months ago
- IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible☆613Updated 4 months ago
- Simpleator ("Simple-ator") is an innovative Windows-centric x64 user-mode application emulator that leverages several new features that w…☆369Updated 6 years ago
- High-performance QEMU memory and instruction tracing☆542Updated 10 months ago
- ☆172Updated 2 years ago
- An architecture-agnostic ELF file flattener for shellcode☆218Updated 3 years ago
- Snapshot-based coverage-guided windows kernel fuzzer☆319Updated 3 years ago
- Lightweight type-1 hypervisor offering a foundation for building advanced security-focused functionality.☆261Updated 5 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- The x86 processor fuzzer☆509Updated 6 years ago
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- The fastest Intel-PT decoder for fuzzing☆370Updated last year
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆384Updated 2 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆342Updated 6 years ago
- Opcode calculator / ASM calculator☆388Updated this week
- Linux i386 tool to load and execute ME modules.☆133Updated 4 years ago