Module RangeStage
Import path
import codeql.rangeanalysis.RangeAnalysis
Imports
Predicates
bounded | |
initialBounded | Holds if |
potentiallyOverflowingExpr |
Classes
SemCondReason | A reason for an inferred bound pointing to a condition. |
SemNoReason | A reason for an inferred bound that indicates that the bound is inferred without going through a bounding condition. |
SemReason | A reason for an inferred bound. This can either be |