cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer Class Reference

Inheritance diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer:

Collaboration diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer:

Public Member Functions
	ShapiroHorwitzAnalyzer (CategorizationProvider catProvider)
void	analyze (Collection< CFGHandle > cfgs)
Set< Pair< CFGHandle, String > >	getPointsToSetOf (CFGHandle cfg, String id)

Detailed Description

Provides Shapiro-Horwitz pointer analysis.

Author

Michal Strehovsky

Constructor & Destructor Documentation

cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer.ShapiroHorwitzAnalyzer ( CategorizationProvider  catProvider )

inline

Member Function Documentation

void cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer.analyze ( Collection< CFGHandle >  cfgs )

inline

Implements cz.muni.stanse.pointeranalyzer.PointsToAnalyzer.

Set<Pair<CFGHandle, String> > cz.muni.stanse.pointeranalyzer.shapirohorwitz.ShapiroHorwitzAnalyzer.getPointsToSetOf ( CFGHandle  cfg, String  id  )

inline

Gets the points to set of specified symbol.

Parameters

cfg	CFG of the function declaring the symbol (null for globals).
id	Name of the symbol.

Implements cz.muni.stanse.pointeranalyzer.PointsToAnalyzer.

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/ShapiroHorwitzAnalyzer.java