Uses of Class
pascal.taie.analysis.pta.core.heap.Obj
Packages that use Obj
Package
Description
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide various context selectors, which correspond to various
context sensitivity variants.
Provide model for heap objects.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
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 ObjMethods in pascal.taie.analysis.graph.flowgraph with parameters of type ObjModifier and TypeMethodDescriptionNodeManager.getArrayIndexNode
(Obj array) 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 ObjModifier and TypeMethodDescriptionPointerAnalysisResult.getObjectIndexer()
PointerAnalysisResultImpl.getObjectIndexer()
PointerAnalysisResult.getObjects()
PointerAnalysisResultImpl.getObjects()
PointerAnalysisResult.getPointsToSet
(Obj array) PointerAnalysisResult.getPointsToSet
(Obj base, JField field) PointerAnalysisResult.getPointsToSet
(ArrayAccess access) PointerAnalysisResult.getPointsToSet
(FieldAccess access) PointerAnalysisResult.getPointsToSet
(InstanceFieldAccess access) PointerAnalysisResult.getPointsToSet
(StaticFieldAccess access) PointerAnalysisResult.getPointsToSet
(Var var) PointerAnalysisResult.getPointsToSet
(Var base, Var index) PointerAnalysisResult.getPointsToSet
(Var base, JField field) PointerAnalysisResult.getPointsToSet
(JField field) PointerAnalysisResultImpl.getPointsToSet
(Obj array) PointerAnalysisResultImpl.getPointsToSet
(Obj base, JField field) PointerAnalysisResultImpl.getPointsToSet
(ArrayAccess access) PointerAnalysisResultImpl.getPointsToSet
(InstanceFieldAccess access) PointerAnalysisResultImpl.getPointsToSet
(StaticFieldAccess access) PointerAnalysisResultImpl.getPointsToSet
(Var var) PointerAnalysisResultImpl.getPointsToSet
(Var base, Var index) PointerAnalysisResultImpl.getPointsToSet
(Var base, JField field) PointerAnalysisResultImpl.getPointsToSet
(JField field) Methods in pascal.taie.analysis.pta with parameters of type ObjModifier and TypeMethodDescriptionPointerAnalysisResult.getPointsToSet
(Obj array) PointerAnalysisResult.getPointsToSet
(Obj base, JField field) PointerAnalysisResultImpl.getPointsToSet
(Obj array) PointerAnalysisResultImpl.getPointsToSet
(Obj base, JField field) Constructor parameters in pascal.taie.analysis.pta with type arguments of type ObjModifierConstructorDescriptionPointerAnalysisResultImpl
(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 ObjMethods in pascal.taie.analysis.pta.core.cs.element with parameters of type ObjModifier and TypeMethodDescriptionCSManager.getCSObjsOf
(Obj obj) 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 ObjModifier and TypeMethodDescriptionContextSelector.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.heapModifier and TypeClassDescriptionclass
Objects that represent constants.class
Represents a set of merged objects.class
Represents the objects whose allocation sites are not explicitly written in the program.class
Objects that are created by new statements.Methods in pascal.taie.analysis.pta.core.heap with type parameters of type ObjModifier and TypeMethodDescriptionprotected <T extends Obj>
TAbstractHeapModel.add
(T obj) Adds an obj to this model.Methods in pascal.taie.analysis.pta.core.heap that return ObjModifier and TypeMethodDescriptionprotected Obj
AbstractHeapModel.doGetConstantObj
(ReferenceLiteral value) protected abstract Obj
The method which controls the heap modeling for normal objects.protected Obj
AbstractHeapModel.getConstantObj
(ReferenceLiteral value) HeapModel.getConstantObj
(ReferenceLiteral value) 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) HeapModel.getMockObj
(Descriptor desc, Object alloc, Type type, JMethod container, boolean isFunctional) AbstractHeapModel.getObject
(int index) Methods in pascal.taie.analysis.pta.core.heap that return types with arguments of type ObjModifier and TypeMethodDescriptionMergedObj.getAllocation()
AbstractHeapModel.getObjects()
HeapModel.getObjects()
Methods in pascal.taie.analysis.pta.core.heap with parameters of type ObjModifier and TypeMethodDescriptionvoid
MergedObj.addRepresentedObj
(Obj obj) int
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 ObjModifier and TypeMethodDescriptionDeclaredParamProvider.getArrayObjs()
DeclaredParamProvider.getArrayObjs()
EmptyParamProvider.getArrayObjs()
EmptyParamProvider.getArrayObjs()
ParamProvider.getArrayObjs()
ParamProvider.getArrayObjs()
SpecifiedParamProvider.getArrayObjs()
SpecifiedParamProvider.getArrayObjs()
DeclaredParamProvider.getFieldObjs()
DeclaredParamProvider.getFieldObjs()
EmptyParamProvider.getFieldObjs()
EmptyParamProvider.getFieldObjs()
ParamProvider.getFieldObjs()
ParamProvider.getFieldObjs()
SpecifiedParamProvider.getFieldObjs()
SpecifiedParamProvider.getFieldObjs()
DeclaredParamProvider.getParamObjs
(int i) EmptyParamProvider.getParamObjs
(int i) ParamProvider.getParamObjs
(int i) SpecifiedParamProvider.getParamObjs
(int i) DeclaredParamProvider.getThisObjs()
EmptyParamProvider.getThisObjs()
ParamProvider.getThisObjs()
SpecifiedParamProvider.getThisObjs()
Methods in pascal.taie.analysis.pta.core.solver with parameters of type ObjModifier and TypeMethodDescriptionSpecifiedParamProvider.Builder.addArrayObj
(Obj array, Obj elem) SpecifiedParamProvider.Builder.addFieldObj
(Obj base, JField field, Obj obj) 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.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 ObjModifier and TypeMethodDescriptionMethodThrowResult.mayThrowExplicitly
(Stmt stmt) 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 ObjModifier and TypeMethodDescriptionPointerAnalysisResultEx.getObjectsAllocatedIn
(JMethod method) PointerAnalysisResultExImpl.getObjectsAllocatedIn
(JMethod method) PointerAnalysisResultEx.getObjectsOf
(Type type) PointerAnalysisResultExImpl.getObjectsOf
(Type type) PointerAnalysisResultEx.getReceiverObjectsOf
(JMethod method) PointerAnalysisResultExImpl.getReceiverObjectsOf
(JMethod method) Methods in pascal.taie.analysis.pta.toolkit with parameters of type ObjModifier and TypeMethodDescriptionPointerAnalysisResultEx.getMethodsInvokedOn
(Obj obj) 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 ObjModifier and TypeMethodDescriptionOAGs.build
(PointerAnalysisResultEx pta) Builds object allocation graph.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