Package pascal.taie.analysis.bugfinder

Class CloneIdiom

java.lang.Object

pascal.taie.analysis.Analysis

pascal.taie.analysis.ClassAnalysis<Set<BugInstance>>

pascal.taie.analysis.bugfinder.CloneIdiom

public class CloneIdiom
extends ClassAnalysis<Set<BugInstance>>

Field Summary

Fields

Modifier and Type	Field	Description
static String	ID

Constructor Summary

Constructors

Constructor	Description
CloneIdiom(AnalysisConfig config)

Method Summary

Modifier and Type	Method	Description
Set<BugInstance>	analyze(JClass jclass)	Runs this analysis for the given JClass.

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 String ID

Constructor Details

CloneIdiom

public CloneIdiom(AnalysisConfig config)

Method Details

analyze

public Set<BugInstance> analyze(JClass jclass)

Description copied from class: ClassAnalysis

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

Specified by:

analyze in class ClassAnalysis<Set<BugInstance>>

Parameters:

jclass - the class to be analyzed

Returns:

the analysis result for given class.