Interrupt and Exception Injection

Technique

Interrupt and Exception Injection is an RTL-fuzzing input-generation technique for inserting interruptions and exceptions into generated CPU test inputs. In the INSTILLER RTL fuzzer, this technique is used to make fuzzing inputs more realistic and to address limitations in prior work that could not simulate realistic interruptions well.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 3 chunks

Wiki v1

WIKI

Interrupt and Exception Injection

Overview

Interrupt and Exception Injection is a technique used during RTL-fuzzing input generation to insert interruptions and exceptions into generated inputs. The technique is described in the context of INSTILLER, an RTL fuzzer for CPU bug detection, where it is used to solve the problem of inserting interruptions and exceptions while generating fuzzing inputs. [Definition and placement]

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

1 connections

INSTILLER ← uses 100% 3e

INSTILLER solves the problem of inserting interruptions and exceptions in generating inputs.

LINKED ENTITIES

3 links

INSTILLER implemented_in The evidence states that INSTILLER solves the problem of inserting interruptions and exceptions while generating inputs.

RTL Fuzzing used_in The evidence describes INSTILLER as an RTL fuzzer and places insertion of interruptions and exceptions within generated RTL fuzzing inputs.

DiFuzzRTL evaluated_against_in_system_context The evidence reports INSTILLER's coverage, mismatch, input-length, and execution-speed results relative to DiFuzzRTL.

CITATIONS

5 sources

5 citations — click to expand

[1] Definition and placement INSTILLER: Towards Efficient and Realistic RTL Fuzzing

[2] Motivation INSTILLER: Towards Efficient and Realistic RTL Fuzzing

[3] Hardware bug detection context INSTILLER: Towards Efficient and Realistic RTL Fuzzing

[4] INSTILLER context INSTILLER: Towards Efficient and Realistic RTL Fuzzing

[5] INSTILLER results INSTILLER: Towards Efficient and Realistic RTL Fuzzing