Uses of Interface
tip.cfg.Target

Packages that use Target
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.cfa Provides a collection of control flow analyses for TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
tip.display Provides classes for display ASTs and CFGs of TIP programs. 
 

Uses of Target in tip.cfg
 

Classes in tip.cfg that implement Target
 class DeclarationTarget
          DeclarationTarget represents the pointer target of a declaration (both function and variable declarations).
 class MallocTarget
          MallocTarget represents the pointer target of a malloc expression.
 

Methods in tip.cfg that return types with arguments of type Target
 Map<Target,Set<Target>> PointsToMap.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> PointsToMap.pt(IProgramPoint point)
           
 Set<Target> PointsToMap.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point.
 

Uses of Target in tip.cfg.cfa
 

Methods in tip.cfg.cfa that return types with arguments of type Target
 Map<Target,Set<Target>> Steensgaard.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> Steensgaard.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> OneLevelFlow.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> OneLevelFlow.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> FunctionPointers.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> FunctionPointers.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> Andersen.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> Andersen.pt(IProgramPoint point)
           
 Set<Target> Steensgaard.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by Steensgaard's algorithm.
 Set<Target> OneLevelFlow.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by Steensgaard's algorithm.
 Set<Target> FunctionPointers.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by the algorithm.
 Set<Target> Andersen.pt(IProgramPoint point, ALocalDecl decl)
          Returns the pointer targets for the variable decl at the program point point as computed by Andersen's algorithm.
 

Uses of Target in tip.cfg.dfa
 

Methods in tip.cfg.dfa that return types with arguments of type Target
 Map<Target,Set<Target>> ShapeAnalysis.pt(IProgramPoint point)
           
 Map<Target,Set<Target>> ShapeAnalysis.pt(IProgramPoint point)
           
 Set<Target> ShapeAnalysis.pt(IProgramPoint point, ALocalDecl decl)
           
 

Uses of Target in tip.display
 

Method parameters in tip.display with type arguments of type Target
static dk.brics.dot.DotNode CFGDisplay.createPointsToGraph(dk.brics.dot.DotGraph graph, Map<Target,Set<Target>> ptMap, String name, dk.brics.dot.DotColor color)
           
static dk.brics.dot.DotNode CFGDisplay.createPointsToGraph(dk.brics.dot.DotGraph graph, Map<Target,Set<Target>> ptMap, String name, dk.brics.dot.DotColor color)