CodeQL library for C#
codeql/csharp-all 0.7.4 ( changelog , source )

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 )