cetus.analysis

Class PointsToAnalysis

java.lang.Object

cetus.analysis.AnalysisPass

cetus.analysis.PointsToAnalysis

public class PointsToAnalysis
extends AnalysisPass

The Points-To Analyzer creates intraprocedural pointer relationships for C programs. Pointer variables are variables that store the address-value of a memory location and are said to point-to or reference that memory location. The points-to analyzer implemented here is flow sensitive and hence, provides pointer relationships at every program point i.e. every relevant Statement in the program. Pointer relationships are represented using PointsToDomain and PointsToRel, which make use of different Symbol information to a large extent. Aggregate structures such as arrays are handled conservatively, while struct types are handled more precisely. The analyzer also supports useful, but conservative, information handling for heap-allocated variables.

The analyzer is directly used by the Interprocedural Points-to Analyzer, to provide advanced static-time pointer information. Thus, function calls inside of procedures can be supported during intraprocedural analysis.

The analysis is implemented based on the design described in the following M.S. Thesis:

"A Practical Interprocedural Alias Analysis for an Optimizing/Parallelizing C Compiler", Maryam Emami, 1993.

See Also:

PointsToDomain, PointsToRel, IPPointsToAnalysis

Constructor Summary

Constructors

Constructor and Description
PointsToAnalysis(Program program)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getPassName()
void	start() Simple intraprocedural analysis can be run for a procedure that does not have pointers in formal parameters.

Methods inherited from class cetus.analysis.AnalysisPass

run

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PointsToAnalysis

public PointsToAnalysis(Program program)

Method Detail

getPassName

public java.lang.String getPassName()

Specified by:

getPassName in class AnalysisPass

start

public void start()

Simple intraprocedural analysis can be run for a procedure that does not have pointers in formal parameters. Use only for simple testing or understanding. Annotates the output source code with pointer-relationship information.

For complete use of points-to information, use interprocedural points-to analysis, which directly uses information generated by the intraprocedural analyzer.

Specified by:

start in class AnalysisPass