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