Package pascal.taie.analysis.pta.client

Class MayAliasPair

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.ProgramAnalysis<MayAliasPair.MayAliasPairResult>

pascal.taie.analysis.pta.client.MayAliasPair

public class MayAliasPair
extends ProgramAnalysis<MayAliasPair.MayAliasPairResult>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	MayAliasPair.MayAliasPairResult

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ID

Constructor Summary

Constructors

Constructor	Description
MayAliasPair(AnalysisConfig config)

Method Summary

Modifier and Type	Method	Description
MayAliasPair.MayAliasPairResult	analyze()	Runs this analysis for the whole program.

Methods inherited from class pascal.taie.analysis.Analysis

getId, getOptions

Methods inherited from class java.lang.Object

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

Field Details

ID

public static final String ID

See Also:

• Constant Field Values

Constructor Details

MayAliasPair

public MayAliasPair(AnalysisConfig config)

Method Details

analyze

public MayAliasPair.MayAliasPairResult analyze()

Description copied from class: ProgramAnalysis

Runs this analysis for the whole program. If the result is not used by following analyses, then this method should return null.

Specified by:

analyze in class ProgramAnalysis<MayAliasPair.MayAliasPairResult>

Returns:

the analysis result for the whole program. The result will be stored in World.