Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
H
- handleNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
-
Deprecated.
- handleNewCSMethod(CSMethod) - Method in interface pascal.taie.analysis.pta.plugin.util.IRModel
-
Deprecated.
- handleNewInvoke(Invoke) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- handleNewInvoke(Invoke) - Method in interface pascal.taie.analysis.pta.plugin.util.Model
-
Deprecated.
- handleNewMethod(JMethod) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
-
Deprecated.
- handleNewMethod(JMethod) - Method in interface pascal.taie.analysis.pta.plugin.util.IRModel
-
Deprecated.
- handleNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- handleNewPointsToSet(CSVar, PointsToSet) - Method in interface pascal.taie.analysis.pta.plugin.util.Model
-
Deprecated.
- handler() - Method in record class pascal.taie.ir.proginfo.ExceptionEntry
-
Returns the value of the
handler
record component. - handlers - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
-
Deprecated.
- handlers - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- handlers - Variable in class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin
- handlers - Variable in class pascal.taie.analysis.pta.plugin.util.IRModelPlugin
- has(String) - Method in class pascal.taie.config.AnalysisOptions
- hasAbstract(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasAnnotation(String) - Method in interface pascal.taie.language.annotation.Annotated
- hasAnnotation(String) - Method in class pascal.taie.language.annotation.AnnotationHolder
- hasAnnotation(String) - Method in class pascal.taie.language.classes.ClassMember
- hasAnnotation(String) - Method in class pascal.taie.language.classes.JClass
- hasAnnotation(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasDescriptor(CSObj, Descriptor) - Static method in class pascal.taie.analysis.pta.plugin.util.CSObjs
- hasEdge(N, N) - Method in interface pascal.taie.util.graph.Graph
- hasEdge(N, N) - Method in class pascal.taie.util.graph.ReverseGraph
- hasEdge(Edge<N>) - Method in interface pascal.taie.util.graph.Graph
- hasElement(String) - Method in class pascal.taie.language.annotation.Annotation
- hasEnum(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasFinal(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hash(Object, Object) - Static method in class pascal.taie.util.Hashes
- hash(Object, Object, Object) - Static method in class pascal.taie.util.Hashes
- hash(Object, Object, Object, Object) - Static method in class pascal.taie.util.Hashes
- hashCode() - Method in class pascal.taie.analysis.bugfinder.BugInstance
- hashCode() - Method in class pascal.taie.analysis.dataflow.analysis.availexp.ExpWrapper
- hashCode() - Method in class pascal.taie.analysis.dataflow.analysis.constprop.Value
- hashCode() - Method in class pascal.taie.analysis.dataflow.fact.MapFact
- hashCode() - Method in class pascal.taie.analysis.dataflow.fact.SetFact
- hashCode() - Method in class pascal.taie.analysis.graph.callgraph.Edge
- hashCode() - Method in class pascal.taie.analysis.graph.cfg.CFGEdge
- hashCode() - Method in record class pascal.taie.analysis.graph.cfg.CFGNodeIndexer
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge
-
Returns a hash code value for this object.
- hashCode() - Method in class pascal.taie.analysis.pta.core.heap.MockObj
- hashCode() - Method in record class pascal.taie.analysis.pta.core.solver.EntryPoint
-
Returns a hash code value for this object.
- hashCode() - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowEdge
- hashCode() - Method in class pascal.taie.analysis.pta.core.solver.TypeFilter
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSource
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSource
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.IndexRef
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSanitizer
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSource
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.Sink
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintFlow
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.config.Plan
-
Returns a hash code value for this object.
- hashCode() - Method in class pascal.taie.ir.exp.ClassLiteral
- hashCode() - Method in class pascal.taie.ir.exp.DoubleLiteral
- hashCode() - Method in class pascal.taie.ir.exp.FloatLiteral
- hashCode() - Method in class pascal.taie.ir.exp.IntLiteral
- hashCode() - Method in class pascal.taie.ir.exp.LongLiteral
- hashCode() - Method in class pascal.taie.ir.exp.MethodHandle
- hashCode() - Method in class pascal.taie.ir.exp.MethodType
- hashCode() - Method in class pascal.taie.ir.exp.StringLiteral
- hashCode() - Method in record class pascal.taie.ir.proginfo.ExceptionEntry
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.Annotation.Entry
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.AnnotationElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.ArrayElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.BooleanElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.ClassElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.DoubleElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.EnumElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.FloatElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.IntElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.LongElement
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.annotation.StringElement
-
Returns a hash code value for this object.
- hashCode() - Method in class pascal.taie.language.classes.Subsignature
- hashCode() - Method in record class pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature
-
Returns a hash code value for this object.
- hashCode() - Method in record class pascal.taie.language.type.ArrayType
-
Returns a hash code value for this object.
- hashCode() - Method in class pascal.taie.language.type.ClassType
- hashCode() - Method in class pascal.taie.util.collection.AbstractHybridMap
- hashCode() - Method in class pascal.taie.util.collection.AbstractHybridSet
- hashCode() - Method in class pascal.taie.util.collection.GenericBitSet
- hashCode() - Method in class pascal.taie.util.collection.MapEntry
- hashCode() - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- hashCode() - Method in class pascal.taie.util.collection.MapSetMultiMap
- hashCode() - Method in record class pascal.taie.util.collection.Pair
-
Returns a hash code value for this object.
- hashCode() - Method in class pascal.taie.util.collection.RegularBitSet
-
Returns the hash code value for this bit set.
- hashCode() - Method in class pascal.taie.util.collection.SparseBitSet
- hashCode() - Method in record class pascal.taie.util.collection.TwoKeyMap.Entry
-
Returns a hash code value for this object.
- hashCode() - Method in class pascal.taie.util.graph.AbstractEdge
- hashCode() - Method in class pascal.taie.util.graph.MergedNode
- hashCode() - Method in class pascal.taie.util.MutableInt
- Hashes - Class in pascal.taie.util
-
Static utility methods for computing hash code.
- hasInterface(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasNative(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasNode(N) - Method in interface pascal.taie.util.graph.Graph
- hasNode(Node) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager
- hasOuterClass() - Method in class pascal.taie.language.classes.JClass
- hasOverlapWith(Set<E>) - Method in class pascal.taie.util.collection.AbstractSetEx
- hasOverlapWith(Set<E>) - Method in class pascal.taie.util.collection.GenericBitSet
- hasOverlapWith(Set<E>) - Method in interface pascal.taie.util.collection.SetEx
- hasParamAnnotation(int, String) - Method in class pascal.taie.language.classes.JMethod
- hasPrivate(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasProtected(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasPublic(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasResult(String) - Method in class pascal.taie.util.AbstractResultHolder
- hasResult(String) - Method in interface pascal.taie.util.ResultHolder
- hasStatic(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasStrictFP(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasSynchronized(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasSynthetic(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasTransient(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- hasVolatile(Set<Modifier>) - Static method in enum class pascal.taie.language.classes.Modifier
- heapModel - Variable in class pascal.taie.analysis.pta.plugin.util.SolverHolder
- HeapModel - Interface in pascal.taie.analysis.pta.core.heap
-
Represents of heap models for heap objects.
- helper - Variable in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
- hierarchy - Variable in class pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider
- hierarchy - Variable in class pascal.taie.analysis.pta.plugin.util.SolverHolder
- holdsInt(Exp) - Static method in class pascal.taie.ir.exp.Exps
- holdsInteger(Exp) - Static method in class pascal.taie.ir.exp.Exps
- holdsLong(Exp) - Static method in class pascal.taie.ir.exp.Exps
- holdsPrimitive(Exp) - Static method in class pascal.taie.ir.exp.Exps
- holdsReference(Exp) - Static method in class pascal.taie.ir.exp.Exps
- HybridBitSet<E> - Class in pascal.taie.util.collection
-
Hybrid set that uses bit set for large set.
- HybridBitSet(Indexer<E>, boolean) - Constructor for class pascal.taie.util.collection.HybridBitSet
- HybridHashMap<K,
V> - Class in pascal.taie.util.collection -
Hybrid map that uses hash map for large map.
- HybridHashMap() - Constructor for class pascal.taie.util.collection.HybridHashMap
-
Constructs a new empty hybrid map.
- HybridHashMap(Map<K, V>) - Constructor for class pascal.taie.util.collection.HybridHashMap
-
Constructs a new hybrid map from the given map.
- HybridHashSet<E> - Class in pascal.taie.util.collection
-
Hybrid set that uses hash set for large set.
- HybridHashSet() - Constructor for class pascal.taie.util.collection.HybridHashSet
-
Constructs a new hybrid set.
- HybridHashSet(Collection<E>) - Constructor for class pascal.taie.util.collection.HybridHashSet
-
Constructs a new hybrid set from the given collection.
- HybridIndexableSet<E extends Indexable> - Class in pascal.taie.util.collection
-
Hybrid set that uses indexable set for large set.
- HybridIndexableSet(boolean) - Constructor for class pascal.taie.util.collection.HybridIndexableSet
- HybridLinkedHashSet<E> - Class in pascal.taie.util.collection
-
Hybrid set that uses linked hash set for large set.
- HybridLinkedHashSet() - Constructor for class pascal.taie.util.collection.HybridLinkedHashSet
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form