Skip to content
STIMSMITH

ShadowRead Operation

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

4 connections
Efficient Memory Model (EMM) part of → 90% 1e
ShadowRead is part of the EMM interface for maintaining consistent initial states.
Read Operation (EMM) extends → 90% 1e
ShadowRead extends the Read operation with shadow memory maintenance.
GenDataExpr Function uses → 100% 1e
ShadowRead calls GenDataExpr to generate initial data set expressions.
CompareForContainment Function ← uses 100% 1e
CompareForContainment calls ShadowRead to compare memory contents.