Predicate MakeImpl::Impl::flowToExpr
Holds if data can flow from some source to sink
.
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate flowToExpr(DataFlowExpr sink)
Holds if data can flow from some source to sink
.
import codeql.dataflow.internal.DataFlowImpl
predicate flowToExpr(DataFlowExpr sink)