Uses of Class
pascal.taie.analysis.pta.core.cs.element.CSObj
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 data structures and algorithms of context-sensitive
pointer analysis solver.
Provide plugin interface of pointer analysis and
some instances (implementations).
Implementation of various points-to sets used in pointer analysis.
-
Uses of CSObj in pascal.taie.analysis.pta
Modifier and TypeMethodDescriptionPointerAnalysisResult.getCSObjects()
PointerAnalysisResultImpl.getCSObjects()
-
Uses of CSObj in pascal.taie.analysis.pta.core.cs.element
Modifier and TypeMethodDescriptionCSManager.getCSObjsOf
(Obj obj) MapBasedCSManager.getCSObjsOf
(Obj obj) Pointer.getFilters()
CSManager.getObjectIndexer()
MapBasedCSManager.getObjectIndexer()
CSManager.getObjects()
MapBasedCSManager.getObjects()
Pointer.getObjects()
Safely retrieves context-sensitive objects pointed to by this pointer.Pointer.objects()
Safely retrieves context-sensitive objects pointed to by this pointer.Modifier and TypeMethodDescriptionCSManager.getArrayIndex
(CSObj array) MapBasedCSManager.getArrayIndex
(CSObj array) CSManager.getInstanceField
(CSObj base, JField field) MapBasedCSManager.getInstanceField
(CSObj base, JField field) -
Uses of CSObj in pascal.taie.analysis.pta.core.cs.selector
Modifier and TypeMethodDescriptionContextSelector.selectContext
(CSCallSite callSite, CSObj recv, JMethod callee) Selects contexts for instance methods. -
Uses of CSObj in pascal.taie.analysis.pta.core.solver
Modifier and TypeMethodDescriptionvoid
DefaultSolver.addPointsTo
(Pointer pointer, CSObj csObj) void
Solver.addPointsTo
(Pointer pointer, CSObj csObj) void
DefaultSolver.addVarPointsTo
(Context context, Var var, CSObj csObj) void
Solver.addVarPointsTo
(Context context, Var var, CSObj csObj) Modifier and TypeMethodDescriptionvoid
DefaultSolver.addPointerFilter
(Pointer pointer, Predicate<CSObj> filter) void
Solver.addPointerFilter
(Pointer pointer, Predicate<CSObj> filter) Adds an object filter to given pointer. -
Uses of CSObj in pascal.taie.analysis.pta.plugin
Modifier and TypeMethodDescriptionvoid
CompositePlugin.onUnresolvedCall
(CSObj recv, Context context, Invoke invoke) default void
Plugin.onUnresolvedCall
(CSObj recv, Context context, Invoke invoke) Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object. -
Uses of CSObj in pascal.taie.analysis.pta.plugin.invokedynamic
Modifier and TypeMethodDescriptionvoid
LambdaAnalysis.onUnresolvedCall
(CSObj recv, Context context, Invoke invoke) -
Uses of CSObj in pascal.taie.analysis.pta.plugin.util
Modifier and TypeMethodDescriptionstatic boolean
CSObjs.hasDescriptor
(CSObj csObj, Descriptor desc) static boolean
static Annotation
CSObjs.toAnnotation
(CSObj csObj) Converts a CSObj of an Annotation to the Annotation.static JClass
Converts a CSObj of class to corresponding JClass.static JMethod
CSObjs.toConstructor
(CSObj csObj) Converts a CSObj of java.lang.reflect.Constructor to corresponding JMethod.static JField
Converts a CSObj of java.lang.reflect.Method to corresponding JMethod.static JMethod
Converts a CSObj of java.lang.reflect.Method to corresponding JMethod.static MethodHandle
CSObjs.toMethodHandle
(CSObj csObj) Converts a CSObj of MethodHandle constant to corresponding MethodHandle.static MethodType
CSObjs.toMethodType
(CSObj csObj) Converts a CSObj of MethodType to corresponding MethodType.static String
Converts a CSObj of string constant to corresponding String.static Type
Converts a CSObj of class to corresponding type. -
Uses of CSObj in pascal.taie.analysis.pta.pts
Modifier and TypeMethodDescriptionPointsToSet.getObjects()
PointsToSet.iterator()
PointsToSet.objects()
Modifier and TypeMethodDescriptionboolean
Adds an object to this set.boolean
Convenient method for making one-element points-to set.Modifier and TypeMethodDescriptionvoid
Removes objects from this set if they satisfy the filter.