Predicate Make::DataFlowIntegration::localMustFlowStep
Holds if the value of nodeTo is given by nodeFrom.
Import path
import codeql.ssa.Ssapredicate localMustFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo)Holds if the value of nodeTo is given by nodeFrom.
import codeql.ssa.Ssapredicate localMustFlowStep(DefinitionExt def, Node nodeFrom, Node nodeTo)