Uses of Class
pascal.taie.analysis.pta.core.heap.Obj

Packages that use Obj

Package	Description
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.pta
pascal.taie.analysis.pta.core.cs.element	Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.cs.selector	Provide various context selectors, which correspond to various context sensitivity variants.
pascal.taie.analysis.pta.core.heap	Provide model for heap objects.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.toolkit
pascal.taie.analysis.pta.toolkit.util
pascal.taie.analysis.sideeffect	This package implements modification side-effect analysis (MOD) which computes the objects that may be modified by each method and statement.

Uses of Obj in pascal.taie.analysis.graph.flowgraph

Methods in pascal.taie.analysis.graph.flowgraph that return Obj

Modifier and Type	Method	Description
Obj	InstanceNode.getBase()

Methods in pascal.taie.analysis.graph.flowgraph with parameters of type Obj

Modifier and Type	Method	Description
ArrayIndexNode	NodeManager.getArrayIndexNode(Obj array)
InstanceFieldNode	NodeManager.getInstanceFieldNode(Obj base, JField field)
protected ArrayIndexNode	NodeManager.getOrCreateArrayIndexNode(Obj array)
protected InstanceFieldNode	NodeManager.getOrCreateInstanceFieldNode(Obj base, JField field)

Uses of Obj in pascal.taie.analysis.pta

Methods in pascal.taie.analysis.pta that return types with arguments of type Obj

Modifier and Type	Method	Description
Indexer<Obj>	PointerAnalysisResult.getObjectIndexer()
Indexer<Obj>	PointerAnalysisResultImpl.getObjectIndexer()
Collection<Obj>	PointerAnalysisResult.getObjects()
Collection<Obj>	PointerAnalysisResultImpl.getObjects()
Set<Obj>	PointerAnalysisResult.getPointsToSet(Obj array)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Obj base, JField field)
Set<Obj>	PointerAnalysisResult.getPointsToSet(ArrayAccess access)
default Set<Obj>	PointerAnalysisResult.getPointsToSet(FieldAccess access)
Set<Obj>	PointerAnalysisResult.getPointsToSet(InstanceFieldAccess access)
Set<Obj>	PointerAnalysisResult.getPointsToSet(StaticFieldAccess access)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Var var)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Var base, Var index)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Var base, JField field)
Set<Obj>	PointerAnalysisResult.getPointsToSet(JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Obj array)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Obj base, JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(ArrayAccess access)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(InstanceFieldAccess access)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(StaticFieldAccess access)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Var var)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Var base, Var index)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Var base, JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(JField field)

Methods in pascal.taie.analysis.pta with parameters of type Obj

Modifier and Type	Method	Description
Set<Obj>	PointerAnalysisResult.getPointsToSet(Obj array)
Set<Obj>	PointerAnalysisResult.getPointsToSet(Obj base, JField field)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Obj array)
Set<Obj>	PointerAnalysisResultImpl.getPointsToSet(Obj base, JField field)

Constructor parameters in pascal.taie.analysis.pta with type arguments of type Obj

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

Uses of Obj in pascal.taie.analysis.pta.core.cs.element

Methods in pascal.taie.analysis.pta.core.cs.element that return Obj

Modifier and Type	Method	Description
Obj	CSObj.getObject()

Methods in pascal.taie.analysis.pta.core.cs.element with parameters of type Obj

Modifier and Type	Method	Description
CSObj	CSManager.getCSObj(Context heapContext, Obj obj)
CSObj	MapBasedCSManager.getCSObj(Context heapContext, Obj obj)
Collection<CSObj>	CSManager.getCSObjsOf(Obj obj)
Collection<CSObj>	MapBasedCSManager.getCSObjsOf(Obj obj)

Uses of Obj in pascal.taie.analysis.pta.core.cs.selector

Methods in pascal.taie.analysis.pta.core.cs.selector with parameters of type Obj

Modifier and Type	Method	Description
Context	ContextSelector.selectHeapContext(CSMethod method, Obj obj)	Selects heap contexts for new-created abstract objects.

Uses of Obj in pascal.taie.analysis.pta.core.heap

Subclasses of Obj in pascal.taie.analysis.pta.core.heap

Modifier and Type	Class	Description
class	ConstantObj	Objects that represent constants.
class	MergedObj	Represents a set of merged objects.
class	MockObj	Represents the objects whose allocation sites are not explicitly written in the program.
class	NewObj	Objects that are created by new statements.

Methods in pascal.taie.analysis.pta.core.heap with type parameters of type Obj

Modifier and Type	Method	Description
protected <T extends Obj> T	AbstractHeapModel.add(T obj)	Adds an obj to this model.

Methods in pascal.taie.analysis.pta.core.heap that return Obj

Modifier and Type	Method	Description
protected Obj	AbstractHeapModel.doGetConstantObj(ReferenceLiteral value)
protected abstract Obj	AbstractHeapModel.doGetObj(New allocSite)	The method which controls the heap modeling for normal objects.
protected Obj	AllocationSiteBasedModel.doGetObj(New allocSite)
Obj	AbstractHeapModel.getConstantObj(ReferenceLiteral value)
Obj	HeapModel.getConstantObj(ReferenceLiteral value)
Obj	AbstractHeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)
default Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type)
default Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, boolean isFunctional)
default Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container)
Obj	HeapModel.getMockObj(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional)
Obj	AbstractHeapModel.getObj(New allocSite)
Obj	HeapModel.getObj(New allocSite)
Obj	AbstractHeapModel.getObject(int index)

Methods in pascal.taie.analysis.pta.core.heap that return types with arguments of type Obj

Modifier and Type	Method	Description
Set<Obj>	MergedObj.getAllocation()
Collection<Obj>	AbstractHeapModel.getObjects()
Collection<Obj>	HeapModel.getObjects()

Methods in pascal.taie.analysis.pta.core.heap with parameters of type Obj

Modifier and Type	Method	Description
void	MergedObj.addRepresentedObj(Obj obj)
int	AbstractHeapModel.getIndex(Obj o)
boolean	AbstractHeapModel.isStringConstant(Obj obj)
boolean	HeapModel.isStringConstant(Obj obj)

Uses of Obj in pascal.taie.analysis.pta.core.solver

Methods in pascal.taie.analysis.pta.core.solver that return types with arguments of type Obj

Modifier and Type	Method	Description
MultiMap<Obj,Obj>	DeclaredParamProvider.getArrayObjs()
MultiMap<Obj,Obj>	DeclaredParamProvider.getArrayObjs()
MultiMap<Obj,Obj>	EmptyParamProvider.getArrayObjs()
MultiMap<Obj,Obj>	EmptyParamProvider.getArrayObjs()
MultiMap<Obj,Obj>	ParamProvider.getArrayObjs()
MultiMap<Obj,Obj>	ParamProvider.getArrayObjs()
MultiMap<Obj,Obj>	SpecifiedParamProvider.getArrayObjs()
MultiMap<Obj,Obj>	SpecifiedParamProvider.getArrayObjs()
TwoKeyMultiMap<Obj,JField,Obj>	DeclaredParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	DeclaredParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	EmptyParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	EmptyParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	ParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	ParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	SpecifiedParamProvider.getFieldObjs()
TwoKeyMultiMap<Obj,JField,Obj>	SpecifiedParamProvider.getFieldObjs()
Set<Obj>	DeclaredParamProvider.getParamObjs(int i)
Set<Obj>	EmptyParamProvider.getParamObjs(int i)
Set<Obj>	ParamProvider.getParamObjs(int i)
Set<Obj>	SpecifiedParamProvider.getParamObjs(int i)
Set<Obj>	DeclaredParamProvider.getThisObjs()
Set<Obj>	EmptyParamProvider.getThisObjs()
Set<Obj>	ParamProvider.getThisObjs()
Set<Obj>	SpecifiedParamProvider.getThisObjs()

Methods in pascal.taie.analysis.pta.core.solver with parameters of type Obj

Modifier and Type	Method	Description
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addArrayObj(Obj array, Obj elem)
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addFieldObj(Obj base, JField field, Obj obj)
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addParamObj(int i, Obj paramObj)
void	DefaultSolver.addPointsTo(Pointer pointer, Context heapContext, Obj obj)
void	Solver.addPointsTo(Pointer pointer, Context heapContext, Obj obj)
default void	Solver.addPointsTo(Pointer pointer, Obj obj)	Convenient API to add points-to relation for object with empty heap context.
SpecifiedParamProvider.Builder	SpecifiedParamProvider.Builder.addThisObj(Obj thisObj)
void	DefaultSolver.addVarPointsTo(Context context, Var var, Context heapContext, Obj obj)
void	Solver.addVarPointsTo(Context context, Var var, Context heapContext, Obj obj)
default void	Solver.addVarPointsTo(Context context, Var var, Obj obj)	Convenient API to add var points-to relation for object with empty heap context.

Uses of Obj in pascal.taie.analysis.pta.plugin.exception

Methods in pascal.taie.analysis.pta.plugin.exception that return types with arguments of type Obj

Modifier and Type	Method	Description
Set<Obj>	MethodThrowResult.mayThrowExplicitly(Stmt stmt)
Set<Obj>	MethodThrowResult.mayThrowUncaught()

Uses of Obj in pascal.taie.analysis.pta.toolkit

Methods in pascal.taie.analysis.pta.toolkit that return types with arguments of type Obj

Modifier and Type	Method	Description
Set<Obj>	PointerAnalysisResultEx.getObjectsAllocatedIn(JMethod method)
Set<Obj>	PointerAnalysisResultExImpl.getObjectsAllocatedIn(JMethod method)
Set<Obj>	PointerAnalysisResultEx.getObjectsOf(Type type)
Set<Obj>	PointerAnalysisResultExImpl.getObjectsOf(Type type)
Set<Obj>	PointerAnalysisResultEx.getReceiverObjectsOf(JMethod method)
Set<Obj>	PointerAnalysisResultExImpl.getReceiverObjectsOf(JMethod method)

Methods in pascal.taie.analysis.pta.toolkit with parameters of type Obj

Modifier and Type	Method	Description
Set<JMethod>	PointerAnalysisResultEx.getMethodsInvokedOn(Obj obj)
Set<JMethod>	PointerAnalysisResultExImpl.getMethodsInvokedOn(Obj obj)

Uses of Obj in pascal.taie.analysis.pta.toolkit.util

Methods in pascal.taie.analysis.pta.toolkit.util that return types with arguments of type Obj

Modifier and Type	Method	Description
static Graph<Obj>	OAGs.build(PointerAnalysisResultEx pta)	Builds object allocation graph.
static Map<Obj,Set<JMethod>>	OAGs.computeInvokedMethods(PointerAnalysisResultEx pta)	Computes the methods invoked on all objects in the program.

Uses of Obj in pascal.taie.analysis.sideeffect

Methods in pascal.taie.analysis.sideeffect that return types with arguments of type Obj

Modifier and Type	Method	Description
Set<Obj>	SideEffect.getModifiedObjects(Stmt stmt)
Set<Obj>	SideEffect.getModifiedObjects(JMethod method)
Set<Obj>	SideEffect.getResult(Stmt stmt)