Package pascal.taie.analysis.pta.core.cs.element

Class MapBasedCSManager

java.lang.Object

pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

All Implemented Interfaces:

CSManager

public class MapBasedCSManager
extends Object
implements CSManager

Manages data by maintaining the data and their context-sensitive counterparts by maps.

Constructor Summary

Constructors

Constructor	Description
MapBasedCSManager()

Method Summary

Modifier and Type	Method	Description
ArrayIndex	getArrayIndex(CSObj array)
Collection<ArrayIndex>	getArrayIndexes()
CSCallSite	getCSCallSite(Context context, Invoke callSite)
CSMethod	getCSMethod(Context context, JMethod method)
CSObj	getCSObj(Context heapContext, Obj obj)
Collection<CSObj>	getCSObjsOf(Obj obj)
CSVar	getCSVar(Context context, Var var)
Collection<CSVar>	getCSVars()
Collection<CSVar>	getCSVarsOf(Var var)
InstanceField	getInstanceField(CSObj base, JField field)
Collection<InstanceField>	getInstanceFields()
Indexer<CSObj>	getObjectIndexer()
Collection<CSObj>	getObjects()
StaticField	getStaticField(JField field)
Collection<StaticField>	getStaticFields()
Collection<Var>	getVars()
Stream<Pointer>	pointers()

Methods inherited from class java.lang.Object

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

Constructor Details

MapBasedCSManager

public MapBasedCSManager()

Method Details

getCSVar

public CSVar getCSVar(Context context,
 Var var)

Specified by:

getCSVar in interface CSManager

Returns:

a context-sensitive variable for given context and variable.

getStaticField

public StaticField getStaticField(JField field)

Specified by:

getStaticField in interface CSManager

Returns:

the corresponding StaticField pointer for given static field.

getInstanceField

public InstanceField getInstanceField(CSObj base,
 JField field)

Specified by:

getInstanceField in interface CSManager

Returns:

the corresponding InstanceField pointer for given object and instance field.

getArrayIndex

public ArrayIndex getArrayIndex(CSObj array)

Specified by:

getArrayIndex in interface CSManager

Returns:

the corresponding ArrayIndex pointer for given array object.

getVars

public Collection<Var> getVars()

Specified by:

getVars in interface CSManager

Returns:

all variables (without contexts).

getCSVars

public Collection<CSVar> getCSVars()

Specified by:

getCSVars in interface CSManager

Returns:

all context-sensitive variables.

getCSVarsOf

public Collection<CSVar> getCSVarsOf(Var var)

Specified by:

getCSVarsOf in interface CSManager

Returns:

all relevant context-sensitive variables for given variable.

getStaticFields

public Collection<StaticField> getStaticFields()

Specified by:

getStaticFields in interface CSManager

Returns:

all static field pointers.

getInstanceFields

public Collection<InstanceField> getInstanceFields()

Specified by:

getInstanceFields in interface CSManager

Returns:

all instance field pointers.

getArrayIndexes

public Collection<ArrayIndex> getArrayIndexes()

Specified by:

getArrayIndexes in interface CSManager

Returns:

all array index pointers.

pointers

public Stream<Pointer> pointers()

Specified by:

pointers in interface CSManager

Returns:

all pointers managed by this manager.

getCSObj

public CSObj getCSObj(Context heapContext,
 Obj obj)

Specified by:

getCSObj in interface CSManager

Returns:

a context-sensitive object for given context and object.

getObjects

public Collection<CSObj> getObjects()

Specified by:

getObjects in interface CSManager

Returns:

all context-sensitive objects.

getCSObjsOf

public Collection<CSObj> getCSObjsOf(Obj obj)

Specified by:

getCSObjsOf in interface CSManager

Returns:

all relevant context-sensitive objects for given object.

getObjectIndexer

public Indexer<CSObj> getObjectIndexer()

Specified by:

getObjectIndexer in interface CSManager

Returns:

Indexer for CSObj maintained by this manager. The indexer is useful for creating efficient points-to sets.

getCSCallSite

public CSCallSite getCSCallSite(Context context,
 Invoke callSite)

Specified by:

getCSCallSite in interface CSManager

Returns:

a context-sensitive call site for given context and call site.

getCSMethod

public CSMethod getCSMethod(Context context,
 JMethod method)

Specified by:

getCSMethod in interface CSManager

Returns:

a context-sensitive method for given context and method.