cattius / opcodetesterLinks
Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel
☆47Updated 6 years ago
Alternatives and similar repositories for opcodetester
Users that are interested in opcodetester are comparing it to the libraries listed below
Sorting:
- Linux i386 tool to load and execute ME modules.☆136Updated 4 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆349Updated 7 years ago
- Simple Driver code for vmlaunch☆161Updated 8 years ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆89Updated 4 years ago
- Tools to process ARM's Machine Readable Architecture Specification☆136Updated 5 years ago
- QEMU with support for CHERI☆63Updated this week
- Test self-modifying code behaviour on processors for single-use JIT functions☆53Updated 5 years ago
- RISC-V Instruction Set Metadata☆41Updated 7 years ago
- Microcode parser for AMD, Intel, and VIA processors☆135Updated 9 years ago
- (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification☆28Updated 7 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- IPC scripts for access to Intel CRBUS☆120Updated 4 years ago
- ☆281Updated 2 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆191Updated this week
- A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses☆128Updated 2 years ago
- LLVM backend for m88k architecture☆51Updated 3 months ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Source code of the paper "Lord of the Ring(s): Side Channel Attacks on the CPU On-Chip Ring Interconnect Are Practical"☆144Updated 4 years ago
- GLM uCode dumps☆292Updated 5 years ago
- Microbenchmarks for x86_64 kernel entry methods☆19Updated 3 years ago
- Docs and resources on CPU Speculative Execution bugs☆376Updated 7 years ago
- Reference manual for ForwardCom instruction set and software standards☆172Updated 10 months ago
- Minimal RarVM Toolchain☆236Updated 10 years ago
- Ortega FDK☆77Updated last year
- A JIT compiler for Brainfuck running on x86_64 UEFI☆87Updated 7 years ago
- ☆33Updated last year
- Semantics of x86-64 in K☆161Updated 5 years ago
- Reworking of Agner Fog's performance test programs for Linux☆114Updated 2 weeks ago
- TRRespass☆125Updated 4 years ago
- ☆185Updated 5 years ago