G-Index (Tai-e 0.5.1-SNAPSHOT API)

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() - Method in class pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider
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.TopologicalSorter
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, 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(Context, Invoke, PointsToSet, PointsToSet) - 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: Deprecated.

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
getArrayIndexNode(Obj) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager
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(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(Context, Invoke, PointsToSet) - 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
getClasses(String) - Method in class pascal.taie.language.classes.SignatureMatcher
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.language.classes.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 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.language.classes.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: Attempts 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.language.classes.Reflections
getDeclaredMethods(JClass, String) - Static method in class pascal.taie.language.classes.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.Monitor
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
getFields(String) - Method in class pascal.taie.language.classes.SignatureMatcher
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.InstanceField
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.InstanceField
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.Invoke
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
getInfo() - Method in class pascal.taie.analysis.graph.callgraph.Edge
getInfo() - Method in class pascal.taie.analysis.graph.callgraph.OtherEdge
getInfo() - Method in class pascal.taie.analysis.pta.core.solver.OtherEdge
getInfo() - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowEdge
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
getInstanceFieldNode(Obj, JField) - Method in class pascal.taie.analysis.graph.flowgraph.NodeManager
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.Invoke
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
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(String) - Method in class pascal.taie.language.classes.SignatureMatcher
getMethods(JClass) - Static method in class pascal.taie.language.classes.Reflections
getMethods(JClass, String) - Static method in class pascal.taie.language.classes.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: Deprecated.
getModeledAPIs() - Method in interface pascal.taie.analysis.pta.plugin.util.IRModel: Deprecated.
getModifiedObjects(Stmt) - Method in class pascal.taie.analysis.sideeffect.SideEffect
getModifiedObjects(JMethod) - Method in class pascal.taie.analysis.sideeffect.SideEffect
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 interface 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.InstanceField
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.ComparisonExp
getOperand1() - Method in interface pascal.taie.ir.exp.BinaryExp
getOperand2() - Method in class pascal.taie.ir.exp.ComparisonExp
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
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.InstanceField
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.InstanceField
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(Context, Invoke, PointsToSet) - 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.InstanceField
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(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.OthersModel
getPrimitiveType(String) - Method in interface pascal.taie.language.type.TypeSystem
getPrimitiveType(String) - Method in class pascal.taie.language.type.TypeSystemImpl
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 class pascal.taie.analysis.sideeffect.SideEffect
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.reflection.ReflectionAnalysis
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.ComparisonExp
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.DefinitionStmt
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