Control Flow Entanglement with Data Flow
TechniqueFirst 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 connectionsCascade entangles control flows with data flows to improve fuzzing and bug detection.
Cascade entangles data and control flows to detect bugs via non-termination
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.
Control flow entanglement with data flow is achieved through asymmetric ISA pre-simulation.
Asymmetric ISA pre-simulation is the method used to implement control flow entanglement with data flow.
Entangling data flows into control flows enables transforming data-flow bug symptoms into program non-termination.
Bug detection via non-termination depends on control flow being entangled with data flow.