Provides classes and predicates for SSA representation (Static Single Assignment form) restricted to local variables.
An SSA variable consists of the pair of a
BaseSsaSourceVariable and a
ControlFlowNode at which it is defined. Each SSA variable is defined
either by a phi node, an implicit initial value (for parameters),
or an explicit update.
This is a restricted version of SSA.qll that only handles
in order to not depend on virtual dispatch.
Provides all default Java QL imports.
An SSA variable that is defined by its initial value in the callable. This includes initial values of parameters, fields, and closure variables.
An SSA phi node.
A local variable in the context of a
An SSA variable that is defined by a
An SSA variable.