CodeQL library for Java/Kotlin

codeql/java-all 9.0.4 (changelog, source)

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

.

Guard

Module signature Semantic

Predicates

additionalValueFlowStep

conversionCannotOverflow

getABasicBlockSuccessor

Types

ConditionalExpr

ConstantIntegerExpr

FloatingPointType

ShiftRightUnsignedExpr

SsaExplicitUpdate

Parameters

Location

Type signature Semantic::Guard

A guard in the range analysis.

Copyright 2026 GitHub Software UK Ltd.Privacy Statement