Package pascal.taie.analysis.pta.plugin

Class ResultProcessor

java.lang.Object

pascal.taie.analysis.pta.plugin.ResultProcessor

All Implemented Interfaces:

Plugin

public class ResultProcessor
extends Object
implements Plugin

Dump points-to set to file or compare the analysis result with the ones read from input file. Currently, the compare functionality is mainly for testing purpose. It is not efficient and not recommended applying on large program.

Field Summary

Fields

Modifier and Type	Field	Description
static final String	RESULTS_FILE
static final String	RESULTS_YAML_FILE

Fields inherited from interface pascal.taie.analysis.pta.plugin.Plugin

DUMMY

Constructor Summary

Constructors

Constructor	Description
ResultProcessor()

Method Summary

Modifier and Type	Method	Description
void	onFinish()	Invoked when pointer analysis finishes.
static void	process(AnalysisOptions options, PointerAnalysisResult result)
void	setSolver(Solver solver)	Sets pointer analysis solver which will be used later by the plugin.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface pascal.taie.analysis.pta.plugin.Plugin

onNewCallEdge, onNewCSMethod, onNewMethod, onNewPointsToSet, onNewStmt, onPhaseFinish, onStart, onUnresolvedCall

Field Details

RESULTS_FILE

public static final String RESULTS_FILE

See Also:

• Constant Field Values

RESULTS_YAML_FILE

public static final String RESULTS_YAML_FILE

See Also:

• Constant Field Values

Constructor Details

ResultProcessor

public ResultProcessor()

Method Details

setSolver

public void setSolver(Solver solver)

Description copied from interface: Plugin

Sets pointer analysis solver which will be used later by the plugin.

Specified by:

setSolver in interface Plugin

onFinish

public void onFinish()

Description copied from interface: Plugin

Invoked when pointer analysis finishes. Pointer analysis is supposed to have been finished at this stage, thus this call back should NOT modify pointer analysis results.

Specified by:

onFinish in interface Plugin

process

public static void process(AnalysisOptions options,
 PointerAnalysisResult result)