|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
| Class Summary | |
|---|---|
| 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. |
| DataflowTest | Tests of various flow analysis engines. |
| IntraprocReachingDefs | Compute intraprocedural reaching defs of global variables, i.e., the defs are
SSAPutInstructions on static state. |
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||