Package pascal.taie.analysis.pta.toolkit.scaler

Class Scaler

java.lang.Object

pascal.taie.analysis.pta.toolkit.scaler.Scaler

public class Scaler
extends Object

Given a TST (Total Scalability Threshold), select the ST (Scalability Threshold), then select context-sensitivity based on the selected ST value.

Constructor Summary

Constructors

Constructor	Description
Scaler(PointerAnalysisResult ptaBase, long tst)

Method Summary

Modifier and Type	Method	Description
static Map<JMethod,String>	run(PointerAnalysisResult pta, String arg)	Parses Scaler argument and runs Scaler.
Map<JMethod,String>	selectContext()	Selects context sensitivity variants for the methods in the program.

Methods inherited from class java.lang.Object

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

Constructor Details

Scaler

public Scaler(PointerAnalysisResult ptaBase,
 long tst)

Method Details

run

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

Parses Scaler argument and runs Scaler.

selectContext

public Map<JMethod,String> selectContext()

Selects context sensitivity variants for the methods in the program. Currently, we only consider instance methods, as the contexts of static methods actually come from instance methods.

Returns:

a map from methods to their selected context sensitivity variants.