Uses of Interface
pascal.taie.util.Indexer
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 model for heap objects.
Implementation of various points-to sets used in pointer analysis.
Provide classes related to intermediate representation of method bodies.
Provides functionality related to management of classes (class loading,
class members, class hierarchy, etc.) in the program being analyzed.
-
Uses of Indexer in pascal.taie.analysis.graph.cfg
-
Uses of Indexer in pascal.taie.analysis.graph.flowgraph
-
Uses of Indexer in pascal.taie.analysis.pta
Modifier and TypeMethodDescriptionPointerAnalysisResult.getObjectIndexer()
PointerAnalysisResultImpl.getObjectIndexer()
ModifierConstructorDescriptionPointerAnalysisResultImpl
(PropagateTypes propTypes, CSManager csManager, Indexer<Obj> objIndexer, CallGraph<CSCallSite, CSMethod> csCallGraph, PointerFlowGraph pfg) -
Uses of Indexer in pascal.taie.analysis.pta.core.cs.element
Modifier and TypeMethodDescriptionCSManager.getObjectIndexer()
MapBasedCSManager.getObjectIndexer()
-
Uses of Indexer in pascal.taie.analysis.pta.core.heap
Modifier and TypeInterfaceDescriptioninterface
Represents of heap models for heap objects.Modifier and TypeClassDescriptionclass
All heap models should inherit this class, and we can define some uniform behaviors of heap modeling here.class
-
Uses of Indexer in pascal.taie.analysis.pta.pts
-
Uses of Indexer in pascal.taie.ir
Modifier and TypeInterfaceDescriptioninterface
Intermediate representation for method body of non-abstract methods. -
Uses of Indexer in pascal.taie.language.classes
Modifier and TypeInterfaceDescriptioninterface
Manages the classes and class-related resolution of the program being analyzed. -
Uses of Indexer in pascal.taie.util
-
Uses of Indexer in pascal.taie.util.collection
ModifierConstructorDescriptionHybridBitSet
(Indexer<E> indexer, boolean isSparse) IndexerBitSet
(Indexer<E> indexer, boolean isSparse) -
Uses of Indexer in pascal.taie.util.graph
ModifierConstructorDescriptionDominatorFinder
(Graph<N> graph, Indexer<N> indexer, boolean isSparse) Constructs a dominator finder with a graph and given indexer.