CodeQL library for Java/Kotlin

codeql/java-all 5.0.1-dev (changelog, source)

Module RangeStage

Import path

import codeql.rangeanalysis.RangeAnalysis

Imports

RangeAnalysisPublic

Predicates

bounded
initialBounded	Holds if `b + delta` is a valid bound for `e`. - `upper = true` : `e <= b + delta` - `upper = false` : `e >= b + delta`
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 `CondReason` if the bound is due to a specific condition, or `NoReason` if the bound is inferred without going through a bounding condition.

Parameters

Location		LocationSig
Sem		Semantic
D		DeltaSig
Bounds		BoundSig<RangeStage::Location, RangeStage::Sem, RangeStage::D>
OverflowParam		OverflowSig<RangeStage::Sem, RangeStage::D>
LangParam		LangSig<RangeStage::Sem, RangeStage::D>
SignAnalysis		SignAnalysisSig<RangeStage::Sem>
ModulusAnalysisParam		ModulusAnalysisSig<RangeStage::Sem>