HyPFuzz

Tool

First seen 6/11/2026

Last seen 8/27/2026

Evidence 16 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

22 connections

Formal Verification implements → 100% 3e

HyPFuzz couples a formal verifier with a fuzzer for processor verification.

hardware fuzzing implements → 90% 2e

HyPFuzz is a hardware fuzzer used to generate seeds.

Cascade ← compares with 85% 2e

Cascade discovers bugs undetected by HypFuzz

Cascade: CPU fuzzing via intricate program generation ← mentions 90% 1e

The paper mentions HypFuzz as a related tool that Cascade outperforms.

FuSS: Coverage-Directed Hardware Fuzzing with Selective Symbolic Execution ← mentions 90% 1e

The paper mentions HyPFuzz as a related work combining formal verification with fuzzing.

Processor Fuzzing implements → 100% 1e

HyPFuzz is a formal-assisted processor fuzzing tool.

Prelude: Priming-Guided State Reconstruction for Efficient FPGA Processor Debugging ← mentions 90% 1e

The paper cites HyPFuzz as related work.

CVA6 evaluates → 95% 1e

HypFuzz is evaluated against vulnerabilities found in CVA6.

fence.i Instruction evaluates → 90% 1e

HypFuzz detects the incorrect decoding of FENCE.I instruction vulnerability in CVA6.

cache coherency violation evaluates → 90% 1e

HypFuzz detects the cache coherency violation vulnerability in CVA6.

TheHuzz uses → 100% 1e

HyPFuzz couples with TheHuzz by sharing seeds.

illegal instruction execution evaluates → 90% 1e

HypFuzz detects the illegal instruction execution vulnerability in CVA6.

instruction queue exception evaluates → 90% 1e

HypFuzz detects the incorrect exception type in instruction queue vulnerability.

WhisperFuzz ← uses 100% 1e

WhisperFuzz uses HyPFuzz to generate seeds for its Operand mutator.

invalid address exception evaluates → 90% 1e

HypFuzz detects the incorrect exception while accessing invalid address vulnerability.

multiply instruction decoding evaluates → 90% 1e

HypFuzz detects the incorrect decoding of multiply instructions vulnerability.

CSR X-value access evaluates → 90% 1e

HypFuzz detects the CSR X-value access vulnerability in CVA6.

stimulus-driven hardware fuzzing uses → 75% 1e

HypFuzz is a hardware fuzzing tool that uses stimulus-driven fuzzing techniques.

Hybrid hardware fuzzing implements → 90% 1e

It integrates formal tools with fuzzing to improve coverage.

TheHuzz compares with → 95% 1e

TheHuzz and HypFuzz are compared in terms of test cases needed to detect CVA6 vulnerabilities.

Fine-Grained Code Analysis for Processor Fuzzing ← compares with 80% 1e

The paper compares its approach against HyPFuzz.

JasperGold uses → 90% 1e

HyPFuzz integrates JasperGold as a formal tool to assist fuzzing.