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

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
 
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
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.
Use AnalysisModelPlugin instead.
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