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)