| Class | Description |
|---|---|
| ContextInsensitiveReachingDefs |
Computes interprocedural reaching definitions for static fields in a context-insensitive manner.
|
| ContextSensitiveReachingDefs |
Computes interprocedural reaching definitions for static fields in a context-sensitive manner via
tabulation. |
| IntraprocReachingDefs |
Compute intraprocedural reaching defs of global variables, i.e., the defs are
SSAPutInstructions on static state. |
| StaticInitializer |