Predicate DataFlow::localExprFlow
Holds if data can flow from e1
to e2
in zero or more
local (intra-procedural) steps.
Import path
import ruby
predicate localExprFlow(ExprCfgNode e1, ExprCfgNode e2)
Holds if data can flow from e1
to e2
in zero or more
local (intra-procedural) steps.
import ruby
predicate localExprFlow(ExprCfgNode e1, ExprCfgNode e2)