Skip to content
STIMSMITH

Control Flow Entanglement with Data Flow

Technique
First seen 6/14/2026
Last seen 9/16/2026
Evidence 13 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

8 connections
Cascade ← implements 100% 4e
Cascade entangles control flows with data flows to improve fuzzing and bug detection.
Cascade ← uses 100% 3e
Cascade entangles data and control flows to detect bugs via non-termination
program non-termination as bug detection implements → 100% 2e
Control flow entanglement with data flow enables program non-termination as a bug detection mechanism
The paper introduces control flow entanglement with data flow as a key technique of Cascade.
Asymmetric ISA Pre-Simulation depends on → 100% 2e
Control flow entanglement with data flow is achieved through asymmetric ISA pre-simulation.
Asymmetric ISA Pre-Simulation ← implements 100% 2e
Asymmetric ISA pre-simulation is the method used to implement control flow entanglement with data flow.
Bug-Triggered Program Non-Termination implements → 100% 2e
Entangling data flows into control flows enables transforming data-flow bug symptoms into program non-termination.
bug detection via program non-termination ← depends on 100% 1e
Bug detection via non-termination depends on control flow being entangled with data flow.