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

T

T - Static variable in class pascal.taie.language.generics.TypeParameter

A commonly used type parameter T.

TableSwitch - Class in pascal.taie.ir.stmt

TableSwitch(Var, int, int) - Constructor for class pascal.taie.ir.stmt.TableSwitch

TaintAnalysis - Class in pascal.taie.analysis.pta.plugin.taint

Taint Analysis composites plugins SourceHandler, TransferHandler and SanitizerHandler to handle the logic associated with Source, TaintTransfer, and Sanitizer respectively.

TaintAnalysis() - Constructor for class pascal.taie.analysis.pta.plugin.taint.TaintAnalysis

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

Configuration for taint analysis.

TaintConfig(List<Source>, List<Sink>, List<TaintTransfer>, List<ParamSanitizer>, boolean) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.TaintConfig

Creates an instance of a TaintConfig record class.

TaintConfigProvider - Class in pascal.taie.analysis.pta.plugin.taint

Provides a configuration for taint analysis.

TaintConfigProvider(ClassHierarchy, TypeSystem) - Constructor for class pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider

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

Each instance represents a taint flow from source to sink.

TaintFlow(SourcePoint, SinkPoint) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.TaintFlow

Creates an instance of a TaintFlow record class.

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

Represents taint transfer between argument/base/return variables caused by invocation to specific method.

TaintTransfer(JMethod, IndexRef, IndexRef, Type) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer

Creates an instance of a TaintTransfer record class.

target - Variable in class pascal.taie.analysis.pta.plugin.reflection.LogItem

target - Variable in class pascal.taie.util.graph.AbstractEdge

The target node of the edge.

target() - Method in record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge

Returns the value of the target record component.

target() - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowEdge

target() - Method in class pascal.taie.util.graph.AbstractEdge

target() - Method in interface pascal.taie.util.graph.Edge

targets - Variable in class pascal.taie.ir.stmt.SwitchStmt

List of jump targets of the switch-statement, one target for each case.

test(String) - Method in class pascal.taie.analysis.pta.core.heap.IsApplicationString

test(String) - Method in class pascal.taie.analysis.pta.core.heap.IsReflectionString

THIS_PASSING - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind

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

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

ThreadHandler - Class in pascal.taie.analysis.pta.plugin

Models initialization of system thread group, main thread group, main thread, and some Thread APIs.

ThreadHandler() - Constructor for class pascal.taie.analysis.pta.plugin.ThreadHandler

Throw - Class in pascal.taie.ir.stmt

Representation of throw exception statement, e.g., throw e.

Throw(Var) - Constructor for class pascal.taie.ir.stmt.Throw

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

ThrowAnalysis - Class in pascal.taie.analysis.exception

ThrowAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.exception.ThrowAnalysis

ThrowResult - Class in pascal.taie.analysis.exception

Timer - Class in pascal.taie.util

Timer(String) - Constructor for class pascal.taie.util.Timer

to() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer

Returns the value of the to record component.

toAnnotation(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of an Annotation to the Annotation.

toArray() - Method in class pascal.taie.util.collection.AbstractHybridSet

toArray() - Method in class pascal.taie.util.collection.ArraySet

toArray(T[]) - Method in class pascal.taie.util.collection.AbstractHybridSet

toArray(T[]) - Method in class pascal.taie.util.collection.ArraySet

toClass(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of class to corresponding JClass.

toClassSig(boolean, String) - Static method in class pascal.taie.language.generics.GSignatures

toCombinedSet(Set<? extends T>, Set<? extends T>) - Static method in class pascal.taie.util.collection.Views

Given two sets, creates an immutable view set consisting of elements of the two sets.

toConstructor(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of java.lang.reflect.Constructor to corresponding JMethod.

toDescriptor(List<Type>, Type) - Static method in class pascal.taie.language.classes.StringReps

toDetailedString() - Method in class pascal.taie.config.AnalysisConfig

toField(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of java.lang.reflect.Method to corresponding JMethod.

toFilteredCollection(Collection<? extends T>, Predicate<T>) - Static method in class pascal.taie.util.collection.Views

Given a filter function, creates an immutable view collection for given collection.

toInt(String) - Static method in class pascal.taie.analysis.pta.plugin.util.InvokeUtils

Coverts string to index.

toLabel(N, CFG<N>) - Static method in class pascal.taie.analysis.graph.cfg.CFGDumper

toMappedCollection(Collection<T>, Function<T, R>) - Static method in class pascal.taie.util.collection.Views

Given a mapper function, creates an immutable view collection for given collection.

toMappedCollection(Collection<T>, Function<T, R>, Predicate<Object>) - Static method in class pascal.taie.util.collection.Views

Given a mapper function, creates an immutable view collection for given collection.

toMappedSet(Collection<T>, Function<T, R>) - Static method in class pascal.taie.util.collection.Views

Given a mapper function, creates an immutable view set for given collection.

toMappedSet(Collection<T>, Function<T, R>, Predicate<Object>) - Static method in class pascal.taie.util.collection.Views

Given a mapper function, creates an immutable view set for given collection.

toMethod(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of java.lang.reflect.Method to corresponding JMethod.

toMethodHandle(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of MethodHandle constant to corresponding MethodHandle.

toMethodSig(String) - Static method in class pascal.taie.language.generics.GSignatures

toMethodType(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of MethodType to corresponding MethodType.

TooManyElementsException - Exception in pascal.taie.util.collection

Thrown by fixed-capacity collections to indicate that the number of elements added to the collection exceeds its fixed capacity.

TooManyElementsException() - Constructor for exception pascal.taie.util.collection.TooManyElementsException

Constructs a new exception.

TooManyElementsException(String) - Constructor for exception pascal.taie.util.collection.TooManyElementsException

Constructs a new exception.

TopologicalSorter<N> - Class in pascal.taie.util.graph

Topologically sorts a directed graph using DFS.

TopologicalSorter(Graph<N>) - Constructor for class pascal.taie.util.graph.TopologicalSorter

TopologicalSorter(Graph<N>, boolean) - Constructor for class pascal.taie.util.graph.TopologicalSorter

TopologicalSorter(Graph<N>, List<N>) - Constructor for class pascal.taie.util.graph.TopologicalSorter

Computes a topological soring of a graph, while the client code wishes to preserve some ordering in the sorting result.

toSet(Collection<T>) - Static method in class pascal.taie.util.collection.CollectionUtils

Converts a collection to a set.

toString() - Method in class pascal.taie.analysis.bugfinder.BugInstance

toString() - Method in interface pascal.taie.analysis.bugfinder.BugType

toString() - Method in class pascal.taie.analysis.dataflow.analysis.availexp.ExpWrapper

toString() - Method in class pascal.taie.analysis.dataflow.analysis.constprop.Value

toString() - Method in class pascal.taie.analysis.dataflow.fact.MapFact

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

toString() - Method in class pascal.taie.analysis.graph.callgraph.Edge

toString() - Method in class pascal.taie.analysis.graph.cfg.CFGEdge

toString() - Method in record class pascal.taie.analysis.graph.cfg.CFGNodeIndexer

Returns a string representation of this record class.

toString() - Method in class pascal.taie.analysis.graph.flowgraph.ArrayIndexNode

toString() - Method in class pascal.taie.analysis.graph.flowgraph.InstanceFieldNode

toString() - Method in record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge

Returns a string representation of this record class.

toString() - Method in class pascal.taie.analysis.graph.flowgraph.StaticFieldNode

toString() - Method in class pascal.taie.analysis.graph.flowgraph.VarNode

toString() - Method in class pascal.taie.analysis.pta.core.cs.context.TrieContext

toString() - Method in class pascal.taie.analysis.pta.core.cs.element.ArrayIndex

toString() - Method in class pascal.taie.analysis.pta.core.cs.element.CSCallSite

toString() - Method in class pascal.taie.analysis.pta.core.cs.element.CSMethod

toString() - Method in class pascal.taie.analysis.pta.core.cs.element.CSObj

toString() - Method in class pascal.taie.analysis.pta.core.cs.element.CSVar

toString() - Method in class pascal.taie.analysis.pta.core.cs.element.InstanceField

toString() - Method in class pascal.taie.analysis.pta.core.cs.element.StaticField

toString() - Method in class pascal.taie.analysis.pta.core.heap.ConstantObj

toString() - Method in class pascal.taie.analysis.pta.core.heap.MergedObj

toString() - Method in class pascal.taie.analysis.pta.core.heap.MockObj

toString() - Method in class pascal.taie.analysis.pta.core.heap.NewObj

toString() - Method in record class pascal.taie.analysis.pta.core.solver.EntryPoint

Returns a string representation of this record class.

toString() - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowEdge

toString() - Method in class pascal.taie.analysis.pta.core.solver.PropagateTypes

toString() - Method in class pascal.taie.analysis.pta.plugin.exception.MethodThrowResult

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSource

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSource

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.IndexRef

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSanitizer

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSource

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.Sink

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintFlow

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer

Returns a string representation of this record class.

toString() - Method in class pascal.taie.config.AnalysisConfig

toString() - Method in class pascal.taie.config.AnalysisOptions

toString() - Method in class pascal.taie.config.Options

toString() - Method in record class pascal.taie.config.Plan

Returns a string representation of this record class.

toString() - Method in class pascal.taie.config.PlanConfig

toString() - Method in class pascal.taie.ir.exp.ComparisonExp

toString() - Method in enum class pascal.taie.ir.exp.ArithmeticExp.Op

toString() - Method in class pascal.taie.ir.exp.ArrayAccess

toString() - Method in class pascal.taie.ir.exp.ArrayLengthExp

toString() - Method in enum class pascal.taie.ir.exp.BitwiseExp.Op

toString() - Method in class pascal.taie.ir.exp.CastExp

toString() - Method in class pascal.taie.ir.exp.ClassLiteral

toString() - Method in enum class pascal.taie.ir.exp.ComparisonExp.Op

toString() - Method in enum class pascal.taie.ir.exp.ConditionExp.Op

toString() - Method in class pascal.taie.ir.exp.DoubleLiteral

toString() - Method in class pascal.taie.ir.exp.FloatLiteral

toString() - Method in class pascal.taie.ir.exp.InstanceFieldAccess

toString() - Method in class pascal.taie.ir.exp.InstanceOfExp

toString() - Method in class pascal.taie.ir.exp.IntLiteral

toString() - Method in class pascal.taie.ir.exp.InvokeDynamic

toString() - Method in class pascal.taie.ir.exp.InvokeInstanceExp

toString() - Method in class pascal.taie.ir.exp.InvokeStatic

toString() - Method in class pascal.taie.ir.exp.LongLiteral

toString() - Method in class pascal.taie.ir.exp.MethodHandle

toString() - Method in class pascal.taie.ir.exp.MethodType

toString() - Method in class pascal.taie.ir.exp.NegExp

toString() - Method in class pascal.taie.ir.exp.NewArray

toString() - Method in class pascal.taie.ir.exp.NewInstance

toString() - Method in class pascal.taie.ir.exp.NewMultiArray

toString() - Method in enum class pascal.taie.ir.exp.NullLiteral

toString() - Method in enum class pascal.taie.ir.exp.ShiftExp.Op

toString() - Method in class pascal.taie.ir.exp.StaticFieldAccess

toString() - Method in class pascal.taie.ir.exp.StringLiteral

toString() - Method in class pascal.taie.ir.exp.Var

toString() - Method in record class pascal.taie.ir.proginfo.ExceptionEntry

Returns a string representation of this record class.

toString() - Method in class pascal.taie.ir.proginfo.FieldRef

toString() - Method in class pascal.taie.ir.proginfo.MethodRef

toString() - Method in class pascal.taie.ir.stmt.AssignStmt

toString() - Method in class pascal.taie.ir.stmt.Catch

toString() - Method in class pascal.taie.ir.stmt.Goto

toString() - Method in class pascal.taie.ir.stmt.If

toString() - Method in class pascal.taie.ir.stmt.Invoke

toString() - Method in enum class pascal.taie.ir.stmt.Monitor.Op

toString() - Method in class pascal.taie.ir.stmt.Monitor

toString() - Method in class pascal.taie.ir.stmt.Nop

toString() - Method in class pascal.taie.ir.stmt.Return

toString() - Method in class pascal.taie.ir.stmt.SwitchStmt

toString() - Method in class pascal.taie.ir.stmt.Throw

toString() - Method in record class pascal.taie.language.annotation.Annotation.Entry

Returns a string representation of this record class.

toString() - Method in class pascal.taie.language.annotation.Annotation

toString() - Method in record class pascal.taie.language.annotation.AnnotationElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.ArrayElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.BooleanElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.ClassElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.DoubleElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.EnumElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.FloatElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.IntElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.LongElement

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.language.annotation.StringElement

Returns a string representation of this record class.

toString() - Method in class pascal.taie.language.classes.ClassMember

toString() - Method in class pascal.taie.language.classes.JClass

toString() - Method in class pascal.taie.language.classes.JField

toString() - Method in enum class pascal.taie.language.classes.Modifier

toString() - Method in class pascal.taie.language.classes.Subsignature

toString() - Method in class pascal.taie.language.generics.ArrayTypeGSignature

toString() - Method in enum class pascal.taie.language.generics.BaseType

toString() - Method in class pascal.taie.language.generics.ClassGSignature

toString() - Method in record class pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature

Returns a string representation of this record class.

toString() - Method in class pascal.taie.language.generics.ClassTypeGSignature

toString() - Method in class pascal.taie.language.generics.MethodGSignature

toString() - Method in class pascal.taie.language.generics.TypeArgument

toString() - Method in class pascal.taie.language.generics.TypeParameter

toString() - Method in class pascal.taie.language.generics.TypeVariableGSignature

toString() - Method in enum class pascal.taie.language.generics.VoidDescriptor

toString() - Method in record class pascal.taie.language.type.ArrayType

Returns a string representation of this record class.

toString() - Method in enum class pascal.taie.language.type.BooleanType

toString() - Method in enum class pascal.taie.language.type.BottomType

toString() - Method in enum class pascal.taie.language.type.ByteType

toString() - Method in enum class pascal.taie.language.type.CharType

toString() - Method in class pascal.taie.language.type.ClassType

toString() - Method in enum class pascal.taie.language.type.DoubleType

toString() - Method in enum class pascal.taie.language.type.FloatType

toString() - Method in enum class pascal.taie.language.type.IntType

toString() - Method in enum class pascal.taie.language.type.LongType

toString() - Method in enum class pascal.taie.language.type.NullType

toString() - Method in enum class pascal.taie.language.type.ShortType

toString() - Method in enum class pascal.taie.language.type.VoidType

toString() - Method in class pascal.taie.util.collection.AbstractBitSet

Returns a string representation of this bit set.

toString() - Method in class pascal.taie.util.collection.AbstractMultiMap

toString() - Method in class pascal.taie.util.collection.AbstractTwoKeyMap

toString() - Method in class pascal.taie.util.collection.AbstractTwoKeyMultiMap

toString() - Method in class pascal.taie.util.collection.MapEntry

toString() - Method in record class pascal.taie.util.collection.Pair

Returns a string representation of this record class.

toString() - Method in record class pascal.taie.util.collection.TwoKeyMap.Entry

Returns a string representation of this record class.

toString() - Method in class pascal.taie.util.graph.AbstractEdge

toString() - Method in class pascal.taie.util.graph.DotAttributes

toString() - Method in class pascal.taie.util.graph.MergedNode

toString() - Method in class pascal.taie.util.MutableInt

toString() - Method in class pascal.taie.util.SimpleIndexer

toString() - Method in class pascal.taie.util.Timer

toString(int) - Static method in class pascal.taie.analysis.pta.plugin.util.InvokeUtils

Converts index to string.

toString(Collection<T>) - Static method in class pascal.taie.util.collection.CollectionUtils

Converts a collection to a string.

toString(Stream<T>) - Static method in class pascal.taie.util.collection.Streams

Converts a stream to a string.

toString(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of string constant to corresponding String.

toString(Invoke) - Static method in class pascal.taie.analysis.graph.callgraph.CallGraphs

toString(Invoke) - Static method in class pascal.taie.ir.IRPrinter

toString(Stmt) - Static method in class pascal.taie.ir.IRPrinter

toString(Stmt) - Method in class pascal.taie.ir.stmt.JumpStmt

Convert a target statement to its String representation.

toSubsignature(String, List<Type>, Type) - Static method in class pascal.taie.language.classes.StringReps

toTaieTypeDesc(String) - Static method in class pascal.taie.language.classes.StringReps

Converts type descriptor in bytecode to Tai-e's type descriptor.

toType(CSObj) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs

Converts a CSObj of class to corresponding type.

toTypeSig(String) - Static method in class pascal.taie.language.generics.GSignatures

Transfer - Interface in pascal.taie.analysis.pta.core.solver

Transfer function on pointer flow edges.

transferCallEdge(CallEdge<Node>, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

transferCallEdge(CallEdge<Stmt>, CPFact) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

transferCallNode(Node, Fact, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

Transfer function for call node.

transferCallNode(Stmt, CPFact, CPFact) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

transferCallToReturnEdge(CallToReturnEdge<Node>, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

transferCallToReturnEdge(CallToReturnEdge<Stmt>, CPFact) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

transferEdge(CFGEdge<Node>, Fact) - Method in class pascal.taie.analysis.dataflow.analysis.AbstractDataflowAnalysis

transferEdge(CFGEdge<Node>, Fact) - Method in interface pascal.taie.analysis.dataflow.analysis.DataflowAnalysis

Edge Transfer function for this analysis.

transferEdge(CFGEdge<Stmt>, CPFact) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

transferEdge(ICFGEdge<Node>, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

Dispatches ICFGEdge to specific edge transfer functions according to the concrete type of ICFGEdge.

transferEdge(ICFGEdge<Node>, Fact) - Method in interface pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis

Edge Transfer function for this analysis.

transferNode(Node, Fact, Fact) - Method in interface pascal.taie.analysis.dataflow.analysis.DataflowAnalysis

Node Transfer function for the analysis.

transferNode(Node, Fact, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

Dispatches Node to specific node transfer functions for call nodes and non-call nodes.

transferNode(Node, Fact, Fact) - Method in interface pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis

Node Transfer function for the analysis.

transferNode(Stmt, CPFact, CPFact) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

transferNonCallNode(Node, Fact, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

Transfer function for non-call node.

transferNonCallNode(Stmt, CPFact, CPFact) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

transferNormalEdge(NormalEdge<Node>, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

transferNormalEdge(NormalEdge<Stmt>, CPFact) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

transferReturnEdge(ReturnEdge<Node>, Fact) - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

transferReturnEdge(ReturnEdge<Stmt>, CPFact) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

transfers() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig

Returns the value of the transfers record component.

transfers() - Method in class pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider

TRANSIENT - Enum constant in enum class pascal.taie.language.classes.Modifier

TriConsumer<T,U,V> - Interface in pascal.taie.util

Represents an operation that accepts three input arguments and returns no result.

TrieContext - Class in pascal.taie.analysis.pta.core.cs.context

An implementation of Context, which organizes contexts as Trie.

TrieContext.Factory<T> - Class in pascal.taie.analysis.pta.core.cs.context

TriFunction<T,U,V,R> - Interface in pascal.taie.util

Represents a function that accepts three arguments and produces a result.

TwoKeyMap<K1,K2,V> - Interface in pascal.taie.util.collection

A collection that maps two-key pairs to values.

TwoKeyMap.Entry<K1,K2,V> - Record Class in pascal.taie.util.collection

A map entry (key1-key2-value triple).

TwoKeyMultiMap<K1,K2,V> - Interface in pascal.taie.util.collection

A collection that maps two-key pairs to values, similar to TwoKeyMap, but in which each two-key pair may be associated with multiple values.

twoKeySet() - Method in class pascal.taie.util.collection.AbstractTwoKeyMap

twoKeySet() - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap

twoKeySet() - Method in interface pascal.taie.util.collection.TwoKeyMap

twoKeySet() - Method in interface pascal.taie.util.collection.TwoKeyMultiMap

type() - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSource

Returns the value of the type record component.

type() - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSource

Returns the value of the type record component.

type() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSource

Returns the value of the type record component.

type() - Method in interface pascal.taie.analysis.pta.plugin.taint.Source

type() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer

Returns the value of the type record component.

type() - Method in record class pascal.taie.language.annotation.EnumElement

Returns the value of the type record component.

Type - Interface in pascal.taie.language.type

typeArgs() - Method in record class pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature

Returns the value of the typeArgs record component.

TypeArgument - Class in pascal.taie.language.generics

TypeArgument.Kind - Enum Class in pascal.taie.language.generics

TypeFilter - Class in pascal.taie.analysis.pta.core.solver

Transfer function that filters out the objects whose types are NOT subtypes of specific type.

TypeFilter(Type, Solver) - Constructor for class pascal.taie.analysis.pta.core.solver.TypeFilter

TypeGSignature - Interface in pascal.taie.language.generics

In JVM Spec.

TypeParameter - Class in pascal.taie.language.generics

In JVM Spec.

typeSystem - Variable in class pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider

typeSystem - Variable in class pascal.taie.analysis.pta.plugin.util.SolverHolder

TypeSystem - Interface in pascal.taie.language.type

This class provides APIs for retrieving types in the analyzed program.

TypeSystemImpl - Class in pascal.taie.language.type

TypeSystemImpl(ClassHierarchy) - Constructor for class pascal.taie.language.type.TypeSystemImpl

TypeVariableGSignature - Class in pascal.taie.language.generics

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