Package pascal.taie.analysis.bugfinder.nullpointer

Class IsNullAnalysis

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.MethodAnalysis<DataflowResult<Node,Fact>>

pascal.taie.analysis.dataflow.analysis.AnalysisDriver<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact>

pascal.taie.analysis.bugfinder.nullpointer.IsNullAnalysis

public class IsNullAnalysis
extends AnalysisDriver<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact>

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ID

Constructor Summary

Constructors

Constructor	Description
IsNullAnalysis(AnalysisConfig config)

Method Summary

Modifier and Type	Method	Description
protected DataflowAnalysis<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact>	makeAnalysis(CFG<Stmt> cfg)	Creates an analysis object for given cfg.

Methods inherited from class pascal.taie.analysis.dataflow.analysis.AnalysisDriver

analyze

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

IsNullAnalysis

public IsNullAnalysis(AnalysisConfig config)

Method Details

makeAnalysis

protected DataflowAnalysis<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact> makeAnalysis(CFG<Stmt> cfg)

Description copied from class: AnalysisDriver

Creates an analysis object for given cfg.

Specified by:

makeAnalysis in class AnalysisDriver<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact>