Predicate signature DataFlowMake::GlobalFlowSig::flowToExpr
Holds if data can flow from some source to sink
.
signature predicate flowToExpr(DataFlowExpr sink)
Holds if data can flow from some source to sink
.
signature predicate flowToExpr(DataFlowExpr sink)