Predicate signature DataFlowMake::flowToExpr
Holds if data can flow from some source to sink
.
Import path
import codeql.dataflow.DataFlow
signature predicate flowToExpr(DataFlowExpr sink)
Holds if data can flow from some source to sink
.
import codeql.dataflow.DataFlow
signature predicate flowToExpr(DataFlowExpr sink)