Predicate signature DataFlow :: guardChecksSig
Holds if the guard g validates the expression e upon evaluating to branch.
The expression e is expected to be a syntactic part of the guard g.
For example, the guard g might be a call isSafe(x) and the expression e
the argument x.
Import path
import semmle.code.java.dataflow.DataFlow
signature
predicate
guardChecksSig
(
Guard
g
,
Expr
e
,
boolean
branch
)