Package tip.cfg.cfa

Provides a collection of control flow analyses for TIP programs.

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  
 

Package tip.cfg.cfa Description

Provides a collection of control flow analyses for TIP programs.