Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel
☆46May 10, 2019Updated 6 years ago
Alternatives and similar repositories for opcodetester
Users that are interested in opcodetester are comparing it to the libraries listed below
Sorting:
- XML representation of the x86 instruction set☆29Feb 15, 2026Updated 2 weeks ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- COATCheck☆13Nov 4, 2018Updated 7 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.☆11Oct 30, 2025Updated 4 months ago
- ☆12Apr 1, 2025Updated 11 months ago
- The x86_energy library allows to count power and energy values.☆12Dec 6, 2024Updated last year
- ☆13Mar 28, 2020Updated 5 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- Shows CPUID features and instruction encodings used by x86/x64 binaries☆18Jan 2, 2026Updated 2 months ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- A compiler synthesizer for simple languages.☆15Dec 18, 2018Updated 7 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆20Apr 1, 2025Updated 11 months ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆62Feb 22, 2017Updated 9 years ago
- reverse engineering branch predictors☆18Feb 28, 2016Updated 10 years ago
- A benchmark for C program verification☆17Feb 22, 2024Updated 2 years ago
- Hardware performance counter tool for Windows OS☆17Sep 4, 2018Updated 7 years ago
- Simple C library for OpenGL math aimed at readability☆15Mar 21, 2020Updated 5 years ago
- code for examining determinism of performance counters☆21Mar 18, 2021Updated 4 years ago
- RLU resizable hash-table☆17Aug 24, 2015Updated 10 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆73Mar 13, 2024Updated last year
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18May 5, 2025Updated 10 months ago
- Proof-of-concept for I See Dead Micro-Ops transient execution attack☆14Nov 3, 2021Updated 4 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Apr 21, 2020Updated 5 years ago
- Intel 8080/Zilog Z80 disassembler written in D.☆18Jun 24, 2021Updated 4 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 9 months ago
- AES-128 and DES differential fault analysis☆16Jan 20, 2021Updated 5 years ago
- ☆45Jul 19, 2023Updated 2 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- A set of synthetic benchmarks used in IEEE RTAS 2016 paper by Prathap et al.,☆18Feb 10, 2026Updated 3 weeks ago
- 😎 C standard library☆20Jul 10, 2024Updated last year
- Disassembly of the original BBC Micro version of Manic Miner☆17Mar 4, 2024Updated 2 years ago
- A survey on architectural simulators focused on CPU caches.☆16Feb 8, 2020Updated 6 years ago
- Symbolic execution tool for Sail ISA specifications☆87Feb 27, 2026Updated last week
- ☆20Sep 27, 2019Updated 6 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 9 years ago
- D bindings for libgccjit.so☆22Jul 19, 2018Updated 7 years ago