Module SsaImpl
Import path
import semmle.code.java.dataflow.internal.SsaImplPredicates
| fieldAccessInCallable | |
| getAUse | |
| phiHasInputFromBlock | |
| ssaDefReachesEndOfBlock | |
| ssaDefReachesUncertainDef | Holds if the SSA definition of |
| ssaExplicitUpdate | |
| ssaImplicitInit | |
| ssaUncertainImplicitUpdate | |
| uncertainVariableUpdate | Holds if |
Datatypes
Aliases
| Definition | A static single assignment (SSA) definition. |
| Impl | Provides an SSA implementation. |
| PhiNode | A phi node. |
| Ssa | |
| UncertainWriteDefinition | An SSA definition that represents an uncertain update of the underlying source variable. |
| WriteDefinition | An SSA definition that corresponds to a write. |