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

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.

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