CodeQL library for Java/Kotlin

codeql/java-all 8.1.0 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

TSemNoReason

Import path

Module RangeStage

Imports

RangeAnalysisPublic

Predicates

potentiallyOverflowingExpr

Classes

Parameters

Location

Sem

D

Bounds

OverflowParam

LangParam

SignAnalysis

ModulusAnalysisParam

Type RangeStage::TSemNoReason

Import path

import codeql.rangeanalysis.RangeAnalysis

Copyright 2026 GitHub Software UK Ltd.Privacy Statement