Provides utility predicates for range analysis.
Provides all default Java QL imports.
Gets a condition that tests whether
Gets the definition of
Gets an expression that equals
An expression that always has the same integer value.
A position at which an SSA variable is read. This includes both ordinary reads occurring in basic blocks and input to phi nodes occurring along an edge between two basic blocks.
A basic block in which an SSA variable is read.
An edge between two basic blocks where the latter block has an SSA phi definition. The edge therefore has a read of an SSA variable serving as the input to the phi node.