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

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.

ParamSourcePoint - Record Class in pascal.taie.analysis.pta.plugin.taint

A ParamSourcePoint is a parameter of a method.

ParamSourcePoint(JMethod, int) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.ParamSourcePoint

Creates an instance of a ParamSourcePoint 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.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.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 - Enum Class 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>) - 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