CodeQL library for C/C++
Search

Predicate boundsChecked

Holds if the current value of the variable v at control-flow node n has been used either in:

  • an (in)equality comparison with the value -1, or
  • a relational comparison that compares v to a constant.

Import path

import Critical.Negativity
predicate boundsChecked(Variable v, ControlFlowNode node)