E-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

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.
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.dataflow.fact.ToppedSetFact
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 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.CallSourcePoint: 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.FieldSourcePoint: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSourcePoint: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class pascal.taie.analysis.pta.plugin.taint.SinkPoint: 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.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