Index

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

C

CachedIRBuilder - Class in pascal.taie.frontend.cache

The IRBuilder is for keeping the IRs of all methods to prevent cyclic references with too long a path which may make the serialization fail or StackOverflowError.

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 underlying WorldBuilder 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

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

CallSourcePoint - Record Class in pascal.taie.analysis.pta.plugin.taint

A CallSourcePoint is variable at an invocation site.

CallSourcePoint(Invoke, int) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.CallSourcePoint

Creates an instance of a CallSourcePoint 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.AssignStmt

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 per Character.toUpperCase(char).

cardinality() - Method in interface pascal.taie.util.collection.IBitSet

Returns the number of bits set to true in this BitSet.

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.PrimitiveType

CHARACTER - Static variable in class pascal.taie.language.classes.ClassNames

characteristics() - Method in class pascal.taie.util.collection.MultiMapCollector

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(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

classForName(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

classForNameKnown(Context, Invoke, String) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

classGetConstructor(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

classGetConstructor(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

classGetConstructorKnown(Context, Invoke, JClass) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

classGetMethod(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

classGetMethod(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

classGetMethodKnown(Context, Invoke, JClass, String) - Method in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

classGetMethods(CSVar, PointsToSet, Invoke) - 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(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel

classNewInstance(CSVar, PointsToSet, Invoke) - 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.analysis.dataflow.fact.ToppedSetFact

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.

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(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

combiner() - Method in class pascal.taie.util.collection.MultiMapCollector

COMPARATOR - Static variable in interface pascal.taie.analysis.pta.plugin.taint.SourcePoint

compare(SourcePoint, SourcePoint) - Static method in interface pascal.taie.analysis.pta.plugin.taint.SourcePoint

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(SinkPoint) - Method in record class pascal.taie.analysis.pta.plugin.taint.SinkPoint

compareTo(SourcePoint) - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSourcePoint

compareTo(SourcePoint) - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSourcePoint

compareTo(SourcePoint) - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSourcePoint

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(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel

container() - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSourcePoint

Returns the value of the container record component.

contains(E) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

contains(E) - Method in class pascal.taie.analysis.dataflow.fact.ToppedSetFact

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 this BitSet contains all set bits in the specified BitSet.

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

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.analysis.dataflow.fact.ToppedSetFact

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.

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form