Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
R
- rawEdge() - Method in record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge
-
Returns the value of the
rawEdgerecord component. - Reachability<N> - Class in pascal.taie.util.graph
-
Computes reachability information for graph.
- Reachability(Graph<N>) - Constructor for class pascal.taie.util.graph.Reachability
- REACHABLE - Enum constant in enum class pascal.taie.config.Scope
-
Only analyzes the code reachable in the call graph.
- reachableMethods - Variable in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph
-
Set of reachable methods.
- reachableMethods() - Method in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph
- reachableMethods() - Method in interface pascal.taie.analysis.graph.callgraph.CallGraph
- reachableNodesFrom(N) - Method in class pascal.taie.util.graph.Reachability
- ReachingDefinition - Class in pascal.taie.analysis.dataflow.analysis
- ReachingDefinition(AnalysisConfig) - Constructor for class pascal.taie.analysis.dataflow.analysis.ReachingDefinition
- readConfigs(File) - Static method in class pascal.taie.config.PlanConfig
-
Read a list of PlanConfig from given file.
- readConfigs(Options) - Static method in class pascal.taie.config.PlanConfig
-
Reads a list of PlanConfig from options.
- reconfigure() - Static method in class pascal.taie.config.LoggerConfigs
-
Re-fetch the configuration from log4j2.yml and reconfigure the log4j2 logger.
- REF_getField - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_getStatic - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_invokeInterface - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_invokeSpecial - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_invokeStatic - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_invokeVirtual - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_newInvokeSpecial - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_putField - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REF_putStatic - Enum constant in enum class pascal.taie.ir.exp.MethodHandle.Kind
- REFERENCE_INIT - Static variable in class pascal.taie.language.classes.Signatures
- REFERENCE_PENDING - Static variable in class pascal.taie.language.classes.Signatures
- ReferenceHandler - Class in pascal.taie.analysis.pta.plugin
-
Models GC behavior that it assigns every reference to Reference.pending.
- ReferenceHandler() - Constructor for class pascal.taie.analysis.pta.plugin.ReferenceHandler
- ReferenceLiteral - Interface in pascal.taie.ir.exp
-
Literal of reference type.
- ReferenceType - Interface in pascal.taie.language.type
- ReferenceTypeGSignature - Interface in pascal.taie.language.generics
-
In JVM Spec.
- ReflectionAnalysis - Class in pascal.taie.analysis.pta.plugin.reflection
- ReflectionAnalysis() - Constructor for class pascal.taie.analysis.pta.plugin.reflection.ReflectionAnalysis
- Reflections - Class in pascal.taie.language.classes
-
Static utility methods for modeling the behaviors of reflection APIs.
- ReflectiveActionModel - Class in pascal.taie.analysis.pta.plugin.reflection
-
Models reflective-action methods, currently supports Class.newInstance() Constructor.newInstance(Object[]) Method.invoke(Object,Object[]) Field.get(Object) Field.set(Object,Object) Array.newInstance(Class,int) TODO: check accessibility
- registerAPIHandler(JMethod, TriConsumer<CSVar, PointsToSet, Invoke>) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- registerHandler(InvokeHandler, Method) - Method in class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin
- registerHandler(InvokeHandler, Method) - Method in class pascal.taie.analysis.pta.plugin.util.IRModelPlugin
- registerHandler(JMethod, Function<Invoke, Collection<Stmt>>) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
-
Deprecated.
- registerHandlers() - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
-
Deprecated.
- registerHandlers() - Method in class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin
- registerHandlersByAnnotation() - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
-
Deprecated.
- registerRelevantVarIndexes(JMethod, int...) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- registerResetCallback(Runnable) - Static method in class pascal.taie.World
- registerVarAndHandlers() - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- RegularBitSet - Class in pascal.taie.util.collection
-
Regular bit set implementation.
- RegularBitSet() - Constructor for class pascal.taie.util.collection.RegularBitSet
-
Creates a new bit set.
- RegularBitSet(int) - Constructor for class pascal.taie.util.collection.RegularBitSet
-
Creates a bit set whose initial size is large enough to explicitly represent bits with indices in the range
0throughnbits-1. - relevantVarIndexes - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- relevantVarIndexes - Variable in class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin
- relevantVars - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractModel
-
Deprecated.
- relevantVars - Variable in class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin
- REM - Enum constant in enum class pascal.taie.ir.exp.ArithmeticExp.Op
- remove(E) - Method in class pascal.taie.analysis.dataflow.fact.SetFact
-
Removes an element from this fact.
- remove(Object) - Method in class pascal.taie.util.collection.AbstractHybridMap
- remove(Object) - Method in class pascal.taie.util.collection.AbstractHybridSet
- remove(Object) - Method in class pascal.taie.util.collection.ArrayMap
- remove(Object) - Method in class pascal.taie.util.collection.ArraySet
- remove(Object) - Method in class pascal.taie.util.collection.GenericBitSet
- remove(Object) - Method in class pascal.taie.util.collection.IndexableSet
- remove(Object) - Method in class pascal.taie.util.collection.IndexMap
- remove(K) - Method in class pascal.taie.analysis.dataflow.fact.MapFact
-
Removes the key-value mapping for given key.
- remove(K1, K2) - Method in class pascal.taie.util.collection.MapMapTwoKeyMap
- remove(K1, K2) - Method in interface pascal.taie.util.collection.TwoKeyMap
-
Removes the mapping for a key-pair from this map if it is present.
- remove(K1, K2, V) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- remove(K1, K2, V) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap
-
Removes a single key1-key2-value triple from this two-key multimap, if it exists.
- remove(K, V) - Method in class pascal.taie.util.collection.MapSetMultiMap
- remove(K, V) - Method in interface pascal.taie.util.collection.MultiMap
-
Removes a single key-value pair with the key
keyand the valuevaluefrom this multimap, if such exists. - removeAll(Collection<?>) - Method in class pascal.taie.util.collection.AbstractHybridSet
- removeAll(Collection<?>) - Method in class pascal.taie.util.collection.GenericBitSet
- removeAll(Collection<?>) - Method in class pascal.taie.util.collection.HybridBitSet
- removeAll(K) - Method in class pascal.taie.util.collection.MapSetMultiMap
- removeAll(K) - Method in interface pascal.taie.util.collection.MultiMap
-
Removes all values associated with the key
key. - removeAll(K1) - Method in class pascal.taie.util.collection.MapMapTwoKeyMap
- removeAll(K1) - Method in interface pascal.taie.util.collection.TwoKeyMap
-
Removes all mappings with
key1as the first key in this map. - removeAll(K1, K2) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
- removeAll(K1, K2) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap
-
Removes all values associated with the two-key pair.
- removeAll(K, Collection<? extends V>) - Method in class pascal.taie.util.collection.MapSetMultiMap
- removeAll(K, Collection<? extends V>) - Method in interface pascal.taie.util.collection.MultiMap
-
Removes all key-value pairs for
keyandvalues. - removeAll(SetFact<E>) - Method in class pascal.taie.analysis.dataflow.fact.SetFact
-
Removes all elements of other fact.
- removeEdge(N, N) - Method in class pascal.taie.util.graph.SimpleGraph
-
Removes an edge from this graph.
- removeEdgesIf(Predicate<PointerFlowEdge>) - Method in class pascal.taie.analysis.pta.core.cs.element.InstanceField
- removeEdgesIf(Predicate<PointerFlowEdge>) - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer
-
Removes out edges of this pointer if they satisfy the filter.
- removeIf(Predicate<E>) - Method in class pascal.taie.analysis.dataflow.fact.SetFact
-
Removes all the elements of this fact that satisfy the given predicate.
- removeIf(Predicate<CSObj>) - Method in interface pascal.taie.analysis.pta.pts.PointsToSet
-
Removes objects from this set if they satisfy the filter.
- removeNode(N) - Method in class pascal.taie.util.graph.SimpleGraph
-
Removes a node from this graph.
- replaceALl(TriFunction<? super K1, ? super K2, ? super V, ? extends V>) - Method in class pascal.taie.util.collection.MapMapTwoKeyMap
- replaceALl(TriFunction<? super K1, ? super K2, ? super V, ? extends V>) - Method in interface pascal.taie.util.collection.TwoKeyMap
-
Replaces each entry's value with the result of invoking the given function on that entry until all entries have been processed or the function throws an exception.
- reset() - Static method in class pascal.taie.World
- ResolutionFailedException - Exception in pascal.taie.ir.proginfo
- ResolutionFailedException(String) - Constructor for exception pascal.taie.ir.proginfo.ResolutionFailedException
- resolve() - Method in class pascal.taie.ir.proginfo.FieldRef
- resolve() - Method in class pascal.taie.ir.proginfo.MemberRef
- resolve() - Method in class pascal.taie.ir.proginfo.MethodRef
- resolveCallee(Type, Invoke) - Static method in class pascal.taie.analysis.graph.callgraph.CallGraphs
- resolveField(FieldRef) - Method in interface pascal.taie.language.classes.ClassHierarchy
-
Resolves a field reference.
- resolveField(FieldRef) - Method in class pascal.taie.language.classes.ClassHierarchyImpl
- resolveMethod(MethodRef) - Method in interface pascal.taie.language.classes.ClassHierarchy
-
Resolves a method reference.
- resolveMethod(MethodRef) - Method in class pascal.taie.language.classes.ClassHierarchyImpl
- resolveNullable() - Method in class pascal.taie.ir.proginfo.FieldRef
- resolveNullable() - Method in class pascal.taie.ir.proginfo.MemberRef
- resolveNullable() - Method in class pascal.taie.ir.proginfo.MethodRef
- RESULT - Static variable in class pascal.taie.analysis.pta.plugin.util.InvokeUtils
-
Special number representing the variable that receivers the result of the invocation.
- ResultHolder - Interface in pascal.taie.util
-
The holder object of analysis results.
- ResultProcessor - Class in pascal.taie.analysis.misc
-
Special class for process the results of other analyses after they finish.
- ResultProcessor - Class in pascal.taie.analysis.pta.plugin
-
Dump points-to set to file or compare the analysis result with the ones read from input file.
- ResultProcessor() - Constructor for class pascal.taie.analysis.pta.plugin.ResultProcessor
- ResultProcessor(AnalysisConfig) - Constructor for class pascal.taie.analysis.misc.ResultProcessor
- RESULTS_FILE - Static variable in class pascal.taie.analysis.pta.plugin.ResultProcessor
- RESULTS_YAML_FILE - Static variable in class pascal.taie.analysis.pta.plugin.ResultProcessor
- retainAll(Collection<?>) - Method in class pascal.taie.util.collection.AbstractHybridSet
- retainAll(Collection<?>) - Method in class pascal.taie.util.collection.ArraySet
- retainAll(Collection<?>) - Method in class pascal.taie.util.collection.GenericBitSet
- retainAll(Collection<?>) - Method in class pascal.taie.util.collection.HybridBitSet
- Return - Class in pascal.taie.ir.stmt
-
Representation of return statement, e.g., return; or return x.
- Return() - Constructor for class pascal.taie.ir.stmt.Return
- Return(Var) - Constructor for class pascal.taie.ir.stmt.Return
- RETURN - Enum constant in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind
-
Edge kind for return statements.
- RETURN - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind
- ReturnEdge<Node> - Class in pascal.taie.analysis.graph.icfg
-
The edge connecting a method exit to return site of the call site.
- ReverseGraph<N> - Class in pascal.taie.util.graph
-
A reverse view of given graph.
- ReverseGraph(Graph<N>) - Constructor for class pascal.taie.util.graph.ReverseGraph
- run(PointerAnalysisResult, String) - Static method in class pascal.taie.analysis.pta.toolkit.scaler.Scaler
-
Parses Scaler argument and runs Scaler.
- run(PointerAnalysisResult, String) - Static method in class pascal.taie.analysis.pta.toolkit.zipper.Zipper
-
Parses Zipper argument and runs Zipper.
- run(PointerAnalysisResult, AnalysisOptions) - Static method in class pascal.taie.analysis.pta.toolkit.mahjong.Mahjong
- runAndCount(Runnable, String) - Static method in class pascal.taie.util.Timer
-
Runs a task and log the elapsed time.
- runAndCount(Runnable, String, Level) - Static method in class pascal.taie.util.Timer
- runAndCount(Supplier<T>, String, Level) - Static method in class pascal.taie.util.Timer
-
Runs a task, log the elapsed time, and return the result.
- RUNTIME_EXCEPTION - Static variable in class pascal.taie.language.classes.ClassNames
- RuntimeInfoLogger - Class in pascal.taie.util
-
A utility class for logging runtime information about the environment and the Tai-e application.
- RuntimeInfoLogger() - Constructor for class pascal.taie.util.RuntimeInfoLogger
- runWithTimeout(Runnable, long) - Static method in class pascal.taie.util.Timer
-
Runs a task with given time budget.
- RValue - Interface in pascal.taie.ir.exp
-
Marker interface for all right-hand-side value.
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form