Package pascal.taie.analysis.pta

Class PointerAnalysisResultImpl

java.lang.Object

pascal.taie.util.AbstractResultHolder

pascal.taie.analysis.pta.PointerAnalysisResultImpl

All Implemented Interfaces:

PointerAnalysisResult, ResultHolder

public class PointerAnalysisResultImpl
extends AbstractResultHolder
implements PointerAnalysisResult

Constructor Summary

Constructors

Constructor	Description
PointerAnalysisResultImpl(PropagateTypes propTypes, CSManager csManager, Indexer<Obj> objIndexer, CallGraph<CSCallSite,CSMethod> csCallGraph, PointerFlowGraph pfg)

Method Summary

Modifier and Type	Method	Description
Collection<ArrayIndex>	getArrayIndexes()
CallGraph<Invoke,JMethod>	getCallGraph()
CallGraph<CSCallSite,CSMethod>	getCSCallGraph()
Collection<CSObj>	getCSObjects()
Collection<CSVar>	getCSVars()
Collection<InstanceField>	getInstanceFields()
ObjectFlowGraph	getObjectFlowGraph()
Indexer<Obj>	getObjectIndexer()
Collection<Obj>	getObjects()
Set<Obj>	getPointsToSet(Obj array)
Set<Obj>	getPointsToSet(Obj base, JField field)
Set<Obj>	getPointsToSet(ArrayAccess access)
Set<Obj>	getPointsToSet(InstanceFieldAccess access)
Set<Obj>	getPointsToSet(StaticFieldAccess access)
Set<Obj>	getPointsToSet(Var var)
Set<Obj>	getPointsToSet(Var base, Var index)
Set<Obj>	getPointsToSet(Var base, JField field)
Set<Obj>	getPointsToSet(JField field)
Collection<StaticField>	getStaticFields()
Collection<Var>	getVars()
boolean	mayAlias(ArrayAccess a1, ArrayAccess a2)
boolean	mayAlias(InstanceFieldAccess if1, InstanceFieldAccess if2)
boolean	mayAlias(Var v1, Var v2)

Methods inherited from class pascal.taie.util.AbstractResultHolder

clearAll, clearResult, getKeys, getResult, getResult, getResult, hasResult, storeResult

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.PointerAnalysisResult

getPointsToSet

Methods inherited from interface pascal.taie.util.ResultHolder

clearAll, clearResult, getKeys, getResult, getResult, getResult, hasResult, storeResult

Constructor Details

PointerAnalysisResultImpl

public PointerAnalysisResultImpl(PropagateTypes propTypes,
 CSManager csManager,
 Indexer<Obj> objIndexer,
 CallGraph<CSCallSite,CSMethod> csCallGraph,
 PointerFlowGraph pfg)

Method Details

getCSVars

public Collection<CSVar> getCSVars()

Specified by:

getCSVars in interface PointerAnalysisResult

Returns:

all reachable context-sensitive variables in the program.

getVars

public Collection<Var> getVars()

Specified by:

getVars in interface PointerAnalysisResult

Returns:

all reachable variables in the program.

getInstanceFields

public Collection<InstanceField> getInstanceFields()

Specified by:

getInstanceFields in interface PointerAnalysisResult

Returns:

all reachable instance fields in the program.

getArrayIndexes

public Collection<ArrayIndex> getArrayIndexes()

Specified by:

getArrayIndexes in interface PointerAnalysisResult

Returns:

all reachable array indexes in the program.

getStaticFields

public Collection<StaticField> getStaticFields()

Specified by:

getStaticFields in interface PointerAnalysisResult

Returns:

all reachable static fields in the program.

getCSObjects

public Collection<CSObj> getCSObjects()

Specified by:

getCSObjects in interface PointerAnalysisResult

Returns:

all reachable context-sensitive objects in the program.

getObjects

public Collection<Obj> getObjects()

Specified by:

getObjects in interface PointerAnalysisResult

Returns:

all reachable objects in the program.

getObjectIndexer

public Indexer<Obj> getObjectIndexer()

Specified by:

getObjectIndexer in interface PointerAnalysisResult

Returns:

indexer for Obj in the program.

getPointsToSet

public Set<Obj> getPointsToSet(Var var)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

set of Obj pointed to by var.

getPointsToSet

public Set<Obj> getPointsToSet(InstanceFieldAccess access)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

set of Obj pointed to by given instance field access, e.g., o.f.

getPointsToSet

public Set<Obj> getPointsToSet(Var base,
 JField field)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

set of Obj pointed to by base.field.

getPointsToSet

public Set<Obj> getPointsToSet(Obj base,
 JField field)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

set of Obj pointed to by in given base.field.

getPointsToSet

public Set<Obj> getPointsToSet(StaticFieldAccess access)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

set of Obj pointed to by given static field access, e.g., T.f.

getPointsToSet

public Set<Obj> getPointsToSet(JField field)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

points-to set of given field. The field is supposed to be static.

getPointsToSet

public Set<Obj> getPointsToSet(ArrayAccess access)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

set of Obj pointed to by given array access, e.g., a[i].

getPointsToSet

public Set<Obj> getPointsToSet(Var base,
 Var index)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

points-to set of given array index. The base is supposed to be of array type; parameter index is unused.

getPointsToSet

public Set<Obj> getPointsToSet(Obj array)

Specified by:

getPointsToSet in interface PointerAnalysisResult

Returns:

set of Obj pointed to by given array.

mayAlias

public boolean mayAlias(Var v1,
 Var v2)

Specified by:

mayAlias in interface PointerAnalysisResult

Returns:

true if two variables may be aliases.

mayAlias

public boolean mayAlias(InstanceFieldAccess if1,
 InstanceFieldAccess if2)

Specified by:

mayAlias in interface PointerAnalysisResult

Returns:

true if two instance field accesses may be aliases.

mayAlias

public boolean mayAlias(ArrayAccess a1,
 ArrayAccess a2)

Specified by:

mayAlias in interface PointerAnalysisResult

Returns:

true if two array accesses may be aliases.

getCSCallGraph

public CallGraph<CSCallSite,CSMethod> getCSCallGraph()

Specified by:

getCSCallGraph in interface PointerAnalysisResult

Returns:

the resulting context-sensitive call graph.

getCallGraph

public CallGraph<Invoke,JMethod> getCallGraph()

Specified by:

getCallGraph in interface PointerAnalysisResult

Returns:

the resulting call graph (without contexts).

getObjectFlowGraph

public ObjectFlowGraph getObjectFlowGraph()

Specified by:

getObjectFlowGraph in interface PointerAnalysisResult

Returns:

the resulting object flow graph.