Package pascal.taie.analysis

Class MethodAnalysis<R>

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.MethodAnalysis<R>

Type Parameters:

R - result type

Direct Known Subclasses:

AnalysisDriver, CFGBuilder, DeadCodeDetection, DefUseAnalysis, DroppedException, NullPointerDetection, ThrowAnalysis

public abstract class MethodAnalysis<R>
extends Analysis

Abstract base class for all method analyses, or say, intra-procedural analyses.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	MethodAnalysis(AnalysisConfig config)

Method Summary

Modifier and Type	Method	Description
abstract R	analyze(IR ir)	Runs this analysis for the given IR.

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

MethodAnalysis

protected MethodAnalysis(AnalysisConfig config)

Method Details

analyze

public abstract R analyze(IR ir)

Runs this analysis for the given IR. The result will be stored in IR. If the result is not used by following analyses, then this method should return null.

Parameters:

ir - IR of the method to be analyzed

Returns:

the analysis result for given ir.