Package pascal.taie.analysis.pta.toolkit.zipper

Class Zipper

java.lang.Object

pascal.taie.analysis.pta.toolkit.zipper.Zipper

public class Zipper
extends Object

Constructor Summary

Constructors

Constructor	Description
Zipper(PointerAnalysisResult ptaBase, boolean isExpress, float pv)

Method Summary

Modifier and Type	Method	Description
static Set<JMethod>	run(PointerAnalysisResult pta, String arg)	Parses Zipper argument and runs Zipper.
Set<JMethod>	selectPrecisionCriticalMethods()

Methods inherited from class java.lang.Object

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

Constructor Details

Zipper

public Zipper(PointerAnalysisResult ptaBase,
 boolean isExpress,
 float pv)

Method Details

run

public static Set<JMethod> run(PointerAnalysisResult pta,
 String arg)

Parses Zipper argument and runs Zipper.

selectPrecisionCriticalMethods

public Set<JMethod> selectPrecisionCriticalMethods()

Returns:

a set of precision-critical methods that should be analyzed context-sensitively.