P-Index (Tai-e 0.5.1-SNAPSHOT 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

P

Pair<T1,T2> - Record Class in pascal.taie.util.collection
Pair(T1, T2) - Constructor for record class pascal.taie.util.collection.Pair: Creates an instance of a Pair record class.
PARAMETER_PASSING - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind
paramProvider() - Method in record class pascal.taie.analysis.pta.core.solver.EntryPoint: Returns the value of the paramProvider record component.
ParamProvider - Interface in pascal.taie.analysis.pta.core.solver: The parameter object provider for this variable/parameters of the entry method.
ParamSanitizer - Record Class in pascal.taie.analysis.pta.plugin.taint: Represents sanitizers which remove taint objects on method parameters.
ParamSanitizer(JMethod, int) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.ParamSanitizer: Creates an instance of a ParamSanitizer record class.
paramSanitizers() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintConfig: Returns the value of the paramSanitizers record component.
ParamSource - Record Class in pascal.taie.analysis.pta.plugin.taint: Represents sources which generate taint objects on method parameters.
ParamSource(JMethod, IndexRef, Type) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.ParamSource: Creates an instance of a ParamSource record class.
parse(String...) - Static method in class pascal.taie.config.Options: Parses arguments and return the parsed and post-processed Options.
parseConfigs(InputStream) - Static method in class pascal.taie.config.AnalysisConfig: Parses a list of AnalysisConfig from given input stream.
pascal.taie - package pascal.taie
pascal.taie.analysis - package pascal.taie.analysis
pascal.taie.analysis.bugfinder - package pascal.taie.analysis.bugfinder
pascal.taie.analysis.bugfinder.nullpointer - package pascal.taie.analysis.bugfinder.nullpointer
pascal.taie.analysis.dataflow.analysis - package pascal.taie.analysis.dataflow.analysis
pascal.taie.analysis.dataflow.analysis.availexp - package pascal.taie.analysis.dataflow.analysis.availexp
pascal.taie.analysis.dataflow.analysis.constprop - package pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.dataflow.fact - package pascal.taie.analysis.dataflow.fact
pascal.taie.analysis.dataflow.inter - package pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.dataflow.solver - package pascal.taie.analysis.dataflow.solver
pascal.taie.analysis.deadcode - package pascal.taie.analysis.deadcode
pascal.taie.analysis.defuse - package pascal.taie.analysis.defuse
pascal.taie.analysis.exception - package pascal.taie.analysis.exception: This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.callgraph - package pascal.taie.analysis.graph.callgraph: Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.graph.cfg - package pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.flowgraph - package pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.graph.icfg - package pascal.taie.analysis.graph.icfg: Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.misc - package pascal.taie.analysis.misc
pascal.taie.analysis.pta - package pascal.taie.analysis.pta
pascal.taie.analysis.pta.client - package pascal.taie.analysis.pta.client
pascal.taie.analysis.pta.core.cs - package pascal.taie.analysis.pta.core.cs: Provide functionality related to context sensitivity.
pascal.taie.analysis.pta.core.cs.context - package pascal.taie.analysis.pta.core.cs.context
pascal.taie.analysis.pta.core.cs.element - package pascal.taie.analysis.pta.core.cs.element: Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
pascal.taie.analysis.pta.core.cs.selector - package pascal.taie.analysis.pta.core.cs.selector: Provide various context selectors, which correspond to various context sensitivity variants.
pascal.taie.analysis.pta.core.heap - package pascal.taie.analysis.pta.core.heap: Provide model for heap objects.
pascal.taie.analysis.pta.core.solver - package pascal.taie.analysis.pta.core.solver: Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.plugin - package pascal.taie.analysis.pta.plugin: Provide plugin interface of pointer analysis and some instances (implementations).
pascal.taie.analysis.pta.plugin.assertion - package pascal.taie.analysis.pta.plugin.assertion
pascal.taie.analysis.pta.plugin.exception - package pascal.taie.analysis.pta.plugin.exception
pascal.taie.analysis.pta.plugin.invokedynamic - package pascal.taie.analysis.pta.plugin.invokedynamic
pascal.taie.analysis.pta.plugin.natives - package pascal.taie.analysis.pta.plugin.natives
pascal.taie.analysis.pta.plugin.reflection - package pascal.taie.analysis.pta.plugin.reflection
pascal.taie.analysis.pta.plugin.taint - package pascal.taie.analysis.pta.plugin.taint
pascal.taie.analysis.pta.plugin.util - package pascal.taie.analysis.pta.plugin.util
pascal.taie.analysis.pta.pts - package pascal.taie.analysis.pta.pts: Implementation of various points-to sets used in pointer analysis.
pascal.taie.analysis.pta.toolkit - package pascal.taie.analysis.pta.toolkit
pascal.taie.analysis.pta.toolkit.mahjong - package pascal.taie.analysis.pta.toolkit.mahjong: This package contains implementation of Mahjong, which builds heap model by mering type-consistent objects.
pascal.taie.analysis.pta.toolkit.scaler - package pascal.taie.analysis.pta.toolkit.scaler: This package contains implementation of Scaler, which selects suitable context variants for the methods in the program.
pascal.taie.analysis.pta.toolkit.util - package pascal.taie.analysis.pta.toolkit.util
pascal.taie.analysis.pta.toolkit.zipper - package pascal.taie.analysis.pta.toolkit.zipper: This package contains implementation of Zipper and Zipper-e, which selects precision-critical methods in the program.
pascal.taie.analysis.sideeffect - package pascal.taie.analysis.sideeffect: This package implements modification side-effect analysis (MOD) which computes the objects that may be modified by each method and statement.
pascal.taie.config - package pascal.taie.config: This package provides functionality for processing options and configurations.
pascal.taie.frontend.cache - package pascal.taie.frontend.cache
pascal.taie.frontend.soot - package pascal.taie.frontend.soot
pascal.taie.ir - package pascal.taie.ir: Provide classes related to intermediate representation of method bodies.
pascal.taie.ir.exp - package pascal.taie.ir.exp
pascal.taie.ir.proginfo - package pascal.taie.ir.proginfo
pascal.taie.ir.stmt - package pascal.taie.ir.stmt
pascal.taie.language.annotation - package pascal.taie.language.annotation: Provides representation of annotations in the program being analyzed.
pascal.taie.language.classes - package pascal.taie.language.classes: Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.language.generics - package pascal.taie.language.generics: In this package, we offer a generics model for Java.
pascal.taie.language.natives - package pascal.taie.language.natives: Provide model for native methods.
pascal.taie.language.type - package pascal.taie.language.type: Provides model of Java type system.
pascal.taie.util - package pascal.taie.util
pascal.taie.util.collection - package pascal.taie.util.collection
pascal.taie.util.function - package pascal.taie.util.function
pascal.taie.util.graph - package pascal.taie.util.graph
peek() - Method in class pascal.taie.util.collection.SetQueue
Plan - Record Class in pascal.taie.config: Contains information about analysis execution plan.
Plan(List<AnalysisConfig>, Graph<AnalysisConfig>, Set<String>) - Constructor for record class pascal.taie.config.Plan: Creates an instance of a Plan record class.
PlanConfig - Class in pascal.taie.config: Configuration for an analysis to be executed.
PlanConfig(String, AnalysisOptions) - Constructor for class pascal.taie.config.PlanConfig
Plugin - Interface in pascal.taie.analysis.pta.plugin: Analysis plugin interface.
Pointer - Interface in pascal.taie.analysis.pta.core.cs.element: Represents all pointers (nodes) in context-sensitive pointer analysis (pointer flow graph).
PointerAnalysis - Class in pascal.taie.analysis.pta
PointerAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.pta.PointerAnalysis
PointerAnalysisResult - Interface in pascal.taie.analysis.pta: Represents results of pointer analysis.
PointerAnalysisResultEx - Interface in pascal.taie.analysis.pta.toolkit: Extended version PointerAnalysisResult.
PointerAnalysisResultExImpl - Class in pascal.taie.analysis.pta.toolkit
PointerAnalysisResultExImpl(PointerAnalysisResult, boolean) - Constructor for class pascal.taie.analysis.pta.toolkit.PointerAnalysisResultExImpl: Constructs an extended pointer analysis result.
PointerAnalysisResultImpl - Class in pascal.taie.analysis.pta
PointerAnalysisResultImpl(PropagateTypes, CSManager, Indexer<Obj>, CallGraph<CSCallSite, CSMethod>, PointerFlowGraph) - Constructor for class pascal.taie.analysis.pta.PointerAnalysisResultImpl
PointerFlowEdge - Class in pascal.taie.analysis.pta.core.solver
PointerFlowEdge(FlowKind, Pointer, Pointer) - Constructor for class pascal.taie.analysis.pta.core.solver.PointerFlowEdge
PointerFlowGraph - Class in pascal.taie.analysis.pta.core.solver: Represents pointer flow graph in context-sensitive pointer analysis.
pointers() - Method in interface pascal.taie.analysis.pta.core.cs.element.CSManager
pointers() - Method in class pascal.taie.analysis.pta.core.cs.element.MapBasedCSManager
pointers() - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph
PointsToSet - Interface in pascal.taie.analysis.pta.pts: Representation of points-to sets that consist of CSObj.
PointsToSetFactory - Class in pascal.taie.analysis.pta.pts: Provides static factory methods for PointsToSet.
PointsToSetFactory(Indexer<CSObj>) - Constructor for class pascal.taie.analysis.pta.pts.PointsToSetFactory
poll() - Method in class pascal.taie.util.collection.SetQueue
PolymorphicCallSite - Class in pascal.taie.analysis.pta.client
PolymorphicCallSite(AnalysisConfig) - Constructor for class pascal.taie.analysis.pta.client.PolymorphicCallSite
position(Stmt) - Static method in class pascal.taie.ir.IRPrinter
Predicates - Class in pascal.taie.util
previousClearBit(int) - Method in interface pascal.taie.util.collection.IBitSet: Returns the index of the nearest bit that is set to false that occurs on or before the specified starting index.
previousClearBit(int) - Method in class pascal.taie.util.collection.RegularBitSet
previousClearBit(int) - Method in class pascal.taie.util.collection.SparseBitSet
previousSetBit(int) - Method in interface pascal.taie.util.collection.IBitSet: Returns the index of the nearest bit that is set to true that occurs on or before the specified starting index.
previousSetBit(int) - Method in class pascal.taie.util.collection.RegularBitSet
previousSetBit(int) - Method in class pascal.taie.util.collection.SparseBitSet
PrimitiveType - Interface in pascal.taie.language.type
print(IR, PrintStream) - Static method in class pascal.taie.ir.IRPrinter
printHelp() - Method in class pascal.taie.config.Options
PRIVATE - Enum constant in enum class pascal.taie.language.classes.Modifier
process(AnalysisOptions, PointerAnalysisResult) - Static method in class pascal.taie.analysis.pta.plugin.ResultProcessor
Profiler - Class in pascal.taie.analysis.pta.plugin: Profiler to help identify analysis hot spots in the analyzed program and assist performance tuning for pointer analysis.
Profiler() - Constructor for class pascal.taie.analysis.pta.plugin.Profiler
ProgramAnalysis<R> - Class in pascal.taie.analysis: Abstract base class for all whole-program analyses.
ProgramAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.ProgramAnalysis
PropagateTypes - Class in pascal.taie.analysis.pta.core.solver: Checks whether propagation of objects is allowed.
PropagateTypes(List<String>, TypeSystem) - Constructor for class pascal.taie.analysis.pta.core.solver.PropagateTypes: Elements of types can be: "reference": allow reference types "null" (or null): allow null type various primitive types: allow the corresponding primitive types
PROTECTED - Enum constant in enum class pascal.taie.language.classes.Modifier
PTAThrowResult - Class in pascal.taie.analysis.pta.plugin.exception
PTAThrowResult() - Constructor for class pascal.taie.analysis.pta.plugin.exception.PTAThrowResult
PUBLIC - Enum constant in enum class pascal.taie.language.classes.Modifier
put(K1, K2, V) - Method in class pascal.taie.util.collection.MapMapTwoKeyMap
put(K1, K2, V) - Method in class pascal.taie.util.collection.MapMultiMapTwoKeyMultiMap
put(K1, K2, V) - Method in interface pascal.taie.util.collection.TwoKeyMap: Associates the specified value with the specified two-key pair in this map.
put(K1, K2, V) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap: Stores a key1-key2-value triple in this two-key multimap.
put(K, V) - Method in class pascal.taie.util.collection.AbstractHybridMap
put(K, V) - Method in class pascal.taie.util.collection.ArrayMap
put(K, V) - Method in class pascal.taie.util.collection.IndexMap
put(K, V) - Method in class pascal.taie.util.collection.MapSetMultiMap
put(K, V) - Method in interface pascal.taie.util.collection.MultiMap: Stores a key-value pair in this multimap.
putAll(Map<? extends K, ? extends V>) - Method in class pascal.taie.util.collection.AbstractHybridMap
putAll(K1, Map<K2, V>) - Method in class pascal.taie.util.collection.MapMapTwoKeyMap
putAll(K1, Map<K2, V>) - Method in interface pascal.taie.util.collection.TwoKeyMap: Copies all the mappings from the specified map to second-level map associated with key1.
putAll(K, Collection<? extends V>) - Method in class pascal.taie.util.collection.MapSetMultiMap
putAll(K, Collection<? extends V>) - Method in interface pascal.taie.util.collection.MultiMap: Stores a key-value pair in this multimap for each of values, all using the same key, key.=
putAll(MultiMap<? extends K, ? extends V>) - Method in class pascal.taie.util.collection.MapSetMultiMap
putAll(MultiMap<? extends K, ? extends V>) - Method in interface pascal.taie.util.collection.MultiMap: Stores all key-value pairs of multimap in this multimap.
putAll(TwoKeyMap<K1, K2, V>) - Method in class pascal.taie.util.collection.MapMapTwoKeyMap
putAll(TwoKeyMap<K1, K2, V>) - Method in interface pascal.taie.util.collection.TwoKeyMap: Copies all the mappings from the specified two-key map to this map.

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