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

I

IBitSet - Interface in pascal.taie.util.collection

Interface for different bit set implementations.

IBitSet.Action<R> - Interface in pascal.taie.util.collection

Action on set bits.

icfg - Variable in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

ICFG<Method,Node> - Interface in pascal.taie.analysis.graph.icfg

Represents an inter-procedural control-flow graph.

ICFGBuilder - Class in pascal.taie.analysis.graph.icfg

ICFGBuilder(AnalysisConfig) - Constructor for class pascal.taie.analysis.graph.icfg.ICFGBuilder

ICFGEdge<Node> - Class in pascal.taie.analysis.graph.icfg

Abstract class for ICFG edges.

ID - Static variable in class pascal.taie.analysis.bugfinder.CloneIdiom

ID - Static variable in class pascal.taie.analysis.bugfinder.DroppedException

ID - Static variable in class pascal.taie.analysis.bugfinder.nullpointer.IsNullAnalysis

ID - Static variable in class pascal.taie.analysis.bugfinder.nullpointer.NullPointerDetection

ID - Static variable in class pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression

ID - Static variable in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation

ID - Static variable in class pascal.taie.analysis.dataflow.analysis.LiveVariable

ID - Static variable in class pascal.taie.analysis.dataflow.analysis.ReachingDefinition

ID - Static variable in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

ID - Static variable in class pascal.taie.analysis.deadcode.DeadCodeDetection

ID - Static variable in class pascal.taie.analysis.defuse.DefUseAnalysis

ID - Static variable in class pascal.taie.analysis.exception.ThrowAnalysis

ID - Static variable in class pascal.taie.analysis.graph.callgraph.CallGraphBuilder

ID - Static variable in class pascal.taie.analysis.graph.cfg.CFGBuilder

ID - Static variable in class pascal.taie.analysis.graph.icfg.ICFGBuilder

ID - Static variable in class pascal.taie.analysis.misc.IRDumper

ID - Static variable in class pascal.taie.analysis.misc.ResultProcessor

ID - Static variable in class pascal.taie.analysis.pta.client.MayFailCast

ID - Static variable in class pascal.taie.analysis.pta.client.PolymorphicCallSite

ID - Static variable in class pascal.taie.analysis.pta.PointerAnalysis

Identity - Enum Class in pascal.taie.analysis.pta.core.solver

If - Class in pascal.taie.ir.stmt

Representation of if statement, e.g., if a == b goto S;

If(ConditionExp) - Constructor for class pascal.taie.ir.stmt.If

IF_FALSE - Enum constant in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind

Edge kind for if statements when condition is false.

IF_TRUE - Enum constant in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind

Edge kind for if statements when condition is true.

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

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

implicitEntries - Static variable in class pascal.taie.AbstractWorldBuilder

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

index - Variable in class pascal.taie.ir.stmt.LookupSwitch

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

Returns the value of the index record component.

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

Returns the value of the index record component.

index() - Method in record class pascal.taie.analysis.pta.plugin.taint.SinkPoint

Returns the value of the index record component.

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

Indexable - Interface in pascal.taie.util

The instances of the classes that implement this interface can provide a unique non-negative index, so that they can be stored in efficient data structures (e.g., bit set).

IndexableSet<E extends Indexable> - Class in pascal.taie.util.collection

An efficient set implementation for Indexable objects.

IndexableSet(boolean) - Constructor for class pascal.taie.util.collection.IndexableSet

Indexer<E> - Interface in pascal.taie.util

An indexer assigns each object a unique index, so that the objects can be stored in efficient data structures.

IndexerBitSet<E> - Class in pascal.taie.util.collection

This implementation leverages Indexer to take care of the mappings between objects and indexes.

IndexerBitSet(Indexer<E>, boolean) - Constructor for class pascal.taie.util.collection.IndexerBitSet

IndexMap<K,V> - Class in pascal.taie.util.collection

Array-based implementation of the Map interface.

IndexMap(Indexer<K>, int) - Constructor for class pascal.taie.util.collection.IndexMap

INIT - Static variable in class pascal.taie.language.classes.MethodNames

initialize() - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

If the concrete analysis needs to perform some initialization before the solver starts, then it can overwrite this method.

initialize() - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

initializeClass(JClass) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

initializeClass(JClass) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Analyzes the static initializer (i.e., <clinit>) of given class.

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

INSTANCE - Enum constant in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider

INSTANCE - Enum constant in enum class pascal.taie.analysis.pta.core.solver.Identity

INSTANCE - Enum constant in enum class pascal.taie.analysis.pta.plugin.util.DummyModel

INSTANCE - Enum constant in enum class pascal.taie.ir.exp.NullLiteral

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

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

InstanceField - Class in pascal.taie.analysis.pta.core.cs.element

Represents instance field pointers.

InstanceFieldAccess - Class in pascal.taie.ir.exp

Representation of instance field access expression, e.g., o.f.

InstanceFieldAccess(FieldRef, Var) - Constructor for class pascal.taie.ir.exp.InstanceFieldAccess

InstanceFieldNode - Class in pascal.taie.analysis.graph.flowgraph

InstanceNode - Class in pascal.taie.analysis.graph.flowgraph

InstanceOf - Class in pascal.taie.ir.stmt

Representation of instanceof statement, e.g., a = (b instanceof T).

InstanceOf(Var, InstanceOfExp) - Constructor for class pascal.taie.ir.stmt.InstanceOf

INSTANCEOF - Enum constant in enum class pascal.taie.language.generics.TypeArgument.Kind

InstanceOfExp - Class in pascal.taie.ir.exp

Representation of instanceof expression, e.g., o instanceof T.

InstanceOfExp(Var, ReferenceType) - Constructor for class pascal.taie.ir.exp.InstanceOfExp

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

INT - Enum constant in enum class pascal.taie.language.generics.BaseType

INT - Enum constant in enum class pascal.taie.language.type.PrimitiveType

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

IntegerLiteral - Interface in pascal.taie.ir.exp

IntElement - Record Class in pascal.taie.language.annotation

IntElement(int) - Constructor for record class pascal.taie.language.annotation.IntElement

Creates an instance of a IntElement record class.

InterConstantPropagation - Class in pascal.taie.analysis.dataflow.inter

Implementation of interprocedural constant propagation for int values.

InterConstantPropagation(AnalysisConfig) - Constructor for class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

InterDataflowAnalysis<Node,Fact> - Interface in pascal.taie.analysis.dataflow.inter

Template interface for defining inter-procedural data-flow analysis.

INTERFACE - Enum constant in enum class pascal.taie.analysis.graph.callgraph.CallKind

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

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

InternalCanonicalized - Annotation Interface in pascal.taie.util

Marker annotation.

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

intersect(SetFact<E>) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

Intersects this fact with other fact.

intersect(SetFact<E>) - Method in class pascal.taie.analysis.dataflow.fact.ToppedSetFact

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

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

Returns true if the specified BitSet has any bits set to true that are also set to true in this BitSet.

intersects(IBitSet) - Method in class pascal.taie.util.collection.RegularBitSet

intersects(IBitSet) - Method in class pascal.taie.util.collection.SparseBitSet

intersectWith(SetFact<E>) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

IntLiteral - Class in pascal.taie.ir.exp

Representation of int literals.

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

Invoke - Class in pascal.taie.ir.stmt

Representation of invocation statement, e.g., r = o.m(...) or o.m(...).

Invoke(JMethod, InvokeExp) - Constructor for class pascal.taie.ir.stmt.Invoke

Invoke(JMethod, InvokeExp, Var) - Constructor for class pascal.taie.ir.stmt.Invoke

InvokeDynamic - Class in pascal.taie.ir.exp

Representation of invokedynamic instructions.

InvokeDynamic(MethodRef, String, MethodType, List<Literal>, List<Var>) - Constructor for class pascal.taie.ir.exp.InvokeDynamic

INVOKEDYNAMIC_FINDCONSTRUCTOR - Static variable in class pascal.taie.language.classes.Signatures

INVOKEDYNAMIC_FINDSPECIAL - Static variable in class pascal.taie.language.classes.Signatures

INVOKEDYNAMIC_FINDSTATIC - Static variable in class pascal.taie.language.classes.Signatures

INVOKEDYNAMIC_FINDVIRTUAL - Static variable in class pascal.taie.language.classes.Signatures

InvokeDynamicAnalysis - Class in pascal.taie.analysis.pta.plugin.invokedynamic

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

InvokeExp - Class in pascal.taie.ir.exp

Representation of method invocation expression.

InvokeExp(MethodRef, List<Var>) - Constructor for class pascal.taie.ir.exp.InvokeExp

InvokeHandler - Annotation Interface in pascal.taie.analysis.pta.plugin.util

Annotation for conveniently marking Invoke handlers in API models.

InvokeHandlers - Annotation Interface in pascal.taie.analysis.pta.plugin.util

Container annotation for InvokeHandler.

InvokeInstanceExp - Class in pascal.taie.ir.exp

Representation of instance invocation (virtual, interface, and special) expression.

InvokeInstanceExp(MethodRef, Var, List<Var>) - Constructor for class pascal.taie.ir.exp.InvokeInstanceExp

InvokeInterface - Class in pascal.taie.ir.exp

Representation of invokeinterface expression, e.g., o.m(...).

InvokeInterface(MethodRef, Var, List<Var>) - Constructor for class pascal.taie.ir.exp.InvokeInterface

invokes(boolean) - Method in interface pascal.taie.ir.IR

Convenient method to obtain Invokes in this IR.

InvokeSpecial - Class in pascal.taie.ir.exp

Representation of invokespecial expression, e.g., super.m(...).

InvokeSpecial(MethodRef, Var, List<Var>) - Constructor for class pascal.taie.ir.exp.InvokeSpecial

InvokeStatic - Class in pascal.taie.ir.exp

Representation of invokestatic expression, e.g., T.m(...).

InvokeStatic(MethodRef, List<Var>) - Constructor for class pascal.taie.ir.exp.InvokeStatic

invokesWithLog - Variable in class pascal.taie.analysis.pta.plugin.reflection.StringBasedModel

InvokeUtils - Class in pascal.taie.analysis.pta.plugin.util

Provides utility methods to conveniently handle Invoke.

InvokeVirtual - Class in pascal.taie.ir.exp

Representation of invokevirtual expression, e.g., o.m(...).

InvokeVirtual(MethodRef, Var, List<Var>) - Constructor for class pascal.taie.ir.exp.InvokeVirtual

IR - Interface in pascal.taie.ir

Intermediate representation for method body of non-abstract methods.

IRBuilder - Interface in pascal.taie.ir

Interface for builder of IR.

IRBuildHelper - Class in pascal.taie.ir

Helper for building IR for a method from scratch.

IRBuildHelper(JMethod) - Constructor for class pascal.taie.ir.IRBuildHelper

IRDumper - Class in pascal.taie.analysis.misc

Dumps Tai-e IR for classes of input program.

IRDumper(AnalysisConfig) - Constructor for class pascal.taie.analysis.misc.IRDumper

IRModel - Interface in pascal.taie.analysis.pta.plugin.util

Models specific APIs by generating corresponding IR.

IRPrinter - Class in pascal.taie.ir

IRPrinter() - Constructor for class pascal.taie.ir.IRPrinter

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

isAbstract() - Method in class pascal.taie.language.classes.JMethod

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

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

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

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

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

isApplication() - Method in interface pascal.taie.language.classes.JClassBuilder

IsApplicationString - Class in pascal.taie.analysis.pta.core.heap

Predicate for checking whether given string constants are in application code.

IsApplicationString() - Constructor for class pascal.taie.analysis.pta.core.heap.IsApplicationString

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

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

isCallSite(Node) - Method in interface pascal.taie.analysis.graph.icfg.ICFG

isConnected(E, E) - Method in class pascal.taie.util.collection.UnionFindSet

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

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

isConstructor() - Method in class pascal.taie.language.classes.JMethod

isDominatedBy(N, N) - Method in class pascal.taie.util.graph.DominatorFinder

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

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

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

isEmpty() - Method in interface pascal.taie.analysis.pta.pts.PointsToSet

isEmpty() - Method in class pascal.taie.util.collection.AbstractHybridMap

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

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

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

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

isEmpty() - Method in class pascal.taie.util.collection.ArrayMap

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

isEmpty() - Method in class pascal.taie.util.collection.GenericBitSet

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

Returns true if this BitSet contains no bits that are set to true.

isEmpty() - Method in class pascal.taie.util.collection.IndexMap

isEmpty() - Method in interface pascal.taie.util.collection.MultiMap

isEmpty() - Method in class pascal.taie.util.collection.RegularBitSet

isEmpty() - Method in class pascal.taie.util.collection.SparseBitSet

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

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

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

isEntry(N) - Method in interface pascal.taie.analysis.graph.cfg.CFG

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

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

isExit(N) - Method in interface pascal.taie.analysis.graph.cfg.CFG

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

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

isForward() - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

isForward() - Method in interface pascal.taie.analysis.dataflow.analysis.DataflowAnalysis

isForward() - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

isForward() - Method in interface pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis

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

isFunctional() - Method in class pascal.taie.analysis.pta.core.heap.Obj

An object is functional means that it can hold fields (or array indexes).

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

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

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

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

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

isJavaLangObject() - Method in interface pascal.taie.language.generics.ReferenceTypeGSignature

isLargeSet - Variable in class pascal.taie.util.collection.AbstractHybridSet

Whether the set implementation is the one for large set.

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

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

isNative() - Method in class pascal.taie.language.classes.JMethod

IsNullAnalysis - Class in pascal.taie.analysis.bugfinder.nullpointer

IsNullAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.bugfinder.nullpointer.IsNullAnalysis

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

isParam(Var) - Method in class pascal.taie.ir.DefaultIR

isParam(Var) - Method in interface pascal.taie.ir.IR

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

isPhantom() - Method in interface pascal.taie.language.classes.JClassBuilder

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

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

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

isPrimitiveType(String) - Static method in enum class pascal.taie.language.type.PrimitiveType

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

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

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

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

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

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

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

IsReflectionString - Class in pascal.taie.analysis.pta.core.heap

Predicate for checking whether given string constants are reflection-relevant, i.e., class names, method names, or field names.

IsReflectionString() - Constructor for class pascal.taie.analysis.pta.core.heap.IsReflectionString

isRelevant(Stmt) - Method in interface pascal.taie.analysis.dataflow.fact.NodeResult

Typically, all stmts are relevant in NodeResult.

isRelevant(Stmt) - Method in class pascal.taie.analysis.defuse.DefUse

isRelevant(Stmt) - Method in class pascal.taie.analysis.graph.callgraph.DefaultCallGraph

isRelevant(Stmt) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

isRelevant(Stmt) - Method in interface pascal.taie.analysis.StmtResult

isRelevantVar(Var) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

isRelevantVar(Var) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel

isRelevantVar(Var) - Method in enum class pascal.taie.analysis.pta.plugin.util.DummyModel

isRelevantVar(Var) - Method in interface pascal.taie.analysis.pta.plugin.util.Model

isSparse(IBitSet) - Static method in interface pascal.taie.util.collection.IBitSet

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

isStatic() - Method in class pascal.taie.ir.proginfo.MemberRef

isStatic() - Method in class pascal.taie.ir.stmt.FieldStmt

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

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

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

isStaticInitializer() - Method in class pascal.taie.language.classes.JMethod

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

isStringConstant(Obj) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

isStringConstant(Obj) - Method in interface pascal.taie.analysis.pta.core.heap.HeapModel

isSubclass(JClass, JClass) - Method in interface pascal.taie.language.classes.ClassHierarchy

isSubclass(JClass, JClass) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

isSubtype(Type, Type) - Method in interface pascal.taie.language.type.TypeSystem

isSubtype(Type, Type) - Method in class pascal.taie.language.type.TypeSystemImpl

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

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

isThisOrParam(Var) - Method in class pascal.taie.ir.DefaultIR

isThisOrParam(Var) - Method in interface pascal.taie.ir.IR

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

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

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

isVoid(char) - Static method in enum class pascal.taie.language.generics.VoidDescriptor

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

iterateBits(IBitSet.Action<R>) - Method in interface pascal.taie.util.collection.IBitSet

Iterates all set bits in this set and takes action on them.

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

iterator() - Method in interface pascal.taie.analysis.pta.pts.PointsToSet

iterator() - Method in interface pascal.taie.ir.IR

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

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

iterator() - Method in class pascal.taie.util.collection.GenericBitSet

iterator() - Method in class pascal.taie.util.collection.IndexableSet

iterator() - Method in class pascal.taie.util.collection.SetQueue

iterator() - Method in interface pascal.taie.util.graph.Graph

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