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