Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
C
- CachedIRBuilder - Class in pascal.taie.frontend.cache
-
The
IRBuilder
is for keeping theIR
s of all methods to prevent cyclic references with too long a path which may make the serialization fail orStackOverflowError
. - CachedIRBuilder(IRBuilder, ClassHierarchy) - Constructor for class pascal.taie.frontend.cache.CachedIRBuilder
- CachedWorldBuilder - Class in pascal.taie.frontend.cache
-
A
WorldBuilder
that loads the cached world if it exists, or delegates to the underlyingWorldBuilder
otherwise. - CachedWorldBuilder(WorldBuilder) - Constructor for class pascal.taie.frontend.cache.CachedWorldBuilder
- CALL_SITE - Static variable in class pascal.taie.language.classes.ClassNames
- CallEdge<Node> - Class in pascal.taie.analysis.graph.icfg
-
The edge connecting a call site to method entry of the callee.
- calleeToEdges - Variable in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph
- caller - Variable in class pascal.taie.analysis.pta.plugin.reflection.LogItem
- CallGraph<CallSite,
Method> - Interface in pascal.taie.analysis.graph.callgraph -
Representation of call graph.
- CallGraphBuilder - Class in pascal.taie.analysis.graph.callgraph
- CallGraphBuilder(AnalysisConfig) - Constructor for class pascal.taie.analysis.graph.callgraph.CallGraphBuilder
- CallGraphs - Class in pascal.taie.analysis.graph.callgraph
-
Static utility methods about call graph.
- CallKind - Enum Class in pascal.taie.analysis.graph.callgraph
- callSiteMode() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig
-
Returns the value of the
callSiteMode
record component. - callSiteMode() - Method in class pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider
- callSitesIn - Variable in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph
- callSitesIn(Method) - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph
- callSiteToContainer - Variable in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph
- callSiteToEdges - Variable in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph
- CallSource - Record Class in pascal.taie.analysis.pta.plugin.taint
-
Represents sources which generates taint objects at method calls.
- CallSource(JMethod, IndexRef, Type) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.CallSource
-
Creates an instance of a
CallSource
record class. - CallToReturnEdge<Node> - Class in pascal.taie.analysis.graph.icfg
-
The edge connecting a call site and its return site.
- CallToReturnEdge(CFGEdge<Node>) - Constructor for class pascal.taie.analysis.graph.icfg.CallToReturnEdge
- canFallThrough() - Method in class pascal.taie.ir.stmt.Invoke
- canFallThrough() - Method in class pascal.taie.ir.stmt.Goto
- canFallThrough() - Method in class pascal.taie.ir.stmt.Return
- canFallThrough() - Method in interface pascal.taie.ir.stmt.Stmt
- canFallThrough() - Method in class pascal.taie.ir.stmt.SwitchStmt
- canFallThrough() - Method in class pascal.taie.ir.stmt.Throw
- Canonicalizer<T> - Class in pascal.taie.util
-
This class helps eliminate redundant equivalent elements.
- Canonicalizer() - Constructor for class pascal.taie.util.Canonicalizer
- capacity() - Method in class pascal.taie.util.collection.IndexMap
- capitalize(String) - Static method in class pascal.taie.util.Strings
-
Capitalizes a
String
, changing the first letter to upper case as perCharacter.toUpperCase(char)
. - cardinality() - Method in interface pascal.taie.util.collection.IBitSet
-
Returns the number of bits set to
true
in thisBitSet
. - cardinality() - Method in class pascal.taie.util.collection.RegularBitSet
- cardinality() - Method in class pascal.taie.util.collection.SparseBitSet
- Cast - Class in pascal.taie.ir.stmt
-
Representation of cast statement, e.g., a = (T) b.
- Cast(Var, CastExp) - Constructor for class pascal.taie.ir.stmt.Cast
- CAST - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind
- CastExp - Class in pascal.taie.ir.exp
-
Representation of cast expression, e.g., (T) o.
- CastExp(Var, Type) - Constructor for class pascal.taie.ir.exp.CastExp
- Catch - Class in pascal.taie.ir.stmt
-
Representation of catch exception, e.g., catch (e).
- Catch(Var) - Constructor for class pascal.taie.ir.stmt.Catch
- CatchAnalysis - Class in pascal.taie.analysis.exception
-
Intra-procedural catch analysis for computing the exceptions thrown by each Stmt will be caught by which Stmts, or not caught at all.
- CatchAnalysis() - Constructor for class pascal.taie.analysis.exception.CatchAnalysis
- CatchResult - Class in pascal.taie.analysis.exception
- CatchResult() - Constructor for class pascal.taie.analysis.exception.CatchResult
- catchType() - Method in record class pascal.taie.ir.proginfo.ExceptionEntry
-
Returns the value of the
catchType
record component. - CAUGHT_EXCEPTION - Enum constant in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind
-
Edge representing exceptional control flow from an exception-raising node to an explicit handler for the exception.
- cfg - Variable in class pascal.taie.analysis.dataflow.analysis.AbstractDataflowAnalysis
- cfg() - Method in record class pascal.taie.analysis.graph.cfg.CFGNodeIndexer
-
Returns the value of the
cfg
record component. - CFG<N> - Interface in pascal.taie.analysis.graph.cfg
-
Representation of a control-flow graph of a method.
- CFGBuilder - Class in pascal.taie.analysis.graph.cfg
- CFGBuilder(AnalysisConfig) - Constructor for class pascal.taie.analysis.graph.cfg.CFGBuilder
- CFGDumper - Class in pascal.taie.analysis.graph.cfg
- CFGDumper() - Constructor for class pascal.taie.analysis.graph.cfg.CFGDumper
- CFGEdge<N> - Class in pascal.taie.analysis.graph.cfg
-
Represents CFG edges.
- CFGEdge.Kind - Enum Class in pascal.taie.analysis.graph.cfg
- CFGNodeIndexer<Node> - Record Class in pascal.taie.analysis.graph.cfg
-
Indexer for nodes in a CFG.
- CFGNodeIndexer(CFG<Node>) - Constructor for record class pascal.taie.analysis.graph.cfg.CFGNodeIndexer
-
Creates an instance of a
CFGNodeIndexer
record class. - CHAR - Enum constant in enum class pascal.taie.language.generics.BaseType
- CHAR - Enum constant in enum class pascal.taie.language.type.CharType
- CHARACTER - Static variable in class pascal.taie.language.classes.ClassNames
- characteristics() - Method in class pascal.taie.util.collection.MultiMapCollector
- CharType - Enum Class in pascal.taie.language.type
- CLASS - Static variable in class pascal.taie.language.classes.ClassNames
- CLASS_CAST_EXCEPTION - Static variable in class pascal.taie.language.classes.ClassNames
- CLASS_NOT_FOUND_EXCEPTION - Static variable in class pascal.taie.language.classes.ClassNames
- ClassAnalysis<R> - Class in pascal.taie.analysis
-
Abstract base class for all class analyses, or say, intra-class analyses.
- ClassAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.ClassAnalysis
- classDescriptor() - Method in record class pascal.taie.language.annotation.ClassElement
-
Returns the value of the
classDescriptor
record component. - ClassElement - Record Class in pascal.taie.language.annotation
-
Represents class constant elements.
- ClassElement(String) - Constructor for record class pascal.taie.language.annotation.ClassElement
-
Creates an instance of a
ClassElement
record class. - classForName(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- classForName(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel
- classForNameKnown(Context, Invoke, String) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- classGetConstructor(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- classGetConstructor(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel
- classGetConstructorKnown(Context, Invoke, JClass) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- classGetMethod(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- classGetMethod(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel
- classGetMethodKnown(Context, Invoke, JClass, String) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- classGetMethods(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- ClassGSignature - Class in pascal.taie.language.generics
-
In JVM Spec.
- ClassHierarchy - Interface in pascal.taie.language.classes
-
Manages the classes and class-related resolution of the program being analyzed.
- ClassHierarchyImpl - Class in pascal.taie.language.classes
- ClassHierarchyImpl() - Constructor for class pascal.taie.language.classes.ClassHierarchyImpl
- ClassInitializer - Class in pascal.taie.analysis.pta.plugin
-
Triggers the analysis of class initializers.
- ClassInitializer() - Constructor for class pascal.taie.analysis.pta.plugin.ClassInitializer
- ClassLiteral - Class in pascal.taie.ir.exp
- ClassMember - Class in pascal.taie.language.classes
- ClassMember(JClass, String, Set<Modifier>, AnnotationHolder) - Constructor for class pascal.taie.language.classes.ClassMember
- className() - Method in record class pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature
-
Returns the value of the
className
record component. - ClassNameExtractor - Class in pascal.taie.util
-
Utility class for extracting names of all classes inside given JAR files or directories.
- ClassNameExtractor() - Constructor for class pascal.taie.util.ClassNameExtractor
- ClassNames - Class in pascal.taie.language.classes
-
Provides names of special classes.
- classNewInstance(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel
- classNewInstance(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- ClassType - Class in pascal.taie.language.type
- ClassType(JClassLoader, String) - Constructor for class pascal.taie.language.type.ClassType
- ClassTypeGSignature - Class in pascal.taie.language.generics
-
In JVM Spec.
- ClassTypeGSignature.SimpleClassTypeGSignature - Record Class in pascal.taie.language.generics
- clear() - Method in class pascal.taie.analysis.dataflow.fact.MapFact
-
Clears all content in this fact.
- clear() - Method in class pascal.taie.analysis.dataflow.fact.SetFact
-
Clears all content in this fact.
- clear() - Method in class pascal.taie.util.collection.AbstractHybridMap
- clear() - Method in class pascal.taie.util.collection.AbstractHybridSet
- clear() - Method in class pascal.taie.util.collection.ArraySet
- clear() - Method in class pascal.taie.util.collection.GenericBitSet
- clear() - Method in interface pascal.taie.util.collection.IBitSet
-
Sets all of the bits in this BitSet to
false
. - clear() - Method in class pascal.taie.util.collection.IndexMap
- clear() - Method in class pascal.taie.util.collection.MapMapTwoKeyMap
- clear() - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- clear() - Method in class pascal.taie.util.collection.MapSetMultiMap
- clear() - Method in interface pascal.taie.util.collection.MultiMap
-
Removes all key-value pairs from the multimap, leaving it empty.
- clear() - Method in class pascal.taie.util.collection.RegularBitSet
- clear() - Method in class pascal.taie.util.collection.SparseBitSet
- clear() - Method in interface pascal.taie.util.collection.TwoKeyMap
-
Removes all the mappings from this map.
- clear() - Method in interface pascal.taie.util.collection.TwoKeyMultiMap
-
Removes all the mappings from this map.
- clear() - Method in class pascal.taie.util.Timer
- clear(int) - Method in interface pascal.taie.util.collection.IBitSet
-
Sets the bit specified by the index to
false
. - clear(int) - Method in class pascal.taie.util.collection.RegularBitSet
- clear(int) - Method in class pascal.taie.util.collection.SparseBitSet
- clearAll() - Method in class pascal.taie.util.AbstractResultHolder
- clearAll() - Method in interface pascal.taie.util.ResultHolder
-
Clears all cached results.
- clearPlugins() - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin
- clearResult(String) - Method in class pascal.taie.util.AbstractResultHolder
- clearResult(String) - Method in interface pascal.taie.util.ResultHolder
-
Clears result of the analysis specified by given key.
- CLINIT - Static variable in class pascal.taie.language.classes.MethodNames
- CLINIT - Static variable in class pascal.taie.language.classes.Subsignature
- CLONE_NOT_SUPPORTED_EXCEPTION - Static variable in class pascal.taie.language.classes.ClassNames
- CLONEABLE - Static variable in class pascal.taie.language.classes.ClassNames
- CloneIdiom - Class in pascal.taie.analysis.bugfinder
- CloneIdiom(AnalysisConfig) - Constructor for class pascal.taie.analysis.bugfinder.CloneIdiom
- CMP - Enum constant in enum class pascal.taie.ir.exp.ComparisonExp.Op
- CMPG - Enum constant in enum class pascal.taie.ir.exp.ComparisonExp.Op
- CMPL - Enum constant in enum class pascal.taie.ir.exp.ComparisonExp.Op
- CollectionMethods - Class in pascal.taie.analysis.pta.toolkit
-
Computes collection methods in the program.
- CollectionMethods(ClassHierarchy) - Constructor for class pascal.taie.analysis.pta.toolkit.CollectionMethods
- CollectionUtils - Class in pascal.taie.util.collection
-
Utility methods for
Collection
. - collectUnsoundArrayNewInstance(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- combiner() - Method in class pascal.taie.util.collection.MultiMapCollector
- compareAndSwapObject(Invoke) - Method in class pascal.taie.analysis.pta.plugin.natives.UnsafeModel
- compareTo(Number) - Method in class pascal.taie.util.MutableInt
- compareTo(BugInstance) - Method in class pascal.taie.analysis.bugfinder.BugInstance
- compareTo(IndexRef) - Method in record class pascal.taie.analysis.pta.plugin.taint.IndexRef
- compareTo(TaintFlow) - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintFlow
- compareTo(Invoke) - Method in class pascal.taie.ir.stmt.Invoke
- ComparisonExp - Class in pascal.taie.ir.exp
-
Representation of comparison expression, e.g., cmp.
- ComparisonExp(ComparisonExp.Op, Var, Var) - Constructor for class pascal.taie.ir.exp.ComparisonExp
- ComparisonExp.Op - Enum Class in pascal.taie.ir.exp
- CompositePlugin - Class in pascal.taie.analysis.pta.plugin
-
Composite plugin which allows multiple independent plugins to be used together.
- CompositePlugin() - Constructor for class pascal.taie.analysis.pta.plugin.CompositePlugin
- computeIfAbsent(K1, K2, BiFunction<K1, K2, V>) - Method in interface pascal.taie.util.collection.TwoKeyMap
-
If the specified key-pair is not already associated with a value, attempts to compute its value using the given mapping function and enters it into this map unless
null
. - computeInvokedMethods(PointerAnalysisResultEx) - Static method in class pascal.taie.analysis.pta.toolkit.util.OAGs
-
Computes the methods invoked on all objects in the program.
- concat(Stream<? extends T>...) - Static method in class pascal.taie.util.collection.Streams
-
Leverages
Stream.concat(Stream, Stream)
to create a lazily concatenated stream whose elements are all the elements of multiple given streams. - concatDistinct(List<? extends T>, List<? extends T>) - Static method in class pascal.taie.util.collection.Lists
-
Concatenates two lists and removes duplicate items in the resulting list.
- ConditionExp - Class in pascal.taie.ir.exp
-
Representation of condition expression, e.g., a == b.
- ConditionExp(ConditionExp.Op, Var, Var) - Constructor for class pascal.taie.ir.exp.ConditionExp
- ConditionExp.Op - Enum Class in pascal.taie.ir.exp
- ConfigException - Exception in pascal.taie.config
-
This class represents the exceptions in configuration.
- ConfigException(String) - Constructor for exception pascal.taie.config.ConfigException
- ConfigException(String, Throwable) - Constructor for exception pascal.taie.config.ConfigException
- ConfigManager - Class in pascal.taie.config
-
Manages a collection of
AnalysisConfig
. - ConfigManager(List<AnalysisConfig>) - Constructor for class pascal.taie.config.ConfigManager
- Configs - Class in pascal.taie.config
-
Static utility methods for config system.
- ConstantObj - Class in pascal.taie.analysis.pta.core.heap
-
Objects that represent constants.
- ConstantPropagation - Class in pascal.taie.analysis.dataflow.analysis.constprop
-
Implementation of constant propagation for int values.
- ConstantPropagation(AnalysisConfig) - Constructor for class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation
- ConstantPropagation.Analysis - Class in pascal.taie.analysis.dataflow.analysis.constprop
- ConstraintChecker - Class in pascal.taie.analysis.pta.plugin
-
This class is for debugging/testing purpose.
- ConstraintChecker() - Constructor for class pascal.taie.analysis.pta.plugin.ConstraintChecker
- CONSTRUCTOR - Static variable in class pascal.taie.language.classes.ClassNames
- constructorNewInstance(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel
- contains(E) - Method in class pascal.taie.analysis.dataflow.fact.SetFact
- contains(Object) - Method in class pascal.taie.util.collection.AbstractHybridSet
- contains(Object) - Method in class pascal.taie.util.collection.ArraySet
- contains(Object) - Method in class pascal.taie.util.collection.GenericBitSet
- contains(Object) - Method in class pascal.taie.util.collection.IndexableSet
- contains(K1, K2, V) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- contains(K1, K2, V) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap
- contains(K, V) - Method in class pascal.taie.util.collection.MapSetMultiMap
- contains(K, V) - Method in interface pascal.taie.util.collection.MultiMap
- contains(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph
- contains(Method) - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph
- contains(CSObj) - Method in interface pascal.taie.analysis.pta.pts.PointsToSet
- contains(IBitSet) - Method in class pascal.taie.util.collection.AbstractBitSet
- contains(IBitSet) - Method in interface pascal.taie.util.collection.IBitSet
-
Returns
true
if thisBitSet
contains all set bits in the specifiedBitSet
. - contains(IBitSet) - Method in class pascal.taie.util.collection.RegularBitSet
- contains(IBitSet) - Method in class pascal.taie.util.collection.SparseBitSet
- containsAll(Collection<?>) - Method in class pascal.taie.util.collection.AbstractHybridSet
- containsAll(Collection<?>) - Method in class pascal.taie.util.collection.ArraySet
- containsAll(Collection<?>) - Method in class pascal.taie.util.collection.GenericBitSet
- containsAll(Collection<?>) - Method in class pascal.taie.util.collection.HybridBitSet
- containsKey(Object) - Method in class pascal.taie.util.collection.AbstractHybridMap
- containsKey(Object) - Method in class pascal.taie.util.collection.ArrayMap
- containsKey(Object) - Method in class pascal.taie.util.collection.IndexMap
- containsKey(K) - Method in class pascal.taie.util.collection.MapSetMultiMap
- containsKey(K) - Method in interface pascal.taie.util.collection.MultiMap
- containsKey(K1) - Method in class pascal.taie.util.collection.AbstractTwoKeyMap
- containsKey(K1) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- containsKey(K1) - Method in interface pascal.taie.util.collection.TwoKeyMap
- containsKey(K1) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap
- containsKey(K1, K2) - Method in class pascal.taie.util.collection.AbstractTwoKeyMap
- containsKey(K1, K2) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- containsKey(K1, K2) - Method in interface pascal.taie.util.collection.TwoKeyMap
- containsKey(K1, K2) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap
- containsValue(Object) - Method in class pascal.taie.util.collection.AbstractHybridMap
- containsValue(Object) - Method in class pascal.taie.util.collection.ArrayMap
- containsValue(V) - Method in class pascal.taie.util.collection.AbstractMultiMap
- containsValue(V) - Method in class pascal.taie.util.collection.AbstractTwoKeyMap
- containsValue(V) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- containsValue(V) - Method in interface pascal.taie.util.collection.MultiMap
- containsValue(V) - Method in interface pascal.taie.util.collection.TwoKeyMap
- containsValue(V) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap
- context - Variable in class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement
- Context - Interface in pascal.taie.analysis.pta.core.cs.context
-
Representation of contexts in context-sensitive pointer analysis.
- ContextFactory<T> - Interface in pascal.taie.analysis.pta.core.cs.context
-
Factory of contexts, which provides convenient APIs to create contexts.
- ContextSelector - Interface in pascal.taie.analysis.pta.core.cs.selector
-
Represents context sensitivity variants.
- ContextSelectorFactory - Class in pascal.taie.analysis.pta.core.cs.selector
-
Provides static factory methods for various context selectors.
- ContextSelectorFactory() - Constructor for class pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
- copy() - Method in class pascal.taie.analysis.dataflow.analysis.constprop.CPFact
- copy() - Method in class pascal.taie.analysis.dataflow.fact.MapFact
-
Creates and returns a copy of this fact.
- copy() - Method in class pascal.taie.analysis.dataflow.fact.SetFact
-
Creates and returns a copy of this fact.
- copy() - Method in class pascal.taie.util.collection.AbstractSetEx
- copy() - Method in class pascal.taie.util.collection.ArraySet
- copy() - Method in class pascal.taie.util.collection.GenericBitSet
- copy() - Method in class pascal.taie.util.collection.HybridBitSet
- copy() - Method in class pascal.taie.util.collection.RegularBitSet
- copy() - Method in class pascal.taie.util.collection.SparseBitSet
- copy() - Method in interface pascal.taie.util.Copyable
-
Creates and returns a copy of this object.
- Copy - Class in pascal.taie.ir.stmt
-
Representation of copy statement, e.g., a = b.
- Copy(Var, Var) - Constructor for class pascal.taie.ir.stmt.Copy
- Copyable<T> - Interface in pascal.taie.util
- copyFrom(MapFact<K, V>) - Method in class pascal.taie.analysis.dataflow.fact.MapFact
-
Copies the content from given fact to this fact.
- CPFact - Class in pascal.taie.analysis.dataflow.analysis.constprop
-
Represents data facts of constant propagation, which maps variables to their lattice values.
- CPFact() - Constructor for class pascal.taie.analysis.dataflow.analysis.constprop.CPFact
- CRITICAL - Enum constant in enum class pascal.taie.analysis.bugfinder.Severity
- CSCallGraph - Class in pascal.taie.analysis.pta.core.cs
-
Represents context-sensitive call graph.
- CSCallGraph(CSManager) - Constructor for class pascal.taie.analysis.pta.core.cs.CSCallGraph
- CSCallSite - Class in pascal.taie.analysis.pta.core.cs.element
-
Represents context-sensitive call sites.
- CSElement - Interface in pascal.taie.analysis.pta.core.cs.element
-
Context-sensitive elements.
- csManager - Variable in class pascal.taie.analysis.pta.plugin.util.SolverHolder
- CSManager - Interface in pascal.taie.analysis.pta.core.cs.element
-
Manages context-sensitive elements and pointers in pointer analysis.
- CSMethod - Class in pascal.taie.analysis.pta.core.cs.element
-
Represents context-sensitive methods.
- CSMethodThrowResult - Class in pascal.taie.analysis.pta.plugin.exception
- CSObj - Class in pascal.taie.analysis.pta.core.cs.element
-
Represents context-sensitive objects.
- CSObjs - Class in pascal.taie.analysis.pta.plugin.util
-
Static utility methods for
CSObjs
. - CSVar - Class in pascal.taie.analysis.pta.core.cs.element
-
Represents context-sensitive variables.
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form