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

E

E - Static variable in class pascal.taie.language.generics.TypeParameter

A commonly used type parameter E.

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

Represents call edges in the call graph.

Edge<N> - Interface in pascal.taie.util.graph

General interface for graph edges.

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

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

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

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

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

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

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

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

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

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

element() - Method in record class pascal.taie.language.annotation.Annotation.Entry

Returns the value of the element record component.

Element - Interface in pascal.taie.language.annotation

Represents elements attached on Annotation.

elements() - Method in record class pascal.taie.language.annotation.ArrayElement

Returns the value of the elements record component.

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

Returns the value of the elementType record component.

EMPTY - Static variable in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig

An empty taint config.

emptyContext - Variable in class pascal.taie.analysis.pta.plugin.util.SolverHolder

emptyHolder() - Static method in class pascal.taie.language.annotation.AnnotationHolder

emptyMultiMap() - Static method in class pascal.taie.util.collection.Maps

EmptyNativeModel - Class in pascal.taie.language.natives

Builds empty IR for every native method.

EmptyNativeModel() - Constructor for class pascal.taie.language.natives.EmptyNativeModel

EmptyParamProvider - Enum Class in pascal.taie.analysis.pta.core.solver

This ParamProvider ignored all parameters.

emptyPlan() - Static method in record class pascal.taie.config.Plan

emptyTwoKeyMultiMap() - Static method in class pascal.taie.util.collection.Maps

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

end() - Method in record class pascal.taie.ir.proginfo.ExceptionEntry

Returns the value of the end record component.

ENTER - Enum constant in enum class pascal.taie.ir.stmt.Monitor.Op

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

Entry(String, Element) - Constructor for record class pascal.taie.language.annotation.Annotation.Entry

Creates an instance of a Entry record class.

Entry(K1, K2, V) - Constructor for record class pascal.taie.util.collection.TwoKeyMap.Entry

Creates an instance of a Entry record class.

ENTRY - Enum constant in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind

Edge from entry node to real start node.

ENTRY_DESC - Static variable in interface pascal.taie.analysis.pta.core.heap.Descriptor

Descriptor for entry objects.

entryIterator() - Method in class pascal.taie.util.collection.AbstractMultiMap

entryIterator() - Method in class pascal.taie.util.collection.AbstractTwoKeyMap

entryIterator() - Method in class pascal.taie.util.collection.AbstractTwoKeyMultiMap

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

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

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

entryMethods - Variable in class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

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

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

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

EntryPoint - Record Class in pascal.taie.analysis.pta.core.solver

Represents entry points in pointer analysis.

EntryPoint(JMethod, ParamProvider) - Constructor for record class pascal.taie.analysis.pta.core.solver.EntryPoint

Creates an instance of a EntryPoint record class.

EntryPointHandler - Class in pascal.taie.analysis.pta.plugin

Initializes standard entry points for pointer analysis.

EntryPointHandler() - Constructor for class pascal.taie.analysis.pta.plugin.EntryPointHandler

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

entrySet() - Method in class pascal.taie.util.collection.AbstractMultiMap

entrySet() - Method in class pascal.taie.util.collection.AbstractTwoKeyMap

entrySet() - Method in class pascal.taie.util.collection.AbstractTwoKeyMultiMap

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

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

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

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

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

ENUM - Enum constant in enum class pascal.taie.language.classes.Modifier

EnumElement - Record Class in pascal.taie.language.annotation

EnumElement(String, String) - Constructor for record class pascal.taie.language.annotation.EnumElement

Creates an instance of a EnumElement record class.

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

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

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

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

equals(Object) - Method in class pascal.taie.analysis.dataflow.fact.MapFact

equals(Object) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

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

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

equals(Object) - Method in record class pascal.taie.analysis.graph.cfg.CFGNodeIndexer

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.graph.flowgraph.OtherFlowEdge

Indicates whether some other object is "equal to" this one.

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

equals(Object) - Method in record class pascal.taie.analysis.pta.core.solver.EntryPoint

Indicates whether some other object is "equal to" this one.

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

equals(Object) - Method in class pascal.taie.analysis.pta.core.solver.TypeFilter

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSource

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSource

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.IndexRef

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSanitizer

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSource

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.Sink

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintFlow

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.config.Plan

Indicates whether some other object is "equal to" this one.

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

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

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

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

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

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

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

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

equals(Object) - Method in record class pascal.taie.ir.proginfo.ExceptionEntry

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.Annotation.Entry

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.AnnotationElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.ArrayElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.BooleanElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.ClassElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.DoubleElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.EnumElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.FloatElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.IntElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.LongElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in record class pascal.taie.language.annotation.StringElement

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class pascal.taie.language.classes.Subsignature

equals(Object) - Method in record class pascal.taie.language.generics.ClassTypeGSignature.SimpleClassTypeGSignature

Indicates whether some other object is "equal to" this one.

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

Indicates whether some other object is "equal to" this one.

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

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

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

equals(Object) - Method in class pascal.taie.util.collection.AbstractMultiMap

equals(Object) - Method in class pascal.taie.util.collection.AbstractTwoKeyMap

equals(Object) - Method in class pascal.taie.util.collection.AbstractTwoKeyMultiMap

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

equals(Object) - Method in record class pascal.taie.util.collection.Pair

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class pascal.taie.util.collection.RegularBitSet

Compares this object against the specified object.

equals(Object) - Method in class pascal.taie.util.collection.SparseBitSet

equals(Object) - Method in record class pascal.taie.util.collection.TwoKeyMap.Entry

Indicates whether some other object is "equal to" this one.

equals(Object) - Method in class pascal.taie.util.graph.AbstractEdge

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

equals(Object) - Method in class pascal.taie.util.MutableInt

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

evaluate(Exp, CPFact) - Static method in class pascal.taie.analysis.dataflow.analysis.constprop.Evaluator

Evaluates the Value of given expression.

Evaluator - Class in pascal.taie.analysis.dataflow.analysis.constprop

Evaluates expressions in constant propagation.

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

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

ExceptionAnalysis - Class in pascal.taie.analysis.pta.plugin.exception

ExceptionAnalysis() - Constructor for class pascal.taie.analysis.pta.plugin.exception.ExceptionAnalysis

ExceptionEntry - Record Class in pascal.taie.ir.proginfo

Representation of exception entries.

ExceptionEntry(Stmt, Stmt, Catch, ClassType) - Constructor for record class pascal.taie.ir.proginfo.ExceptionEntry

Creates an instance of a ExceptionEntry record class.

execute() - Method in class pascal.taie.analysis.AnalysisManager

Executes the analysis plan.

EXIT - Enum constant in enum class pascal.taie.ir.stmt.Monitor.Op

Exp - Interface in pascal.taie.ir.exp

Representation of expressions in Tai-e IR.

expandPlan(List<PlanConfig>, boolean) - Method in class pascal.taie.config.AnalysisPlanner

This method makes an analysis plan based on given plan configs, and it will automatically add required analyses (which are not in the given plan) to the resulting plan.

Experimental - Annotation Interface in pascal.taie.util

Indicates that a feature is experimental.

Exps - Class in pascal.taie.ir.exp

Provides static utility methods for Exp.

ExpVisitor<T> - Interface in pascal.taie.ir.exp

Exp visitor which may return a result after the visit.

ExpWrapper - Class in pascal.taie.analysis.dataflow.analysis.availexp

Expression wrapper, which tests equality and computes hashcode by Exp contents.

EXTENDS - Enum constant in enum class pascal.taie.language.generics.TypeArgument.Kind

extract(String) - Static method in class pascal.taie.util.ClassNameExtractor

Extracts names of all classes in given path.

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