Skip to content
STIMSMITH

GenDataExpr Function

CodeArtifact
First seen 6/18/2026
Last seen 6/18/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
Efficient Memory Model (EMM) part of → 90% 2e
GenDataExpr is part of the EMM for generating initial memory state expressions.
ShadowRead Operation ← uses 100% 1e
ShadowRead calls GenDataExpr to generate initial data set expressions.
Variable-Group Indexing uses → 90% 1e
GenDataExpr implements the variable-group indexing technique.