Index

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

O

OAGs - Class in pascal.taie.analysis.pta.toolkit.util

Provides utility methods for object allocation graph.

Obj - Class in pascal.taie.analysis.pta.core.heap

Represents of abstract objects in pointer analysis.

Obj() - Constructor for class pascal.taie.analysis.pta.core.heap.Obj

OBJECT - Static variable in class pascal.taie.language.classes.ClassNames

OBJECT - Static variable in class pascal.taie.language.generics.ClassTypeGSignature

ObjectFlowGraph - Class in pascal.taie.analysis.graph.flowgraph

ObjectFlowGraph(PointerFlowGraph, CallGraph<Invoke, JMethod>) - Constructor for class pascal.taie.analysis.graph.flowgraph.ObjectFlowGraph

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

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

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

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

of(char) - Static method in enum class pascal.taie.language.generics.BaseType

of(char) - Static method in enum class pascal.taie.language.generics.TypeArgument.Kind

of(char, ReferenceTypeGSignature) - Static method in class pascal.taie.language.generics.TypeArgument

of(int...) - Static method in interface pascal.taie.util.collection.IBitSet

Creates a bit set that contains given bits.

of(String) - Static method in class pascal.taie.language.generics.TypeVariableGSignature

of(String...) - Static method in class pascal.taie.util.graph.DotAttributes

of(String, Object...) - Static method in class pascal.taie.config.AnalysisConfig

Convenient static factory for creating an AnalysisConfig by merely specifying id and options.

offer(E) - Method in class pascal.taie.util.collection.SetQueue

ofLinkedHashMap(K, V, K, V) - Static method in class pascal.taie.util.collection.Maps

onFinish() - Method in class pascal.taie.analysis.pta.plugin.AnalysisTimer

onFinish() - Method in class pascal.taie.analysis.pta.plugin.assertion.AssertionChecker

onFinish() - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onFinish() - Method in class pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis

onFinish() - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when pointer analysis finishes.

onFinish() - Method in class pascal.taie.analysis.pta.plugin.Profiler

onFinish() - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectionAnalysis

onFinish() - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

onFinish() - Method in class pascal.taie.analysis.pta.plugin.ResultProcessor

onFinish() - Method in class pascal.taie.analysis.pta.plugin.taint.TaintAnalysis

onNewCallEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onNewCallEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis

For a new call edge, the exception thrown by the callee method should be propagated to its callers, and thrown by the invoke statement, then we propagate the thrown exceptions accordingly.

onNewCallEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis

onNewCallEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis

onNewCallEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.plugin.natives.DoPriviledgedModel

Connects doPrivileged(...) invocation to the corresponding run() method which is the callee of the corresponding run().

onNewCallEdge(Edge<CSCallSite, CSMethod>) - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when a new call graph edge is discovered.

onNewCallEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.ConstraintChecker

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.Java9StringConcatHandler

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.NullHandler

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.NumberLiteralHandler

onNewCSMethod(CSMethod) - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when a new reachable context-sensitive method is discovered.

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.ReferenceHandler

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.ThreadHandler

onNewCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.plugin.util.IRModelPlugin

onNewMethod(JMethod) - Method in class pascal.taie.analysis.pta.plugin.ClassInitializer

onNewMethod(JMethod) - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onNewMethod(JMethod) - Method in class pascal.taie.analysis.pta.plugin.ConstraintChecker

onNewMethod(JMethod) - Method in class pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis

For the throw statements in the method, analyzes and records all the exception entries that handle the exceptions thrown by the statements.

onNewMethod(JMethod) - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when a new reachable method is discovered.

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.ConstraintChecker

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis

If the csVar is an exception reference, propagate all the exception it newly throws.

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis

onNewPointsToSet(CSVar, PointsToSet) - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when set of new objects flow to a context-sensitive variable.

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.Profiler

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.ThreadHandler

onNewPointsToSet(CSVar, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.ClassInitializer

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis

Establishes the map from all exception references to related throw statements.

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.InvokeDynamicAnalysis

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.Java9StringConcatHandler

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.NullHandler

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.NumberLiteralHandler

onNewStmt(Stmt, JMethod) - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when a new reachable stmt is discovered.

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin

onNewStmt(Stmt, JMethod) - Method in class pascal.taie.analysis.pta.plugin.util.IRModelPlugin

onPhaseFinish() - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onPhaseFinish() - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when pointer analysis has processed all entries in the work list.

onPhaseFinish() - Method in class pascal.taie.analysis.pta.plugin.taint.TaintAnalysis

onStart() - Method in class pascal.taie.analysis.pta.plugin.AnalysisTimer

onStart() - Method in class pascal.taie.analysis.pta.plugin.assertion.AssertionChecker

onStart() - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onStart() - Method in class pascal.taie.analysis.pta.plugin.EntryPointHandler

onStart() - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when pointer analysis starts.

onStart() - Method in class pascal.taie.analysis.pta.plugin.ThreadHandler

onStart() - Method in class pascal.taie.analysis.pta.plugin.util.IRModelPlugin

onUnresolvedCall(CSObj, Context, Invoke) - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

onUnresolvedCall(CSObj, Context, Invoke) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LambdaAnalysis

onUnresolvedCall(CSObj, Context, Invoke) - Method in interface pascal.taie.analysis.pta.plugin.Plugin

Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object.

operand1 - Variable in class pascal.taie.ir.exp.ComparisonExp

operand2 - Variable in class pascal.taie.ir.exp.ComparisonExp

Options - Class in pascal.taie.config

Option class for Tai-e.

Options() - Constructor for class pascal.taie.config.Options

or(IBitSet) - Method in class pascal.taie.util.collection.AbstractBitSet

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

Performs a logical OR of this bit set with the bit set argument.

or(IBitSet) - Method in class pascal.taie.util.collection.RegularBitSet

or(IBitSet) - Method in class pascal.taie.util.collection.SparseBitSet

OR - Enum constant in enum class pascal.taie.ir.exp.BitwiseExp.Op

orDiff(IBitSet) - Method in class pascal.taie.util.collection.AbstractBitSet

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

Performs a logical OR of this bit set with the bit set argument, computes and returns the difference set between given bit set and this set (before performing logical OR).

orDiff(IBitSet) - Method in class pascal.taie.util.collection.RegularBitSet

orDiff(IBitSet) - Method in class pascal.taie.util.collection.SparseBitSet

OTHER - Enum constant in enum class pascal.taie.analysis.graph.callgraph.CallKind

Non-regular calls, such calls are typically handled by pointer analysis plugins.

OTHER - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind

OtherEdge<CallSite,Method> - Class in pascal.taie.analysis.graph.callgraph

Base class for call edges of CallKind.OTHER.

OtherEdge - Class in pascal.taie.analysis.pta.core.solver

Base class for flow edges of FlowKind.OTHER.

OtherEdge(CallSite, Method) - Constructor for class pascal.taie.analysis.graph.callgraph.OtherEdge

OtherEdge(Pointer, Pointer) - Constructor for class pascal.taie.analysis.pta.core.solver.OtherEdge

OtherFlowEdge - Record Class in pascal.taie.analysis.graph.flowgraph

OtherFlowEdge(String, Node, Node, Object) - Constructor for record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge

Creates an instance of a OtherFlowEdge record class.

OthersModel - Class in pascal.taie.analysis.pta.plugin.reflection

Models other non-core reflection APIs.

OthersModel(Solver, MetaObjHelper) - Constructor for class pascal.taie.analysis.pta.plugin.reflection.OthersModel

OUT_OF_MEMORY_ERROR - Static variable in class pascal.taie.language.classes.ClassNames

overwriteOptions(List<PlanConfig>) - Method in class pascal.taie.config.ConfigManager

Overwrites the AnalysisConfig.options by corresponding PlanConfig.options.

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