Module SsaReadPositionSpecific
Provides Java-specific definitions for use in the SsaReadPosition.
Import path
import semmle.code.java.dataflow.internal.rangeanalysis.SsaReadPositionSpecificPredicates
| getAReadBasicBlock | Gets a basic block in which SSA variable |
Modules
| Public | Declarations to be exposed to users of SsaReadPositionCommon |
Aliases
| BasicBlock | A control-flow node that represents the start of a basic block. |
| SsaPhiNode | An SSA phi node. |
| SsaVariable | An SSA variable. |