CodeQL library for Java/Kotlin

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

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

.

Overflow

Import path
Predicates

Module RangeAnalysis

Imports

Modules

Aliases

Module Overflow

Import path

import semmle.code.java.dataflow.RangeAnalysis

Predicates

semExprDoesNotOverflow

Copyright 2026 GitHub Software UK Ltd.Privacy Statement