Predicate DataFlow::simpleAstFlowStep
Holds if there is a data flow step from e1 to e2 that only steps from
child to parent in the AST.
Import path
import semmle.code.java.dataflow.DataFlowpredicate simpleAstFlowStep(Expr e1, Expr e2)Holds if there is a data flow step from e1 to e2 that only steps from
child to parent in the AST.
import semmle.code.java.dataflow.DataFlowpredicate simpleAstFlowStep(Expr e1, Expr e2)