CodeQL library for C/C++
codeql/cpp-all 0.9.3 ( changelog , source )

Predicate bounded

Holds if e is bounded by b + delta. The bound is an upper bound if upper is true, and can be traced back to a guard represented by reason.

Import path

predicate bounded ( Expr e , Bound b , float delta , boolean upper , Reason reason )