SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs (ICCAD 2023)
☆23Dec 5, 2024Updated last year
Alternatives and similar repositories for surgefuzz
Users that are interested in surgefuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Updated this week
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆52Apr 22, 2025Updated last year
- Project Repo for the Simulator Independent Coverage Research☆21Feb 28, 2023Updated 3 years ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated 3 months ago
- ☆36Mar 31, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Fuzzing for SpinalHDL☆17Oct 10, 2022Updated 4 years ago
- Fuzz everything! Now let's fuzz chip!☆46Jun 5, 2026Updated 4 months ago
- Automated Vulnerability Detection Framework for Transient Execution Vulnerabilities (IEEE S&P '26)☆38Apr 17, 2026Updated 6 months ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆28Sep 28, 2026Updated 2 weeks ago
- ☆101May 27, 2024Updated 2 years ago
- A Modular Open-Source Hardware Fuzzing Framework☆38Dec 14, 2021Updated 4 years ago
- ☆26Mar 1, 2023Updated 3 years ago
- ☆23Mar 12, 2026Updated 7 months ago
- Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)☆144Aug 30, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆28Mar 8, 2026Updated 7 months ago
- Filelist generator☆21Updated this week
- A tool for detecting Spectre vulnerabilities through fuzzing☆46Aug 25, 2021Updated 5 years ago
- A curated list of research and repositories on the novel technique of hardware fuzzing☆29Aug 9, 2026Updated 2 months ago
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆69Oct 28, 2024Updated last year
- Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown …☆15Jan 17, 2025Updated last year
- ☆18Jul 11, 2021Updated 5 years ago
- ☆58Jul 21, 2023Updated 3 years ago
- Hack@DAC 2021☆21Jul 24, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Automated Repair of Verilog Hardware Descriptions☆39Jan 16, 2025Updated last year
- LLM Evaluation Benchmark on Hardware Formal Verification☆45Apr 3, 2025Updated last year
- Sth in Control-Flow Integrity☆19Dec 25, 2018Updated 7 years ago
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 4 years ago
- ☆21Jun 12, 2024Updated 2 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆64Aug 4, 2026Updated 2 months ago
- The Unified TileLink Memory Subsystem Tester for XiangShan☆15Aug 28, 2026Updated last month
- ☆16Nov 14, 2023Updated 2 years ago
- SystemVerilog language server client for Visual Studio Code☆23Dec 30, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆62May 16, 2025Updated last year
- Source code of the paper "FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization"☆17Jan 6, 2026Updated 9 months ago
- Code repository for Coppelia tool☆22Nov 12, 2020Updated 5 years ago
- IOPMP IP☆26Jul 11, 2025Updated last year
- Binary Ninja plugin to perform automated analysis of Windows drivers☆20Aug 8, 2019Updated 7 years ago
- afl-pytmin is a wrapper of afl-tmin, test case minimizer for American Fuzzy Lop (afl).☆13Apr 14, 2017Updated 9 years ago
- ☆79Mar 7, 2024Updated 2 years ago