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