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

M

Mahjong - Class in pascal.taie.analysis.pta.toolkit.mahjong
Mahjong() - Constructor for class pascal.taie.analysis.pta.toolkit.mahjong.Mahjong
main(String...) - Static method in class pascal.taie.Main
main(String[]) - Static method in class pascal.taie.util.ClassNameExtractor
Main - Class in pascal.taie
Main() - Constructor for class pascal.taie.Main
MAJOR - Enum constant in enum class pascal.taie.analysis.bugfinder.Severity
make() - Method in class pascal.taie.analysis.pta.pts.PointsToSetFactory
make(Collection<Annotation>) - Static method in class pascal.taie.language.annotation.AnnotationHolder: Creates an annotation holder that contains the annotations in given collection.
make(CSObj) - Method in class pascal.taie.analysis.pta.pts.PointsToSetFactory: Convenient method for making one-element points-to set.
make(T) - Method in interface pascal.taie.analysis.pta.core.cs.context.ContextFactory
make(T) - Method in class pascal.taie.analysis.pta.core.cs.context.TrieContext.Factory
make(T...) - Method in interface pascal.taie.analysis.pta.core.cs.context.ContextFactory
make(T...) - Method in class pascal.taie.analysis.pta.core.cs.context.TrieContext.Factory
makeAnalysis(CFG<Node>) - Method in class pascal.taie.analysis.dataflow.analysis.AnalysisDriver: Creates an analysis object for given cfg.
makeAnalysis(CFG<Stmt>) - Method in class pascal.taie.analysis.bugfinder.nullpointer.IsNullAnalysis
makeAnalysis(CFG<Stmt>) - Method in class pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression
makeAnalysis(CFG<Stmt>) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation
makeAnalysis(CFG<Stmt>) - Method in class pascal.taie.analysis.dataflow.analysis.LiveVariable
makeAnalysis(CFG<Stmt>) - Method in class pascal.taie.analysis.dataflow.analysis.ReachingDefinition
makeCISelector() - Static method in class pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
makeConstant(int) - Static method in class pascal.taie.analysis.dataflow.analysis.constprop.Value: Makes a constant value.
makeGuidedSelector(Map<JMethod, String>) - Static method in class pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
makeLastK(Context, int) - Method in interface pascal.taie.analysis.pta.core.cs.context.ContextFactory
makeLastK(Context, int) - Method in class pascal.taie.analysis.pta.core.cs.context.TrieContext.Factory
makePlainSelector(String) - Static method in class pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
makePlan(List<PlanConfig>, boolean) - Method in class pascal.taie.config.AnalysisPlanner: This method makes a plan by converting given list of PlanConfig to AnalysisConfig.
makePointsToSet() - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver
makePointsToSet() - Method in interface pascal.taie.analysis.pta.core.solver.Solver: Creates a new empty points-to set.
makeSelectiveSelector(String, Predicate<JMethod>, Predicate<Obj>) - Static method in class pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
makeSelectiveSelector(String, Set<JMethod>) - Static method in class pascal.taie.analysis.pta.core.cs.selector.ContextSelectorFactory
MANDATED - Enum constant in enum class pascal.taie.language.classes.Modifier
map - Variable in class pascal.taie.analysis.dataflow.fact.MapFact: The map holding the mappings of this MapFact.
map(Collection<? extends T>, Function<T, R>) - Static method in class pascal.taie.util.collection.Lists: Applies a mapper function on a given collection and returns the results as a list.
MapBasedCSManager - Class in pascal.taie.analysis.pta.core.cs.element: Manages data by maintaining the data and their context-sensitive counterparts by maps.
MapBasedCSManager() - Constructor for class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager
MapEntry<K,V> - Class in pascal.taie.util.collection: Map entry.
MapEntry(K, V) - Constructor for class pascal.taie.util.collection.MapEntry: Constructs a new map entry.
MapFact<K,V> - Class in pascal.taie.analysis.dataflow.fact: Represents map-like data-flow facts.
MapFact(Map<K, V>) - Constructor for class pascal.taie.analysis.dataflow.fact.MapFact: Constructs a new MapFact with the same mappings as specified Map.
MapMapTwoKeyMap<K1,K2,V> - Class in pascal.taie.util.collection: Implements TwoKeyMap as map of maps.
MapMapTwoKeyMap(Map<K1, Map<K2, V>>, SSupplier<Map<K2, V>>) - Constructor for class pascal.taie.util.collection.MapMapTwoKeyMap
MapMultiMapTwoKeyMultiMap<K1,K2,V> - Class in pascal.taie.util.collection: Implements TwoKeyMultiMap as map of multimaps.
MapMultiMapTwoKeyMultiMap(Map<K1, MultiMap<K2, V>>, SSupplier<MultiMap<K2, V>>) - Constructor for class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
Maps - Class in pascal.taie.util.collection: Static utility methods for various maps, including Map, MultiMap, and TwoKeyMap.
MapSetMultiMap<K,V> - Class in pascal.taie.util.collection: An implementation of MultiMap that stores key-value pairs as a map from key to the sets of its corresponding values.
MapSetMultiMap(Map<K, Set<V>>, SSupplier<Set<V>>) - Constructor for class pascal.taie.util.collection.MapSetMultiMap
mayAlias(ArrayAccess, ArrayAccess) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult
mayAlias(ArrayAccess, ArrayAccess) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl
mayAlias(InstanceFieldAccess, InstanceFieldAccess) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult
mayAlias(InstanceFieldAccess, InstanceFieldAccess) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl
mayAlias(Var, Var) - Method in interface pascal.taie.analysis.pta.PointerAnalysisResult
mayAlias(Var, Var) - Method in class pascal.taie.analysis.pta.PointerAnalysisResultImpl
MayFailCast - Class in pascal.taie.analysis.pta.client
MayFailCast(AnalysisConfig) - Constructor for class pascal.taie.analysis.pta.client.MayFailCast
mayThrowExplicitly(Invoke) - Method in class pascal.taie.analysis.exception.ThrowResult
mayThrowExplicitly(Stmt) - Method in class pascal.taie.analysis.pta.plugin.exception.MethodThrowResult
mayThrowExplicitly(Throw) - Method in class pascal.taie.analysis.exception.ThrowResult
mayThrowImplicitly(Stmt) - Method in class pascal.taie.analysis.exception.ThrowResult
mayThrowUncaught() - Method in class pascal.taie.analysis.pta.plugin.exception.MethodThrowResult
meetInto(Fact, Fact) - Method in interface pascal.taie.analysis.dataflow.analysis.DataflowAnalysis: Meets a fact into another (target) fact.
meetInto(Fact, Fact) - Method in interface pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis: Meets a fact into another (target) fact.
meetInto(CPFact, CPFact) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis
meetInto(CPFact, CPFact) - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation
meetValue(Value, Value) - Method in class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis: Meets two Values.
MemberRef - Class in pascal.taie.ir.proginfo: Represents references to class members in IR.
MemberRef(JClass, String, boolean) - Constructor for class pascal.taie.ir.proginfo.MemberRef
MergedNode<N> - Class in pascal.taie.util.graph: Represents a node in MergedSCCGraph, where each node corresponds to a SCC.
MergedObj - Class in pascal.taie.analysis.pta.core.heap: Represents a set of merged objects.
MergedObj(Type, String) - Constructor for class pascal.taie.analysis.pta.core.heap.MergedObj
MergedSCCGraph<N> - Class in pascal.taie.util.graph: Represents a merged graph of a directed graph G.
MergedSCCGraph(Graph<N>) - Constructor for class pascal.taie.util.graph.MergedSCCGraph
method() - Method in record class pascal.taie.analysis.pta.core.solver.EntryPoint: Returns the value of the method record component.
METHOD - Static variable in class pascal.taie.language.classes.ClassNames
METHOD_HANDLE - Static variable in class pascal.taie.language.classes.ClassNames
METHOD_TYPE - Static variable in class pascal.taie.language.classes.ClassNames
method2GenStmts - Variable in class pascal.taie.analysis.pta.plugin.util.AbstractIRModel
MethodAnalysis<R> - Class in pascal.taie.analysis: Abstract base class for all method analyses, or say, intra-procedural analyses.
MethodAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.MethodAnalysis
MethodGSignature - Class in pascal.taie.language.generics: In JVM Spec.
MethodHandle - Class in pascal.taie.ir.exp: Representation of java.lang.invoke.MethodHandle instances.
MethodHandle.Kind - Enum Class in pascal.taie.ir.exp
methodInvoke(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel
methodInvoke(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.reflection.SolarModel
MethodNames - Class in pascal.taie.language.classes: Provides names of special methods.
methodRef - Variable in class pascal.taie.ir.exp.InvokeExp: The method reference at the invocation.
MethodRef - Class in pascal.taie.ir.proginfo: Represents method references in IR.
MethodResolutionFailedException - Exception in pascal.taie.ir.proginfo
MethodResolutionFailedException(String) - Constructor for exception pascal.taie.ir.proginfo.MethodResolutionFailedException
MethodThrowResult - Class in pascal.taie.analysis.pta.plugin.exception
MethodThrowResult(JMethod) - Constructor for class pascal.taie.analysis.pta.plugin.exception.MethodThrowResult
MethodType - Class in pascal.taie.ir.exp: Representation of java.lang.invoke.MethodType instances.
methodType1Class(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel
methodType2Classes(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel
methodTypeClassMT(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel
MethodTypeModel - Class in pascal.taie.analysis.pta.plugin.invokedynamic: Models invocations to MethodType.methodType(*);
MINOR - Enum constant in enum class pascal.taie.analysis.bugfinder.Severity
MockObj - Class in pascal.taie.analysis.pta.core.heap: Represents the objects whose allocation sites are not explicitly written in the program.
MockObj(Descriptor, Object, Type, JMethod, boolean) - Constructor for class pascal.taie.analysis.pta.core.heap.MockObj
Model - Interface in pascal.taie.analysis.pta.plugin.util: Model for special APIs.
Modifier - Enum Class in pascal.taie.language.classes
modifiers - Variable in class pascal.taie.language.classes.ClassMember
Monitor - Class in pascal.taie.ir.stmt: Representation of monitorenter/monitorexit instruction.
Monitor(Monitor.Op, Var) - Constructor for class pascal.taie.ir.stmt.Monitor
Monitor.Op - Enum Class in pascal.taie.ir.stmt
MUL - Enum constant in enum class pascal.taie.ir.exp.ArithmeticExp.Op
MultiMap<K,V> - Interface in pascal.taie.util.collection: A collection that maps keys to values, similar to Map, but in which each key may be associated with multiple values.
MultiMapCollector<T,K,V,R> - Class in pascal.taie.util.collection
MutableInt - Class in pascal.taie.util: A mutable int wrapper.
MutableInt(int) - Constructor for class pascal.taie.util.MutableInt: Creates a new MutableInt with the given initial 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