Module BoundingChecks

Provides classes and predicates for determining upper and lower bounds on a value determined by bounding checks that have been made on dominant paths.

Import path

Security.CWE.CWE-129.BoundingChecks

Imports

java

Provides all default Java QL imports.

Predicates

lessthanLength

Holds if the index expression is a VarAccess, where the variable has been confirmed to be less than the length.

lowerBound

Determine an inclusive lower-bound - if possible - for the value accessed by the given VarAccess, based upon the conditionals that hold at the point the variable is accessed.