CodeQL library for C/C++
Search

Predicate boundsCheckExpr

Holds if either:

  • cond is an (in)equality expression that compares the variable v to the value -1, or
  • cond is a relational expression that compares the variable v to a constant.

Import path

import Critical.Negativity
predicate boundsCheckExpr(Variable v, Expr cond)