CodeQL library for Java/Kotlin
codeql/java-all 0.9.0 (changelog, source)
Search

Class ExprBound

A bound that corresponds to the value of a specific expression that might be interesting, but isn’t otherwise represented by the value of an SSA variable.

Import path

import semmle.code.java.dataflow.Bound

Direct supertypes

Indirect supertypes

Predicates

getExpr

Gets an expression that equals this bound plus delta.

getLocation

Gets the location of this bound.

toString

Gets a textual representation of this bound.

Inherited predicates

getExpr

Gets an expression that equals this bound.

from Bound