CodeQL library for C/C++
codeql/cpp-all 2.0.1-dev (changelog, source)
Search

Predicate signature Make::DataFlowIntegration::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 codeql.ssa.Ssa
signature predicate guardChecksSig(Guard g, Expr e, boolean branch)