FENCE.I instruction
ConceptFENCE.I is discussed in the evidence as a RISC-V instruction whose incorrect handling can create processor-verification and security-relevant failures. TheHuzz reports a case where Ariane treated FENCE.I as an illegal instruction, diverging from Spike and producing a non-compliant RISC-V ISA behavior; a later ARCUS survey lists “Incorrect decoding of FENCE.I instruction” as a CVA6 vulnerability mapped to CWE-440 and evaluated by fuzzers including TheHuzz, HypFuzz, PSOFuzz, and MABFuzz.
WIKI
Overview
FENCE.I is a RISC-V instruction discussed in the hardware-fuzzing evidence in the context of instruction-cache invalidation and instruction-stream behavior. In a TheHuzz-reported scenario, Spike identified the FENCE.I instruction and, when it did not recognize an extension, fell back to flushing the entire cache; by contrast, Ariane failed to recognize FENCE.I and marked it as an illegal instruction, which the paper describes as non-compliant with the RISC-V ISA.[C1]
Verification and security relevance
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →