Package pascal.taie.analysis

Class ProgramAnalysis<R>

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.ProgramAnalysis<R>

Type Parameters:

R - result type

Direct Known Subclasses:

AbstractInterDataflowAnalysis, CallGraphBuilder, ICFGBuilder, MayFailCast, PointerAnalysis, PolymorphicCallSite, ResultProcessor

public abstract class ProgramAnalysis<R>
extends Analysis

Abstract base class for all whole-program analyses.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ProgramAnalysis(AnalysisConfig config)

Method Summary

Modifier and Type	Method	Description
abstract R	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

Constructor Details

ProgramAnalysis

protected ProgramAnalysis(AnalysisConfig config)

Method Details

analyze

public abstract R analyze()

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

Returns:

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