SiliFuzz
ToolFirst seen 7/18/2026
Last seen 7/18/2026
Evidence 12 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
33 connectionsSiliFuzz targets silent data corruption issues in CPUs that do not cause immediate observable failures.
SiliFuzz Checker is a component of SiliFuzz that runs multiple snapshots efficiently at scale.
SiliFuzz detected and reports the F2XM1 defect as one of the CPU defects found.
SiliFuzz performs cross-pollination between corpora generated by different proxies.
SiliFuzz uses libFuzzer to fuzz XED and Unicorn as proxies for snapshot generation.
SiliFuzz fuzzes XED as a proxy to generate instruction sequences for testing CPUs.
SiliFuzz uses Unicorn as a CPU emulator proxy for generating instruction sequences.
SiliFuzz uses ifuzz to generate random instruction sequences for the corpus.
SiliFuzz accumulates a corpus of test inputs to execute on real CPUs at scale.
SiliFuzz represents and executes test inputs as snapshots.
SiliFuzz cross-validates different CPU cores, which is a form of differential testing.
SiliFuzz heavily relies on coverage-guided mutation-based fuzzing advances.
SiliFuzz uses snapshots as the core format for representing test inputs and replaying them on CPUs.
SiliFuzz finds CPU defects by fuzzing software proxies such as simulators and disassemblers.
SiliFuzz uses CPU emulators as proxies to generate interesting instruction sequences.
SiliFuzz is designed to find and evaluate CPU electrical defects in production hardware.
The paper introduces SiliFuzz as a work-in-progress system for finding CPU defects via proxy fuzzing.
SiliFuzz applied libFuzzer to Unicorn in a setup similar to fuzz_emu_x86_64.c.
SiliFuzz eliminates nondeterminism by tracing all snapshots and verifying deterministic replay.
SiliFuzz records the end state of each snapshot execution to detect CPU defects.
SiliFuzz uses a quarantine pool to isolate and analyze defective machines.
SiliFuzz includes a feedback loop between known bad machines and the fuzzing system.
SiliFuzz detected a class of defects related to illegal instruction overshooting.
SiliFuzz detected a defect where FCOS produces incorrect results on some machines.
SiliFuzz detected a defect where the x87 data pointer is not consistently updated.
SiliFuzz discusses corpus distillation as a future quality improvement strategy.
SiliFuzz references register scrambling as an expected effective snapshot mutation strategy.
SiliFuzz mentions gem5 as a potential proxy for fuzzing microarchitectural models.
SiliFuzz mentions Simics as a potential proxy for fuzzing microarchitectural models.
SiliFuzz notes it does not have access to RTL design of target CPUs, distinguishing its approach.
SiliFuzz uses ifuzz-generated instruction sequences as a dictionary for fuzzing Unicorn.
SiliFuzz aims to improve testing by inheriting microarchitectural state from previously executed snapshots.
The XED libFuzzer integration is part of SiliFuzz's snapshot generation pipeline.