INSTILLER
ToolNo verifiable technical information about INSTILLER was provided in the available evidence.
First seen 5/24/2026
Last seen 7/11/2026
Evidence 9 chunks
Wiki v1
WIKI
INSTILLER
INSTILLER is identified as an entity of kind Tool in the request, but no evidence, public context, or related entities were provided. As a result, no technical description, capabilities, architecture, usage, integrations, or provenance can be documented from the supplied materials.
Evidence status
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
34 connectionsInstiller implements realistic interruption and exception simulation in its fuzzing process.
Instiller implements input instruction distillation to shorten and improve the effectiveness of input instructions.
Instiller is experimentally compared against DiFuzzRTL, showing improvements in coverage, mismatch detection, and instruction length.
Instiller implements a variant of ant colony optimization (VACO) for input instruction distillation.
Instiller is an RTL fuzzer that implements the RTL fuzzing technique for CPU bug detection.
Instiller implements hardware-based seed selection to improve fuzzing performance.
Instiller is evaluated on its ability to detect CPU bugs through RTL fuzzing experiments.
Instiller uses hardware-based seed selection strategies to improve fuzzing performance.
Instiller is based on ant colony optimization for distilling input instructions.
Instiller simulates realistic interruptions and exceptions to better cover CPU states.
Instiller uses a variant of ACO (VACO) to distill input instructions.
Instiller uses input instruction distillation to keep input instruction length short and efficient.
Instiller implements hardware-based mutation to improve fuzzing performance.
Instiller uses hardware-based mutation strategies to improve fuzzing performance.
Instiller targets RTL designs for CPU verification.
INSTILLER uses VACO, a variant of ACO, to distill input instructions.
INSTILLER distills input instructions using VACO to keep input length short.
INSTILLER solves the problem of inserting interruptions and exceptions in generating inputs.
Instiller is evaluated by measuring the number of mismatches detected compared to DiFuzzRTL.
Instiller implements hardware-based mutation strategies to improve fuzzing performance.
INSTILLER proposes hardware-based mutation strategies to improve fuzzing performance.
The paper proposes INSTILLER (Instruction Distiller) as the main contribution.
Instiller introduces input instruction distillation as a novel contribution.
Instiller introduces hardware-based mutation as a novel contribution.
Instiller introduces hardware-based seed selection as a novel contribution.
Instiller uses coverage as a primary metric to evaluate its fuzzing effectiveness.
Instiller is a fuzzer that implements fuzz testing for CPU RTL verification.
Instiller measures code coverage as a key evaluation metric, achieving 29.4% more coverage than DiFuzzRTL.
Instiller conducts experiments against real-world target CPU cores for bug detection evaluation.
Instiller is designed for CPU bug detection through RTL fuzzing.
Instiller is evaluated by measuring coverage improvement over DiFuzzRTL.
INSTILLER is an RTL fuzzing tool aimed at efficient and realistic RTL fuzzing.
RISCSmith: Finding RISC-V CPU Bugs via Rich Instruction Construction and On-the-fly Differential Analysis ← mentions 100% 1e
The paper mentions INSTILLER as related work in RTL fuzzing.
Instiller implements the Instruction Distillation technique to keep input instruction length short and efficient.','description':'Instiller is named after its core technique of distilling input instructions.','confidence':0.97},{'src_label':'Tool','src_name':'Instiller','relation_type':'USES','dst_label':'Technique','dst_name':'Ant Colony Optimization','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'an RTL fuzzer based on ant colony optimization (ACO)','claim':'Instiller uses Ant Colony Optimization as its underlying algorithmic framework.','description':'ACO is the foundational optimization technique upon which Instiller is built.','confidence':0.98},{'src_label':'Tool','src_name':'Instiller','relation_type':'USES','dst_label':'Technique','dst_name':'Variant Ant Colony Optimization','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'it distills input instructions with a variant of ACO (VACO)','claim':'Instiller uses a Variant of ACO (VACO) specifically to distill input instructions.','description':'VACO is the specific variant of ACO used by Instiller for instruction distillation.','confidence':0.98},{'src_label':'Tool','src_name':'Instiller','relation_type':'IMPLEMENTS','dst_label':'Technique','dst_name':'RTL Fuzzing','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'we propose Instiller (Instruction Distiller), an RTL fuzzer','claim':'Instiller implements RTL Fuzzing as its primary testing methodology.','description':'Instiller is described as an RTL fuzzer targeting CPU hardware.','confidence':0.97},{'src_label':'Tool','src_name':'Instiller','relation_type':'USES','dst_label':'Concept','dst_name':'Hardware Seed Selection','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'we propose hardware-based seed selection and mutation strategies','claim':'Instiller uses hardware-based seed selection to improve fuzzing performance.','description':'Hardware seed selection is one of the strategies proposed to enhance Instiller performance.','confidence':0.95},{'src_label':'Tool','src_name':'Instiller','relation_type':'USES','dst_label':'Concept','dst_name':'Hardware Mutation Strategy','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'we propose hardware-based seed selection and mutation strategies','claim':'Instiller uses hardware-based mutation strategies to improve fuzzing performance.','description':'Hardware mutation strategy is one of the strategies proposed to enhance Instiller performance.','confidence':0.95},{'src_label':'Tool','src_name':'Instiller','relation_type':'USES','dst_label':'Concept','dst_name':'Interrupt and Exception Injection','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'Instiller solves the problem of inserting interruptions and exceptions in generating the inputs','claim':'Instiller uses interrupt and exception injection to simulate realistic interruptions during fuzzing.','description':'Instiller addresses a gap in prior work by properly injecting interrupts and exceptions into generated inputs.','confidence':0.96},{'src_label':'Tool','src_name':'Instiller','relation_type':'EVALUATES','dst_label':'Concept','dst_name':'CPU Bug Detection','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'17.0% more mismatches are detected by Instiller','claim':'Instiller is evaluated for its effectiveness in CPU bug detection.','description':'Instiller targets CPU bug detection and is measured by the number of mismatches it detects.','confidence':0.95},{'src_label':'Tool','src_name':'Instiller','relation_type':'EVALUATES','dst_label':'Concept','dst_name':'CPU Core','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'conduct extensive experiments against state-of-the-art fuzzing work in real-world target CPU cores','claim':'Instiller is evaluated against real-world target CPU cores.','description':'Instiller targets real CPU core implementations at the RTL level.','confidence':0.95},{'src_label':'Tool','src_name':'Instiller','relation_type':'COMPARES_WITH','dst_label':'Tool','dst_name':'DiFuzzRTL','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'Instiller has 29.4% more coverage than DiFuzzRTL','claim':'Instiller is compared against DiFuzzRTL and outperforms it in coverage and mismatch detection.','description':'DiFuzzRTL is the state-of-the-art baseline against which Instiller is benchmarked.','confidence':0.97},{'src_label':'Tool','src_name':'Instiller','relation_type':'USES','dst_label':'Concept','dst_name':'Register Transfer Level','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'an RTL fuzzer based on ant colony optimization','claim':'Instiller operates at the Register Transfer Level for hardware fuzzing.','description':'Instiller works on RTL inputs, which are register transfer level descriptions of hardware.','confidence':0.96},{'src_label':'Technique','src_name':'Variant Ant Colony Optimization','relation_type':'DERIVED_FROM','dst_label':'Technique','dst_name':'Ant Colony Optimization','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'it distills input instructions with a variant of ACO (VACO)','claim':'Variant Ant Colony Optimization is derived from Ant Colony Optimization.','description':'VACO is a modification of the standard ACO algorithm tailored for instruction distillation.','confidence':0.97},{'src_label':'Technique','src_name':'Instruction Distillation','relation_type':'USES','dst_label':'Technique','dst_name':'Variant Ant Colony Optimization','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'it distills input instructions with a variant of ACO (VACO)','claim':'Instruction Distillation uses Variant Ant Colony Optimization as its core algorithm.','description':'VACO drives the instruction distillation process in Instiller.','confidence':0.96},{'src_label':'Technique','src_name':'RTL Fuzzing','relation_type':'USES','dst_label':'Concept','dst_name':'Register Transfer Level','evidence_chunk_ids':['8d39cccc-1a05-4d64-85ce-152478b1e950'],'quote':'the length of register transition level (RTL) input instructions keeps growing','claim':'RTL Fuzzing operates on Register Transfer Level input instructions.','description':'RTL Fuzzing is defined by its use of register transfer level hardware descriptions as inputs.','confidence':0.95}]},