Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RISC-V CPUs".
☆23Nov 11, 2025Updated 3 months ago
Alternatives and similar repositories for RISCover
Users that are interested in RISCover are comparing it to the libraries listed below
Sorting:
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆36Oct 17, 2025Updated 4 months ago
- Python 3 wrapper module for 3D ACIS Modeler☆15Jan 21, 2018Updated 8 years ago
- ☆11Jan 9, 2021Updated 5 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Updated this week
- Photonic Quantum Machine Learning Framework☆18Feb 18, 2026Updated last week
- Sample code for ret2usr (and ret2dir) kernel attacks☆10Nov 23, 2016Updated 9 years ago
- Minimal example to demonstrate non-sequentially consistent executions on x86/x64☆13Jan 12, 2018Updated 8 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆16Feb 17, 2026Updated last week
- The holy grail of preprocessor metaprogramming : (actually) turing complete macros☆10Mar 11, 2022Updated 3 years ago
- ☆26Updated this week
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Updated this week
- A safe & fast low-level language.☆13Feb 6, 2026Updated 3 weeks ago
- GNU toolchain for RISC-V, including GCC☆14Mar 21, 2024Updated last year
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆17Nov 25, 2025Updated 3 months ago
- CPU/Battery power management tool for Linux systems☆32Feb 13, 2026Updated 2 weeks ago
- A Zig Shell☆13Jul 25, 2025Updated 7 months ago
- Java pseudo-random number generation code with minimal dependencies.☆14Feb 21, 2026Updated last week
- Sample code for matrix transposition in Vulkan☆15Sep 19, 2022Updated 3 years ago
- PULP C910, a superscalar out-of-order RISC-V core adapted from T-Head's openC910 (Alibaba Group) and integrated into the PULP ecosystem w…☆15Jun 11, 2025Updated 8 months ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Feb 12, 2026Updated 2 weeks ago
- RenameLocalVars is an IDA plugin that renames local variables to something easier to read.☆15Jul 9, 2023Updated 2 years ago
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆17Feb 13, 2026Updated 2 weeks ago
- This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…☆11Aug 3, 2022Updated 3 years ago
- Advanced ANSI style & color support for your terminal applications☆18Feb 9, 2026Updated 2 weeks ago
- An in-depth guide to getting started with SDL2 in the C Language☆25Mar 4, 2024Updated last year
- Toy OS written in Zig☆10Sep 25, 2025Updated 5 months ago
- Light-weight MIPS R4000 and RISC-V system simulator☆19Dec 16, 2025Updated 2 months ago
- ☆21Sep 26, 2025Updated 5 months ago
- Extended fork of MenuetOS (32 bit)☆19Aug 17, 2024Updated last year
- USDQ Stablecoin by Q DAO v1.0☆17Apr 24, 2019Updated 6 years ago
- Mojo Miji | A guide to Mojo programming language from a Pythonista's perspective | Mojo 秘籍☆26Feb 19, 2026Updated last week
- A small embeddable Lisp for the Zig ecosystem λ☆26Feb 8, 2026Updated 2 weeks ago
- The Montreal Haskell Compiler☆26Oct 16, 2025Updated 4 months ago
- A new programming language☆26May 27, 2025Updated 9 months ago
- A system information viewer for the COSMIC™ Desktop☆19Jan 31, 2026Updated 3 weeks ago
- ☆20Nov 17, 2023Updated 2 years ago
- A terminal manipulation library written in Zig.☆21Dec 6, 2025Updated 2 months ago
- Prediction algorithms for the PCG pseudo-random generator☆14Nov 13, 2020Updated 5 years ago
- Configurable draw distance for Hitman Codename 47☆12Aug 20, 2015Updated 10 years ago