Predicate DataFlow :: simpleLocalFlowStep
INTERNAL: do not use.
This is the local flow predicate that’s used as a building block in global
data flow. It may have less flow than the localFlowStep predicate.
Import path
import semmle.code.java.dataflow.DataFlow
predicate
simpleLocalFlowStep
(
Node
node1
,
Node
node2
)