Predicate signature TypeFlowInput::step
Holds if data can flow from n1
to n2
in one step.
For a given n2
, this predicate must include all possible n1
that can flow to n2
.
signature predicate step(TypeFlowNode n1, TypeFlowNode n2)
Holds if data can flow from n1
to n2
in one step.
For a given n2
, this predicate must include all possible n1
that can flow to n2
.
signature predicate step(TypeFlowNode n1, TypeFlowNode n2)