Skip to content
STIMSMITH

static analysis

Technique
First seen 6/3/2026
Last seen 6/11/2026
Evidence 5 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
Code-based Test Generation for Validation of Functional Processor Descriptions ← uses 100% 2e
The paper uses static analysis to translate the hardware description into constraint stores.
STTVC ← uses 100% 2e
STTVC employs static analysis to analyze the control flow of the input description.
Fine-Grained Code Analysis for Processor Fuzzing ← introduces 95% 2e
The paper introduces a static analysis approach for extracting CFGs and dependencies from processor RTL designs.
Control Flow Graph (CFG) uses → 95% 1e
Static analysis constructs and uses the CFG for code analysis.
Basic Block (BB) uses → 90% 1e
Static analysis identifies and analyzes basic blocks in the processor RTL.