|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
Andersen | Andersen is an implemention of Andersen's algorithm for computing
points-to maps. |
FunctionPointers | FunctionPointers is an implemention of a simple control flow analysis
for functions pointers. |
Interprocedural | Interprocedural converts a collection of intraprocedural control flow
graphs into a single interprocedural control flow graph. |
Normalization | |
OneLevelFlow | |
Steensgaard |
Provides a collection of control flow analyses for TIP programs.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |