Module Ssa
A module that provides static single assignment (SSA) information.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilAliases
| Definition | An static single assignment (SSA) definition. |
| DirectExplicitDefinition | An SSA definition that corresponds to an explicit definition. |
| ExplicitDefinition | An SSA definition that corresponds to an explicit definition. |
| IndirectExplicitDefinition | An explicit SSA definition that writes an indirect value to a pointer. |
| PhiNode | An static single assignment (SSA) phi node. |