cattius / opcodetester
Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel
☆45Updated 5 years ago
Alternatives and similar repositories for opcodetester:
Users that are interested in opcodetester are comparing it to the libraries listed below
- Linux i386 tool to load and execute ME modules.☆131Updated 4 years ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆51Updated 4 years ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆86Updated 3 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆337Updated 6 years ago
- QEMU with support for CHERI☆58Updated 2 weeks ago
- IPC scripts for access to Intel CRBUS☆118Updated 3 years ago
- RISC-V Instruction Set Metadata☆41Updated 6 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆175Updated this week
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 8 years ago
- Tools to process ARM's Machine Readable Architecture Specification☆126Updated 5 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆26Updated 7 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- resurrected LLVM "C Backend", with improvements☆127Updated 4 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Docs and resources on CPU Speculative Execution bugs☆373Updated 7 years ago
- GLM uCode dumps☆282Updated 4 years ago
- ☆113Updated last year
- LLVM backend for m88k architecture☆49Updated last month
- Fork of LLVM adding CHERI support☆51Updated this week
- Microcode parser for AMD, Intel, and VIA processors☆134Updated 9 years ago
- Semantics of x86-64 in K☆147Updated 5 years ago
- Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren☆58Updated 2 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆86Updated 6 years ago
- Minimal RarVM Toolchain☆232Updated 9 years ago
- Ortega FDK☆76Updated last year
- The Mickey Mouse of dynamic linkers☆14Updated 3 weeks ago
- Snapshot of the vectorized MMU that lines up with the vectorized MMU blog☆22Updated 4 years ago
- EFI Byte Code Virtual Machine in userspace☆77Updated 2 years ago
- The Antikernel operating system project☆117Updated 4 years ago