Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
☆49Apr 22, 2025Updated 10 months ago
Alternatives and similar repositories for MorFuzz
Users that are interested in MorFuzz are comparing it to the libraries listed below
Sorting:
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- ☆13Feb 14, 2026Updated 2 weeks ago
- ☆25Mar 1, 2023Updated 3 years ago
- ☆102May 27, 2024Updated last year
- ☆28Mar 31, 2025Updated 11 months ago
- rfuzz: coverage-directed fuzzing for RTL research platform☆113May 12, 2022Updated 3 years ago
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆139Aug 30, 2024Updated last year
- ☆89Jan 20, 2023Updated 3 years ago
- All the tools you need to reproduce the CellIFT paper experiments☆24Feb 11, 2025Updated last year
- ☆14Sep 3, 2024Updated last year
- Run rocket-chip on FPGA☆77Nov 16, 2025Updated 3 months ago
- Code repository for Coppelia tool☆23Nov 12, 2020Updated 5 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆19Sep 12, 2024Updated last year
- Fuzzing for SpinalHDL☆17Oct 10, 2022Updated 3 years ago
- Revizor - Hardware fuzzing for the age of speculation☆179Feb 23, 2026Updated last week
- SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs (ICCAD 2023)☆23Dec 5, 2024Updated last year
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆24Jan 11, 2026Updated last month
- Data oblivious ISA prototyped on the RISC-V BOOM processor.☆23Aug 22, 2022Updated 3 years ago
- Library for structured fuzzing of ASN.1 DER/BER☆19Sep 6, 2022Updated 3 years ago
- vscode-drawio增强版,提供代码跳转功能☆10Feb 20, 2025Updated last year
- ☆27Jun 6, 2023Updated 2 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆102Updated this week
- Modern co-simulation framework for RISC-V CPUs☆171Feb 20, 2026Updated last week
- OpenCCA: An Open Framework to Enable Arm CCA Research☆20Sep 10, 2025Updated 5 months ago
- Hardware Formal Verification Tool☆88Updated this week
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- ☆20Updated this week
- ☆12Jan 13, 2025Updated last year
- Open source RTL simulation acceleration on commodity hardware☆34Apr 13, 2023Updated 2 years ago
- ☆11Aug 10, 2021Updated 4 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 7 months ago
- A Modular Open-Source Hardware Fuzzing Framework☆36Dec 14, 2021Updated 4 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Android driver for the Trusted Execution Environment <t-base☆12Sep 29, 2015Updated 10 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- A behavioural cache model for analysing the cache behaviour under side-channel attack.☆28Jun 25, 2025Updated 8 months ago
- ☆17Oct 7, 2025Updated 4 months ago
- Hack@DAC 2021☆16Jul 24, 2024Updated last year
- Hydradancer firmware supporting the Facedancer backend for the Hydradancer dongle and HydraUSB3☆23Dec 10, 2025Updated 2 months ago