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
 
ID - Static variable in class pascal.taie.analysis.sideeffect.SideEffectAnalysis
 
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.Invoke
 
index() - Method in record class pascal.taie.analysis.pta.plugin.taint.IndexRef
Returns the value of the index record component.
index() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSanitizer
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
 
indexRef() - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSource
Returns the value of the indexRef record component.
indexRef() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSource
Returns the value of the indexRef record component.
indexRef() - Method in record class pascal.taie.analysis.pta.plugin.taint.Sink
Returns the value of the indexRef record component.
IndexRef - Record Class in pascal.taie.analysis.pta.plugin.taint
 
IndexRef(IndexRef.Kind, int, JField) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.IndexRef
Creates an instance of a IndexRef record class.
IndexRef.Kind - Enum Class in pascal.taie.analysis.pta.plugin.taint
 
info() - Method in interface pascal.taie.analysis.graph.flowgraph.FlowEdge
 
info() - Method in record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge
Returns the value of the info record component.
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.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.IntType
 
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.
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.
IntType - Enum Class in pascal.taie.language.type
 
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.SolarModel
 
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
Deprecated.
Use IRModelPlugin instead.
IRModelPlugin - Class in pascal.taie.analysis.pta.plugin.util
Provides common functionalities for implementing the plugins which model the APIs by generating semantically-equivalent IR (Stmt).
IRModelPlugin(Solver) - Constructor for class pascal.taie.analysis.pta.plugin.util.IRModelPlugin
 
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 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) - Method in interface pascal.taie.language.type.TypeSystem
 
isPrimitiveType(String) - Method in class pascal.taie.language.type.TypeSystemImpl
 
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
 
isPure(JMethod) - Method in class pascal.taie.analysis.sideeffect.SideEffect
 
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 class pascal.taie.analysis.sideeffect.SideEffect
 
isRelevant(Stmt) - Method in interface pascal.taie.analysis.StmtResult
 
isRelevantVar(Var) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
Deprecated.
 
isRelevantVar(Var) - Method in interface pascal.taie.analysis.pta.plugin.util.Model
Deprecated.
 
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
 
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