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

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

[legend]

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

[legend]

List of all members.

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