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

G

GE - Enum constant in enum class pascal.taie.ir.exp.ConditionExp.Op

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

Bit set based implementation of Set.

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

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

get() - Static method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider

get() - Static method in enum class pascal.taie.analysis.pta.core.solver.Identity

get() - Static method in enum class pascal.taie.analysis.pta.plugin.util.DummyModel

get() - Method in class pascal.taie.analysis.pta.toolkit.CollectionMethods

get() - Static method in enum class pascal.taie.ir.exp.NullLiteral

get() - Method in class pascal.taie.util.graph.TopoSorter

get() - Static method in class pascal.taie.World

get(double) - Static method in class pascal.taie.ir.exp.DoubleLiteral

get(float) - Static method in class pascal.taie.ir.exp.FloatLiteral

get(int) - Static method in class pascal.taie.ir.exp.IntLiteral

get(int) - Static method in enum class pascal.taie.ir.exp.MethodHandle.Kind

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

Returns the value of the bit with the specified index.

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

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

get(long) - Static method in class pascal.taie.ir.exp.LongLiteral

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

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

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

get(String) - Method in class pascal.taie.config.AnalysisOptions

get(String) - Static method in class pascal.taie.ir.exp.StringLiteral

get(String) - Static method in class pascal.taie.language.classes.Subsignature

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

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

get(Function<? super T, ? extends K>, Function<? super T, ? extends V>) - Static method in class pascal.taie.util.collection.MultiMapCollector

get(Supplier<MultiMap<K, V>>, Function<? super T, ? extends K>, Function<? super T, ? extends V>) - Static method in class pascal.taie.util.collection.MultiMapCollector

get(List<Type>, Type) - Static method in class pascal.taie.ir.exp.MethodType

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

get(K) - Method in class pascal.taie.util.collection.MapSetMultiMap

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

get(K1) - Method in class pascal.taie.util.collection.MapMapTwoKeyMap

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

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

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

get(K1, K2) - Method in class pascal.taie.util.collection.AbstractTwoKeyMap

get(K1, K2) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap

get(K1, K2) - Method in interface pascal.taie.util.collection.TwoKeyMap

get(K1, K2) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap

get(MethodHandle.Kind, MemberRef) - Static method in class pascal.taie.ir.exp.MethodHandle

get(Var) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.CPFact

get(JClass, String, List<Type>, Type, boolean) - Static method in class pascal.taie.ir.proginfo.MethodRef

get(JClass, String, Type, boolean) - Static method in class pascal.taie.ir.proginfo.FieldRef

get(Type) - Static method in class pascal.taie.ir.exp.ClassLiteral

get(T) - Method in class pascal.taie.util.Canonicalizer

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

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

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

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

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

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

Returns all subclasses of the given class (including itself).

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

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

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

getAnalysisConfig() - Static method in class pascal.taie.config.Configs

getAnalysisConfigURL() - Static method in class pascal.taie.config.Configs

getAnnotation(String) - Method in interface pascal.taie.language.annotation.Annotated

getAnnotation(String) - Method in class pascal.taie.language.annotation.AnnotationHolder

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

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

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

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

getAnnotations() - Method in interface pascal.taie.language.annotation.Annotated

getAnnotations() - Method in class pascal.taie.language.annotation.AnnotationHolder

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

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

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

getArg(int) - Method in class pascal.taie.ir.exp.InvokeExp

getArgCount() - Method in class pascal.taie.ir.exp.InvokeExp

getArgs() - Method in class pascal.taie.ir.exp.InvokeExp

getArgs(CSVar, PointsToSet, Invoke, int...) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel

For invocation r = v.foo(a0, a1, ..., an); when points-to set of v or any ai (0 ≤ i ≤ n) changes, this convenient method returns points-to sets relevant arguments.

getArgsString() - Method in class pascal.taie.ir.exp.InvokeExp

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

getArrayAccess() - Method in class pascal.taie.ir.stmt.LoadArray

getArrayAccess() - Method in class pascal.taie.ir.stmt.StoreArray

getArrayIndex(CSObj) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

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

getArrayIndexes() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getArrayIndexes() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getArrayIndexes() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getArrayIndexes() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getArrayObjs() - Method in class pascal.taie.analysis.pta.core.solver.DeclaredParamProvider

getArrayObjs() - Method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider

getArrayObjs() - Method in interface pascal.taie.analysis.pta.core.solver.ParamProvider

getArrayObjs() - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider

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

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

getBase() - Method in class pascal.taie.analysis.graph.flowgraph.InstanceNode

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

getBase() - Method in interface pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx

getBase() - Method in class pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl

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

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

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

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

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

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

Given an array type name, returns the type name of base type of the array.

getBoolean(String) - Method in class pascal.taie.config.AnalysisOptions

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

getBootstrapClassLoader() - Method in interface pascal.taie.language.classes.ClassHierarchy

getBootstrapClassLoader() - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

getBoxedType(PrimitiveType) - Method in interface pascal.taie.language.type.TypeSystem

getBoxedType(PrimitiveType) - Method in class pascal.taie.language.type.TypeSystemImpl

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

getCallee() - Method in class pascal.taie.analysis.graph.icfg.CallEdge

getCalleesOf(CallSite) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getCalleesOf(CallSite) - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph

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

getCalleesOf(CSCallSite) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

getCalleesOfM(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getCalleesOfM(Method) - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph

getCallersOf(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getCallersOf(Method) - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph

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

getCallersOf(CSMethod) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

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

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

getCallGraph() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getCallGraph() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getCallKind(InvokeExp) - Static method in class pascal.taie.analysis.graph.callgraph.CallGraphs

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

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

getCallSite() - Method in class pascal.taie.analysis.graph.icfg.ReturnEdge

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

getCallSitesIn(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getCallSitesIn(Method) - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph

getCallSitesIn(CSMethod) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

getCaseTargets() - Method in class pascal.taie.ir.stmt.LookupSwitch

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

getCaseTargets() - Method in class pascal.taie.ir.stmt.TableSwitch

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

If this edge is a switch-case edge, then returns the case value.

getCaseValue(int) - Method in class pascal.taie.ir.stmt.LookupSwitch

getCaseValues() - Method in class pascal.taie.ir.stmt.LookupSwitch

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

getCaseValues() - Method in class pascal.taie.ir.stmt.TableSwitch

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

getCaughtExplicitOf(Stmt) - Method in class pascal.taie.analysis.exception.CatchResult

getCaughtImplicitOf(Stmt) - Method in class pascal.taie.analysis.exception.CatchResult

getCaughtOf(Stmt) - Method in class pascal.taie.analysis.exception.CatchResult

getCFG() - Method in class pascal.taie.analysis.dataflow.analysis.AbstractDataflowAnalysis

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

getCFGEdge() - Method in class pascal.taie.analysis.graph.icfg.NormalEdge

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

getClass(String) - Method in interface pascal.taie.language.classes.ClassHierarchy

getClass(String) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

getClass(JClassLoader, String) - Method in interface pascal.taie.language.classes.ClassHierarchy

getClass(JClassLoader, String) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

getClassHierarchy() - Method in class pascal.taie.World

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

getClassLoaders() - Method in interface pascal.taie.language.classes.ClassHierarchy

getClassLoaders() - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

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

getClassPath(Options) - Static method in class pascal.taie.AbstractWorldBuilder

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

getClassType(String) - Method in interface pascal.taie.language.type.TypeSystem

getClassType(String) - Method in class pascal.taie.language.type.TypeSystemImpl

getClassType(JClassLoader, String) - Method in interface pascal.taie.language.type.TypeSystem

getClassType(JClassLoader, String) - Method in class pascal.taie.language.type.TypeSystemImpl

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

getClinit() - Static method in class pascal.taie.language.classes.Subsignature

getComponents() - Method in class pascal.taie.util.graph.SCC

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

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

If this value represents a (integer) constant, then returns the integer.

getConstantObj(ReferenceLiteral) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

getConstantObj(ReferenceLiteral) - Method in interface pascal.taie.analysis.pta.core.heap.HeapModel

getConstructors(JClass) - Static method in class pascal.taie.analysis.pta.plugin.util.Reflections

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

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

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

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

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

getContainer() - Method in interface pascal.taie.analysis.pta.plugin.taint.SourcePoint

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

getContainer() - Method in class pascal.taie.ir.stmt.New

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

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

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

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

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

getContainerOf(CallSite) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getContainerOf(CallSite) - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph

getContainerOf(CSCallSite) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

getContainerOf(Invoke) - Method in class pascal.taie.analysis.graph.callgraph.DefaultCallGraph

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

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

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

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

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

This method is useful for type sensitivity.

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

getContext() - Method in class pascal.taie.analysis.pta.core.cs.element.AbstractCSElement

getContext() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSElement

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

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

getContext() - Method in class pascal.taie.util.collection.IndexerBitSet

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

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

getCSCallGraph() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getCSCallGraph() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getCSCallSite(Context, Invoke) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getCSCallSite(Context, Invoke) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

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

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

getCSMethod(Context, JMethod) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getCSMethod(Context, JMethod) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getCSObj(Context, Obj) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getCSObj(Context, Obj) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getCSObjects() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getCSObjects() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getCSObjsOf(Obj) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getCSObjsOf(Obj) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getCSVar(Context, Var) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getCSVar(Context, Var) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getCSVars() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getCSVars() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getCSVars() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getCSVars() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getCSVarsOf(Var) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getCSVarsOf(Var) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getDeclaredConstructors(JClass) - Static method in class pascal.taie.analysis.pta.plugin.util.Reflections

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

Attempts to retrieve the field with the given name.

getDeclaredField(String, String) - Method in class pascal.taie.language.classes.JClass

Attempts to retrieve the field with given name and type.

getDeclaredField(String, Type) - Method in class pascal.taie.language.classes.JClass

Attempts to retrieve the field with given name and type.

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

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

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

Attempts to retrieve the method with the given name.

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

Attemps to retrieve the method with given subsignature.

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

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

getDeclaredMethods(JClass) - Static method in class pascal.taie.analysis.pta.plugin.util.Reflections

getDeclaredMethods(JClass, String) - Static method in class pascal.taie.analysis.pta.plugin.util.Reflections

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

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

getDef() - Method in class pascal.taie.ir.stmt.LookupSwitch

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

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

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

getDef() - Method in interface pascal.taie.ir.stmt.Stmt

getDefaultClassLoader() - Method in interface pascal.taie.language.classes.ClassHierarchy

getDefaultClassLoader() - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

getDefs(Stmt, Var) - Method in class pascal.taie.analysis.defuse.DefUse

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

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

getDescriptorOf(MethodRef) - Static method in class pascal.taie.language.classes.StringReps

getDescriptorOf(JMethod) - Static method in class pascal.taie.language.classes.StringReps

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

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

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

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

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

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

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

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

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

getDisjointSets() - Method in class pascal.taie.util.collection.UnionFindSet

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

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

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

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

Maps an index to the corresponding object.

getElement(int) - Method in class pascal.taie.util.collection.IndexerBitSet

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

getElementAt(int) - Method in interface pascal.taie.analysis.pta.core.cs.context.Context

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

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

getEmptyContext() - Method in interface pascal.taie.analysis.pta.core.cs.context.ContextFactory

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

getEmptyContext() - Method in interface pascal.taie.analysis.pta.core.cs.selector.ContextSelector

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

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

getExceptionEntries() - Method in class pascal.taie.ir.DefaultIR

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

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

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

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

If this edge is an exceptional edge, return the exception types along with this edge, otherwise return an empty set.

getExceptions() - Method in class pascal.taie.analysis.graph.icfg.ReturnEdge

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

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

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

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

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

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

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

getField(String) - Method in interface pascal.taie.language.classes.ClassHierarchy

Obtains a field by its signature.

getField(String) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

getFieldAccess() - Method in class pascal.taie.ir.stmt.LoadField

getFieldAccess() - Method in class pascal.taie.ir.stmt.StoreField

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

getFieldObjs() - Method in class pascal.taie.analysis.pta.core.solver.DeclaredParamProvider

getFieldObjs() - Method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider

getFieldObjs() - Method in interface pascal.taie.analysis.pta.core.solver.ParamProvider

getFieldObjs() - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider

getFieldRef() - Method in class pascal.taie.ir.exp.FieldAccess

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

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

getFieldSignature(JClass, String, Type) - Static method in class pascal.taie.language.classes.StringReps

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

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

getFilters() - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

getFloat(String) - Method in class pascal.taie.config.AnalysisOptions

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

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

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

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

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

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

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

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

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

getHighIndex() - Method in class pascal.taie.ir.stmt.TableSwitch

getId() - Method in class pascal.taie.analysis.Analysis

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

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

getImpact() - Method in enum class pascal.taie.analysis.bugfinder.Severity

getImplicitEntries() - Method in class pascal.taie.World

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

getInDegreeOf(N) - Method in class pascal.taie.util.graph.SimpleGraph

getIndex() - Method in class pascal.taie.analysis.graph.flowgraph.Node

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

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

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

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

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

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

getIndex() - Method in class pascal.taie.ir.stmt.LookupSwitch

getIndex() - Method in interface pascal.taie.ir.stmt.Stmt

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

getIndex() - Method in interface pascal.taie.util.Indexable

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

Maps an object to the corresponding index.

getIndex(E) - Method in class pascal.taie.util.collection.IndexerBitSet

getIndex(E) - Method in interface pascal.taie.util.Indexer

getIndex(E) - Method in class pascal.taie.util.SimpleIndexer

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

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

getIndex(Node) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

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

getIndex(Stmt) - Method in class pascal.taie.ir.DefaultIR

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

getInEdgesOf(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

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

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

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

getInEdgesOf(Node) - Method in class pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph

getInEdgesOf(Pointer) - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

getInFact(Node) - Method in class pascal.taie.analysis.dataflow.fact.DataflowResult

getInFact(Node) - Method in interface pascal.taie.analysis.dataflow.fact.NodeResult

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

getInputClasses(Options) - Static method in class pascal.taie.AbstractWorldBuilder

Obtains all input classes specified in options.

getInsnString() - Method in class pascal.taie.ir.stmt.LookupSwitch

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

getInsnString() - Method in class pascal.taie.ir.stmt.TableSwitch

getInstanceField(CSObj, JField) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getInstanceField(CSObj, JField) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getInstanceFields() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getInstanceFields() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getInstanceFields() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getInstanceFields() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getInt(String) - Method in class pascal.taie.config.AnalysisOptions

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

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

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

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

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

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

getInvokeString() - Method in class pascal.taie.ir.exp.InvokeExp

getInvokeString() - Method in class pascal.taie.ir.exp.InvokeInterface

getInvokeString() - Method in class pascal.taie.ir.exp.InvokeSpecial

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

getInvokeString() - Method in class pascal.taie.ir.exp.InvokeVirtual

getIR() - Method in class pascal.taie.analysis.exception.ThrowResult

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

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

getIRBuilder() - Method in class pascal.taie.World

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

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

getJREClass(String) - Method in interface pascal.taie.language.classes.ClassHierarchy

Obtains a JRE class by it name.

getJREClass(String) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

getJREField(String) - Method in interface pascal.taie.language.classes.ClassHierarchy

Obtains a field declared in a JRE class by its signature.

getJREField(String) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

getJREMethod(String) - Method in interface pascal.taie.language.classes.ClassHierarchy

Obtains a method declared in a JRE class by its signature.

getJREMethod(String) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

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

getKeys() - Method in class pascal.taie.util.AbstractResultHolder

getKeys() - Method in interface pascal.taie.util.ResultHolder

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

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

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

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

getLength() - Method in interface pascal.taie.analysis.pta.core.cs.context.Context

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

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

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

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

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

getLikelihood() - Method in enum class pascal.taie.analysis.bugfinder.Severity

getLineNumber() - Method in class pascal.taie.ir.stmt.LookupSwitch

getLineNumber() - Method in interface pascal.taie.ir.stmt.Stmt

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

getLoadedClasses() - Method in interface pascal.taie.language.classes.JClassLoader

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

getLowIndex() - Method in class pascal.taie.ir.stmt.TableSwitch

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

getLValue() - Method in class pascal.taie.ir.stmt.DefinitionStmt

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

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

getMainMethod() - Method in class pascal.taie.World

getMergedObj(New) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

Merges given object given by its type.

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

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

getMethod() - Method in class pascal.taie.ir.DefaultIR

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

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

getMethod(String) - Method in interface pascal.taie.language.classes.ClassHierarchy

Obtains a method by its signature.

getMethod(String) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

getMethodIndexer() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getMethodIndexer() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

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

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

getMethodRef() - Method in class pascal.taie.ir.exp.InvokeExp

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

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

getMethods(JClass) - Static method in class pascal.taie.analysis.pta.plugin.util.Reflections

getMethods(JClass, String) - Static method in class pascal.taie.analysis.pta.plugin.util.Reflections

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

getMethodsInvokedOn(Obj) - Method in interface pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx

getMethodsInvokedOn(Obj) - Method in class pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl

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

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

getMockObj(Descriptor, Object, Type) - Method in interface pascal.taie.analysis.pta.core.heap.HeapModel

getMockObj(Descriptor, Object, Type, boolean) - Method in interface pascal.taie.analysis.pta.core.heap.HeapModel

getMockObj(Descriptor, Object, Type, JMethod) - Method in interface pascal.taie.analysis.pta.core.heap.HeapModel

getMockObj(Descriptor, Object, Type, JMethod, boolean) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

getMockObj(Descriptor, Object, Type, JMethod, boolean) - Method in interface pascal.taie.analysis.pta.core.heap.HeapModel

getModeledAPIs() - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel

getModeledAPIs() - Method in interface pascal.taie.analysis.pta.plugin.util.IRModel

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

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

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

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

getNAC() - Static method in class pascal.taie.analysis.dataflow.analysis.constprop.Value

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

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

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

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

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

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

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

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

getName() - Method in enum class pascal.taie.language.type.PrimitiveType

getName() - Method in interface pascal.taie.language.type.Type

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

getNativeModel() - Method in class pascal.taie.World

getNativeModel(TypeSystem, ClassHierarchy, Options) - Static method in class pascal.taie.AbstractWorldBuilder

getNewObj(New) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

getNoArgInit() - Static method in class pascal.taie.language.classes.Subsignature

getNode(int) - Method in interface pascal.taie.analysis.graph.cfg.CFG

getNodes() - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getNodes() - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

getNodes() - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

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

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

getNodes() - Method in class pascal.taie.util.graph.MergedSCCGraph

getNodes() - Method in class pascal.taie.util.graph.ReverseGraph

getNodes() - Method in class pascal.taie.util.graph.SimpleGraph

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

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

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

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

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

getNumber() - Method in interface pascal.taie.ir.exp.NumberLiteral

getNumberOfEdges() - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getNumberOfEdges() - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph

getNumberOfMethods() - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

getNumberOfMethods() - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph

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

getObj(New) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

getObj(New) - Method in interface pascal.taie.analysis.pta.core.heap.HeapModel

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

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

getObject(int) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

getObject(int) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

getObject(int) - Method in class pascal.taie.ir.DefaultIR

getObject(int) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

getObject(int) - Method in interface pascal.taie.util.Indexer

getObject(int) - Method in class pascal.taie.util.SimpleIndexer

getObjectFlowGraph() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getObjectFlowGraph() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getObjectIndexer() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getObjectIndexer() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getObjectIndexer() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getObjectIndexer() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

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

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

getObjects() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getObjects() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getObjects() - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

Safely retrieves context-sensitive objects pointed to by this pointer.

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

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

getObjects() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getObjects() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

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

getObjectsAllocatedIn(JMethod) - Method in interface pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx

getObjectsAllocatedIn(JMethod) - Method in class pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl

getObjectsOf(Type) - Method in interface pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx

getObjectsOf(Type) - Method in class pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl

getObjectTypes() - Method in interface pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx

getObjectTypes() - Method in class pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl

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

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

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

getOperand() - Method in interface pascal.taie.ir.exp.UnaryExp

getOperand1() - Method in class pascal.taie.ir.exp.ConditionExp

getOperand1() - Method in interface pascal.taie.ir.exp.BinaryExp

getOperand2() - Method in class pascal.taie.ir.exp.ConditionExp

getOperand2() - Method in interface pascal.taie.ir.exp.BinaryExp

getOperator() - Method in class pascal.taie.ir.exp.ArithmeticExp

getOperator() - Method in interface pascal.taie.ir.exp.BinaryExp

getOperator() - Method in class pascal.taie.ir.exp.BitwiseExp

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

getOperator() - Method in class pascal.taie.ir.exp.ConditionExp

getOperator() - Method in class pascal.taie.ir.exp.ShiftExp

getOptions() - Method in class pascal.taie.analysis.Analysis

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

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

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

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

getOptions() - Method in class pascal.taie.World

getOrAddEdge(FlowKind, Pointer, Pointer) - Method in class pascal.taie.analysis.pta.core.cs.element.StaticField

getOrAddEdge(FlowKind, Pointer, Pointer) - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

Adds a pointer flow edge source -> target, and returns the edge.

getOrAddEdge(FlowKind, Pointer, Pointer) - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

Adds a pointer flow edge source -> target, and returns the edge.

getOrCreateArrayIndexNode(Obj) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

getOrCreateInstanceFieldNode(Obj, JField) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

getOrCreateStaticFieldNode(JField) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

getOrCreateVarNode(Var) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

getOrDefault(K1, Map<K2, V>) - Method in interface pascal.taie.util.collection.TwoKeyMap

getOrDefault(K1, K2, V) - Method in interface pascal.taie.util.collection.TwoKeyMap

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

getOutDegree() - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

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

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

getOutEdges() - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

getOutEdgesOf(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

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

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

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

getOutEdgesOf(Node) - Method in class pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph

getOutEdgesOf(Pointer) - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

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

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

getOutFact(Node) - Method in class pascal.taie.analysis.dataflow.fact.DataflowResult

getOutFact(Node) - Method in interface pascal.taie.analysis.dataflow.fact.NodeResult

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

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

getParam(int) - Method in class pascal.taie.ir.DefaultIR

getParam(int) - Method in interface pascal.taie.ir.IR

getParam(int) - Method in class pascal.taie.ir.IRBuildHelper

getParamAnnotation(int, String) - Method in class pascal.taie.language.classes.JMethod

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

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

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

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

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

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

getParamObjs(int) - Method in class pascal.taie.analysis.pta.core.solver.DeclaredParamProvider

getParamObjs(int) - Method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider

getParamObjs(int) - Method in interface pascal.taie.analysis.pta.core.solver.ParamProvider

getParamObjs(int) - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider

getParams() - Method in class pascal.taie.ir.DefaultIR

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

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

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

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

getPhantomField(String, Type) - Method in class pascal.taie.language.classes.JClass

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

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

getPointsToSet() - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

Retrieves the points-to set associated with this pointer.

getPointsToSet(Obj) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(Obj) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(Obj, JField) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(Obj, JField) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(ArrayAccess) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(ArrayAccess) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(FieldAccess) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(InstanceFieldAccess) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(InstanceFieldAccess) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(StaticFieldAccess) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(StaticFieldAccess) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(Var) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(Var) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(Var, Var) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(Var, Var) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(Var, JField) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(Var, JField) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSet(JField) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getPointsToSet(JField) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getPointsToSetOf(Pointer) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

getPointsToSetOf(Pointer) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Returns the points-to set of given pointer.

getPotentialCatchers(IR) - Static method in class pascal.taie.analysis.exception.CatchAnalysis

getPredsOf(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

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

getPredsOf(N) - Method in class pascal.taie.util.graph.ReverseGraph

getPredsOf(N) - Method in class pascal.taie.util.graph.SimpleGraph

getPredsOf(Node) - Method in class pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph

getPredsOf(Pointer) - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

getPredsOf(MergedNode<N>) - Method in class pascal.taie.util.graph.MergedSCCGraph

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

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

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

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

getPriority() - Method in interface pascal.taie.analysis.pta.plugin.taint.SourcePoint

The sort order of the source point.

getReceiverObjectsOf(JMethod) - Method in interface pascal.taie.analysis.pta.toolkit.PointerAnalysisResultEx

getReceiverObjectsOf(JMethod) - Method in class pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl

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

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

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

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

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

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

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

getResult(String) - Method in class pascal.taie.util.AbstractResultHolder

getResult(String) - Method in interface pascal.taie.util.ResultHolder

Given a key, returns the corresponding results.

getResult(String, Supplier<R>) - Method in class pascal.taie.analysis.pta.core.cs.element.CSMethod

getResult(String, Supplier<R>) - Method in class pascal.taie.util.AbstractResultHolder

getResult(String, Supplier<R>) - Method in interface pascal.taie.util.ResultHolder

If this holder contains the result for given key, then returns the result; otherwise, supplier is used to create a result, which is stored in the holder, and returned as the result of the call.

getResult(String, R) - Method in class pascal.taie.util.AbstractResultHolder

getResult(String, R) - Method in interface pascal.taie.util.ResultHolder

If this holder contains the result for given key, then returns the result; otherwise, return the given default result.

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

NodeResult is designed to be compatible with CFGs of both stmt nodes and block nodes.

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

StmtResult for def-use analysis.

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

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

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

getResult(JMethod) - Method in class pascal.taie.analysis.pta.plugin.exception.PTAThrowResult

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

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

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

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

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

getReturnVar() - Method in class pascal.taie.ir.IRBuildHelper

getReturnVars() - Method in class pascal.taie.analysis.graph.icfg.ReturnEdge

Each method in ICFG has only one exit, but it may have multiple return statements.

getReturnVars() - Method in class pascal.taie.ir.DefaultIR

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

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

getRValue() - Method in class pascal.taie.ir.stmt.DefinitionStmt

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

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

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

getShortName(Invoke) - Static method in class pascal.taie.analysis.pta.plugin.util.Reflections

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

getSignatureOf(JField) - Static method in class pascal.taie.language.classes.StringReps

getSignatureOf(JMethod) - Static method in class pascal.taie.language.classes.StringReps

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

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

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

getSolver() - Static method in interface pascal.taie.analysis.dataflow.solver.Solver

Static factory method for obtaining a solver.

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

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

getStaticField(JField) - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getStaticField(JField) - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getStaticFields() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getStaticFields() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getStaticFields() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getStaticFields() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getStmt(int) - Method in class pascal.taie.ir.DefaultIR

getStmt(int) - Method in interface pascal.taie.ir.IR

getStmts() - Method in class pascal.taie.ir.DefaultIR

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

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

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

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

getString(String) - Method in class pascal.taie.config.AnalysisOptions

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

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

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

getSubsignatureOf(MethodRef) - Static method in class pascal.taie.language.classes.StringReps

getSubsignatureOf(JMethod) - Static method in class pascal.taie.language.classes.StringReps

getSuccsOf(Method) - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

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

getSuccsOf(N) - Method in class pascal.taie.util.graph.ReverseGraph

getSuccsOf(N) - Method in class pascal.taie.util.graph.SimpleGraph

getSuccsOf(Node) - Method in class pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph

getSuccsOf(Pointer) - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

getSuccsOf(MergedNode<N>) - Method in class pascal.taie.util.graph.MergedSCCGraph

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

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

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

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

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

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

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

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

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

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

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

getThis() - Method in class pascal.taie.ir.DefaultIR

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

getThisObjs() - Method in class pascal.taie.analysis.pta.core.solver.DeclaredParamProvider

getThisObjs() - Method in enum class pascal.taie.analysis.pta.core.solver.EmptyParamProvider

getThisObjs() - Method in interface pascal.taie.analysis.pta.core.solver.ParamProvider

getThisObjs() - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider

getThisVar() - Method in class pascal.taie.ir.IRBuildHelper

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

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

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

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

getTrueComponents() - Method in class pascal.taie.util.graph.SCC

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

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

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

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

getType() - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

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

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

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

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

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

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

getType() - Method in class pascal.taie.ir.exp.ArithmeticExp

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

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

getType() - Method in interface pascal.taie.ir.exp.BinaryExp

getType() - Method in class pascal.taie.ir.exp.BitwiseExp

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

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

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

getType() - Method in class pascal.taie.ir.exp.ConditionExp

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

getType() - Method in interface pascal.taie.ir.exp.Exp

getType() - Method in class pascal.taie.ir.exp.FieldAccess

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

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

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

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

getType() - Method in class pascal.taie.ir.exp.InvokeExp

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

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

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

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

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

getType() - Method in interface pascal.taie.ir.exp.NewExp

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

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

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

getType() - Method in interface pascal.taie.ir.exp.ReferenceLiteral

getType() - Method in class pascal.taie.ir.exp.ShiftExp

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

getType() - Method in interface pascal.taie.ir.exp.UnaryExp

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

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

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

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

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

getType(String) - Method in interface pascal.taie.language.type.TypeSystem

getType(String) - Method in class pascal.taie.language.type.TypeSystemImpl

getType(JClassLoader, String) - Method in interface pascal.taie.language.type.TypeSystem

getType(JClassLoader, String) - Method in class pascal.taie.language.type.TypeSystemImpl

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

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

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

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

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

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

getTypeSystem() - Method in class pascal.taie.World

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

getUnboxedType(ClassType) - Method in interface pascal.taie.language.type.TypeSystem

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

getUncaughtExplicitOf(Stmt) - Method in class pascal.taie.analysis.exception.CatchResult

getUncaughtImplicitOf(Stmt) - Method in class pascal.taie.analysis.exception.CatchResult

getUncaughtOf(Stmt) - Method in class pascal.taie.analysis.exception.CatchResult

getUndef() - Static method in class pascal.taie.analysis.dataflow.analysis.constprop.Value

getUses() - Method in class pascal.taie.ir.exp.ConditionExp

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

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

getUses() - Method in interface pascal.taie.ir.exp.Exp

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

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

getUses() - Method in class pascal.taie.ir.exp.InvokeExp

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

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

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

getUses() - Method in interface pascal.taie.ir.exp.UnaryExp

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

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

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

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

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

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

getUses() - Method in interface pascal.taie.ir.stmt.Stmt

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

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

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

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

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

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

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

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

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

getValue() - Method in enum class pascal.taie.ir.exp.MethodHandle.Kind

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

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

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

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

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

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

getVar(int) - Method in class pascal.taie.ir.DefaultIR

getVar(int) - Method in interface pascal.taie.ir.IR

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

Retrieves variable from a call site and index.

getVarIndexer() - Method in class pascal.taie.ir.DefaultIR

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

getVarNode(Var) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager

getVars() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager

getVars() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager

getVars() - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult

getVars() - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl

getVars() - Method in class pascal.taie.ir.DefaultIR

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

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

getWorldCacheFile(Options) - Static method in class pascal.taie.frontend.cache.CachedWorldBuilder

Goto - Class in pascal.taie.ir.stmt

Representation of goto statement, e.g., goto L.

Goto() - Constructor for class pascal.taie.ir.stmt.Goto

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

Edge kind for goto statements.

Graph<N> - Interface in pascal.taie.util.graph

Representation of a directed graph.

GSignatures - Class in pascal.taie.language.generics

Utility methods for converting signatures.

GT - Enum constant in enum class pascal.taie.ir.exp.ConditionExp.Op

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