Package pascal.taie.analysis.defuse

Class DefUseAnalysis

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.MethodAnalysis<DefUse>

pascal.taie.analysis.defuse.DefUseAnalysis

public class DefUseAnalysis
extends MethodAnalysis<DefUse>

Computes intra-procedural def-use and use-def chains based on reaching definition analysis.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ID

Constructor Summary

Constructors

Constructor	Description
DefUseAnalysis(AnalysisConfig config)

Method Summary

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

Field Details

ID

public static final String ID

See Also:

• Constant Field Values

Constructor Details

DefUseAnalysis

public DefUseAnalysis(AnalysisConfig config)

Method Details

analyze

public DefUse analyze(IR ir)

Description copied from class: MethodAnalysis

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.

Specified by:

analyze in class MethodAnalysis<DefUse>

Parameters:

ir - IR of the method to be analyzed

Returns:

the analysis result for given ir.