Predicate signature DataFlow::guardChecksSig
Holds if the guard g
validates the expression e
upon evaluating to v
.
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 csharp
signature predicate guardChecksSig(Guard g, Expr e, AbstractValue v)