Index
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
- 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
- matcher - Variable in class pascal.taie.analysis.pta.plugin.taint.TaintConfigProvider
- 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
- mergeWith(TaintConfig) - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig
-
Merges this taint config with other taint config.
- method() - Method in record class pascal.taie.analysis.pta.core.solver.EntryPoint
-
Returns the value of the
method
record component. - method() - Method in record class pascal.taie.analysis.pta.plugin.taint.CallSource
-
Returns the value of the
method
record component. - method() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSanitizer
-
Returns the value of the
method
record component. - method() - Method in record class pascal.taie.analysis.pta.plugin.taint.ParamSource
-
Returns the value of the
method
record component. - method() - Method in record class pascal.taie.analysis.pta.plugin.taint.Sink
-
Returns the value of the
method
record component. - method() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer
-
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
-
Deprecated.
- method2GenStmts - Variable in class pascal.taie.analysis.pta.plugin.util.IRModelPlugin
- 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(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel
- methodInvoke(Context, Invoke, PointsToSet, PointsToSet) - 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(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel
- methodType2Classes(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel
- methodTypeClassMT(Context, Invoke, PointsToSet, PointsToSet) - 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
-
Deprecated.
- 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.
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
AnalysisModelPlugin
instead.