Predicate Make::DataFlowIntegration::localFlowStep
Holds if there is a local flow step from nodeFrom to nodeTo.
isUseStep is true when nodeFrom is a (post-update) read node and
nodeTo is a read node or phi (read) node.
Import path
import codeql.ssa.Ssapredicate localFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo, boolean isUseStep)