R-Index (Tai-e 0.2.2 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

R

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.analysis.pta.plugin.util: Static utility methods for reflection analysis.
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
registerHandler(JMethod, Function<Invoke, Collection<Stmt>>) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
registerHandlers() - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
registerHandlersByAnnotation() - Method in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
registerRelevantVarIndexes(JMethod, int...) - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
registerResetCallback(Runnable) - Static method in class pascal.taie.World
registerVarAndHandlers() - Method in class pascal.taie.analysis.pta.plugin.util.AbstractModel
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 0 through nbits-1.
relevantVarIndexes - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractModel
relevantVars - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractModel
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(E) - Method in class pascal.taie.analysis.dataflow.fact.ToppedSetFact
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 key and the value value from 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(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 key1 as 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 key and values.
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.
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<E>) - Method in class pascal.taie.analysis.dataflow.fact.ToppedSetFact
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
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
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.

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