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

A

ABSTRACT - Enum constant in enum class pascal.taie.language.classes.Modifier

ABSTRACT_METHOD_ERROR - Static variable in class pascal.taie.language.classes.ClassNames

AbstractBitSet - Class in pascal.taie.util.collection

Provides common functionality for IBitSet implementations.

AbstractBitSet() - Constructor for class pascal.taie.util.collection.AbstractBitSet

AbstractCallGraph<CallSite,Method> - Class in pascal.taie.analysis.graph.callgraph

Common functionality for CallGraph implementations.

AbstractCallGraph() - Constructor for class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

AbstractCSElement - Class in pascal.taie.analysis.pta.core.cs.element

AbstractDataflowAnalysis<Node,Fact> - Class in pascal.taie.analysis.dataflow.analysis

AbstractDataflowAnalysis(CFG<Node>) - Constructor for class pascal.taie.analysis.dataflow.analysis.AbstractDataflowAnalysis

AbstractEdge<N> - Class in pascal.taie.util.graph

AbstractEdge(N, N) - Constructor for class pascal.taie.util.graph.AbstractEdge

AbstractHeapModel - Class in pascal.taie.analysis.pta.core.heap

All heap models should inherit this class, and we can define some uniform behaviors of heap modeling here.

AbstractHeapModel(AnalysisOptions) - Constructor for class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

AbstractHybridMap<K,V> - Class in pascal.taie.util.collection

This map supports hybrid of two map implementations, where one is efficient for small map and another one is efficient for large map.

AbstractHybridMap() - Constructor for class pascal.taie.util.collection.AbstractHybridMap

Constructs a new empty hybrid map.

AbstractHybridMap(Map<K, V>) - Constructor for class pascal.taie.util.collection.AbstractHybridMap

Constructs a new hybrid map from the given map.

AbstractHybridSet<E> - Class in pascal.taie.util.collection

This set supports hybrid of two set implementations, where one is efficient for small set and another one is efficient for large set.

AbstractHybridSet() - Constructor for class pascal.taie.util.collection.AbstractHybridSet

Constructs a new hybrid set.

AbstractHybridSet(Collection<E>) - Constructor for class pascal.taie.util.collection.AbstractHybridSet

Constructs a new hybrid set from the given collection.

AbstractInterDataflowAnalysis<Method,Node,Fact> - Class in pascal.taie.analysis.dataflow.inter

Provides common functionalities for InterDataflowAnalysis implementations.

AbstractInterDataflowAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

AbstractIRModel - Class in pascal.taie.analysis.pta.plugin.util

Deprecated.

Use IRModelPlugin instead.

AbstractIRModel(Solver) - Constructor for class pascal.taie.analysis.pta.plugin.util.AbstractIRModel

Deprecated.

AbstractModel - Class in pascal.taie.analysis.pta.plugin.util

Deprecated.

Use AnalysisModelPlugin instead.

AbstractModel(Solver) - Constructor for class pascal.taie.analysis.pta.plugin.util.AbstractModel

Deprecated.

AbstractMultiMap<K,V> - Class in pascal.taie.util.collection

AbstractMultiMap() - Constructor for class pascal.taie.util.collection.AbstractMultiMap

AbstractResultHolder - Class in pascal.taie.util

Map-based implementation for ResultHolder.

AbstractResultHolder() - Constructor for class pascal.taie.util.AbstractResultHolder

AbstractSetEx<E> - Class in pascal.taie.util.collection

AbstractSetEx() - Constructor for class pascal.taie.util.collection.AbstractSetEx

AbstractTwoKeyMap<K1,K2,V> - Class in pascal.taie.util.collection

AbstractTwoKeyMap() - Constructor for class pascal.taie.util.collection.AbstractTwoKeyMap

AbstractTwoKeyMultiMap<K1,K2,V> - Class in pascal.taie.util.collection

AbstractTwoKeyMultiMap() - Constructor for class pascal.taie.util.collection.AbstractTwoKeyMultiMap

AbstractWorldBuilder - Class in pascal.taie

Common functionality for WorldBuilder implementations.

AbstractWorldBuilder() - Constructor for class pascal.taie.AbstractWorldBuilder

accept(int) - Method in interface pascal.taie.util.collection.IBitSet.Action

Performs this action on given bit index.

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.ArithmeticExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.ArrayAccess

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.ArrayLengthExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.BitwiseExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.CastExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.ClassLiteral

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.ComparisonExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.ConditionExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.DoubleLiteral

accept(ExpVisitor<T>) - Method in interface pascal.taie.ir.exp.Exp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.FloatLiteral

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.InstanceFieldAccess

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.InstanceOfExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.IntLiteral

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.InvokeDynamic

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.InvokeInterface

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.InvokeSpecial

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.InvokeStatic

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.InvokeVirtual

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.LongLiteral

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.MethodHandle

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.MethodType

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.NegExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.NewArray

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.NewInstance

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.NewMultiArray

accept(ExpVisitor<T>) - Method in enum class pascal.taie.ir.exp.NullLiteral

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.ShiftExp

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.StaticFieldAccess

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.StringLiteral

accept(ExpVisitor<T>) - Method in class pascal.taie.ir.exp.Var

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.AssignLiteral

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Binary

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Cast

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Catch

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Copy

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Goto

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.If

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.InstanceOf

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Invoke

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.LoadArray

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.LoadField

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.LookupSwitch

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Monitor

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.New

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Nop

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Return

accept(StmtVisitor<T>) - Method in interface pascal.taie.ir.stmt.Stmt

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.StoreArray

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.StoreField

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.TableSwitch

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Throw

accept(StmtVisitor<T>) - Method in class pascal.taie.ir.stmt.Unary

accept(T, U, V) - Method in interface pascal.taie.util.TriConsumer

Applies this function to the given arguments.

accumulator() - Method in class pascal.taie.util.collection.MultiMapCollector

add(int) - Method in class pascal.taie.util.MutableInt

Adds the given value to the current value.

add(E) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

Adds an element to this fact.

add(E) - Method in class pascal.taie.util.collection.AbstractHybridSet

add(E) - Method in class pascal.taie.util.collection.ArraySet

add(E) - Method in class pascal.taie.util.collection.GenericBitSet

add(E) - Method in class pascal.taie.util.collection.IndexableSet

add(E) - Method in class pascal.taie.util.collection.SetQueue

add(String...) - Method in class pascal.taie.util.graph.DotAttributes

add(T) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

Adds an obj to this model.

ADD - Enum constant in enum class pascal.taie.ir.exp.ArithmeticExp.Op

addAll(Collection<? extends E>) - Method in class pascal.taie.util.collection.AbstractHybridSet

addAll(Collection<? extends E>) - Method in class pascal.taie.util.collection.ArraySet

addAll(Collection<? extends E>) - Method in class pascal.taie.util.collection.GenericBitSet

addAll(Collection<? extends E>) - Method in class pascal.taie.util.collection.HybridBitSet

addAll(PointsToSet) - Method in interface pascal.taie.analysis.pta.pts.PointsToSet

Adds all objects in given pts to this set.

addAllDiff(Collection<? extends E>) - Method in class pascal.taie.util.collection.AbstractSetEx

addAllDiff(Collection<? extends E>) - Method in class pascal.taie.util.collection.ArraySet

addAllDiff(Collection<? extends E>) - Method in class pascal.taie.util.collection.GenericBitSet

addAllDiff(Collection<? extends E>) - Method in class pascal.taie.util.collection.HybridBitSet

addAllDiff(Collection<? extends E>) - Method in interface pascal.taie.util.collection.SetEx

Adds all elements in collection c, and returns the difference set between c and this set (before the call).

addAllDiff(PointsToSet) - Method in interface pascal.taie.analysis.pta.pts.PointsToSet

Adds all objects in given pts to this set.

addArrayObj(Obj, Obj) - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

addCallEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addCallEdge(Edge<CSCallSite, CSMethod>) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds a call edge.

addClass(JClass) - Method in interface pascal.taie.language.classes.ClassHierarchy

Adds a JClass into class hierarchy.

addClass(JClass) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

addCSMethod(CSMethod) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addCSMethod(CSMethod) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds a context-sensitive method.

addEdge(N, N) - Method in class pascal.taie.util.graph.SimpleGraph

addEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

Adds a new call graph edge to this call graph.

addEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.core.cs.element.CSCallSite

addEdge(Edge<CSCallSite, CSMethod>) - Method in class pascal.taie.analysis.pta.core.cs.element.CSMethod

addEdge(Edge<Invoke, JMethod>) - Method in class pascal.taie.analysis.graph.callgraph.DefaultCallGraph

Adds a new call graph edge to this call graph.

addEdge(PointerFlowEdge) - Method in class pascal.taie.analysis.pta.core.cs.element.InstanceField

addEdge(PointerFlowEdge) - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

Adds a pointer flow edge and returns the edge in the PFG.

addEdge(PointerFlowEdge) - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowGraph

Adds a pointer flow edge and returns the edge in the PFG.

addEntryMethod(CSMethod) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

Adds an entry method to this call graph.

addEntryMethod(JMethod) - Method in class pascal.taie.analysis.graph.callgraph.DefaultCallGraph

Adds an entry method to this call graph.

addEntryPoint(EntryPoint) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addEntryPoint(EntryPoint) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds an entry point.

addFieldObj(Obj, JField, Obj) - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

addFilter(Predicate<CSObj>) - Method in class pascal.taie.analysis.pta.core.cs.element.InstanceField

addFilter(Predicate<CSObj>) - Method in interface pascal.taie.analysis.pta.core.cs.element.Pointer

Adds filter to filter out objects pointed to by this pointer.

addIgnoredMethod(JMethod) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addIgnoredMethod(JMethod) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

If a plugin takes over the analysis of a method, and wants this solver to ignore the method (for precision and/or efficiency reasons), then it could call this API with the method.

addInvoke(Invoke) - Method in class pascal.taie.ir.exp.Var

addLoadArray(LoadArray) - Method in class pascal.taie.ir.exp.Var

addLoadField(LoadField) - Method in class pascal.taie.ir.exp.Var

addNode(N) - Method in class pascal.taie.util.graph.SimpleGraph

addObject(CSObj) - Method in interface pascal.taie.analysis.pta.pts.PointsToSet

Adds an object to this set.

addParamObj(int, Obj) - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

addPFGEdge(Pointer, Pointer, FlowKind) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds an edge "source -> target" to the PFG.

addPFGEdge(Pointer, Pointer, FlowKind, Transfer) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Deprecated.

Use Solver.addPFGEdge(PointerFlowEdge, Transfer) instead.

addPFGEdge(Pointer, Pointer, FlowKind, Type) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Deprecated.

Use Solver.addPFGEdge(PointerFlowEdge, Type) instead.

addPFGEdge(PointerFlowEdge) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds a pointer flow edge to the PFG.

addPFGEdge(PointerFlowEdge, Transfer) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addPFGEdge(PointerFlowEdge, Transfer) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds a pointer flow edge (with edge transfer) to the PFG.

addPFGEdge(PointerFlowEdge, Type) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds a pointer flow edge (with type filer) to the PFG.

addPhantomField(String, Type, JField) - Method in class pascal.taie.language.classes.JClass

addPlugin(Plugin...) - Method in class pascal.taie.analysis.pta.plugin.CompositePlugin

addPointerFilter(Pointer, Predicate<CSObj>) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addPointerFilter(Pointer, Predicate<CSObj>) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds an object filter to given pointer.

addPointsTo(Pointer, Context, Obj) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addPointsTo(Pointer, Context, Obj) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

addPointsTo(Pointer, CSObj) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addPointsTo(Pointer, CSObj) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

addPointsTo(Pointer, Obj) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Convenient API to add points-to relation for object with empty heap context.

addPointsTo(Pointer, PointsToSet) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addPointsTo(Pointer, PointsToSet) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

addReachableMethod(CSMethod) - Method in class pascal.taie.analysis.pta.core.cs.CSCallGraph

Adds a reachable method to this call graph.

addReachableMethod(JMethod) - Method in class pascal.taie.analysis.graph.callgraph.DefaultCallGraph

Adds a reachable method to this call graph.

addRepresentedObj(Obj) - Method in class pascal.taie.analysis.pta.core.heap.MergedObj

ADDRESS_BITS_PER_WORD - Static variable in class pascal.taie.util.collection.AbstractBitSet

addStmts(CSMethod, Collection<Stmt>) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addStmts(CSMethod, Collection<Stmt>) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Adds stmts to the analyzed program.

addStoreArray(StoreArray) - Method in class pascal.taie.ir.exp.Var

addStoreField(StoreField) - Method in class pascal.taie.ir.exp.Var

addThisObj(Obj) - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

addTransfer(Transfer) - Method in class pascal.taie.analysis.pta.core.solver.PointerFlowEdge

addVarPointsTo(Context, Var, Context, Obj) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addVarPointsTo(Context, Var, Context, Obj) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

addVarPointsTo(Context, Var, CSObj) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addVarPointsTo(Context, Var, CSObj) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

addVarPointsTo(Context, Var, Obj) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

Convenient API to add var points-to relation for object with empty heap context.

addVarPointsTo(Context, Var, PointsToSet) - Method in class pascal.taie.analysis.pta.core.solver.DefaultSolver

addVarPointsTo(Context, Var, PointsToSet) - Method in interface pascal.taie.analysis.pta.core.solver.Solver

all() - Static method in class pascal.taie.language.generics.TypeArgument

ALL - Enum constant in enum class pascal.taie.config.Scope

Analyzes all code.

ALL - Enum constant in enum class pascal.taie.language.generics.TypeArgument.Kind

allClasses() - Method in interface pascal.taie.language.classes.ClassHierarchy

allClasses() - Method in class pascal.taie.language.classes.ClassHierarchyImpl

AllocationSiteBasedModel - Class in pascal.taie.analysis.pta.core.heap

AllocationSiteBasedModel(AnalysisOptions) - Constructor for class pascal.taie.analysis.pta.core.heap.AllocationSiteBasedModel

alwaysFalse() - Static method in class pascal.taie.util.Predicates

alwaysTrue() - Static method in class pascal.taie.util.Predicates

AmbiguousMemberException - Exception in pascal.taie.language.classes

Exception that is thrown when a member (method or field) is accessed through an ambiguous name.

AmbiguousMemberException(String, String) - Constructor for exception pascal.taie.language.classes.AmbiguousMemberException

analyses() - Method in record class pascal.taie.config.Plan

Returns the value of the analyses record component.

Analysis - Class in pascal.taie.analysis

Abstract base class for all analyses.

Analysis(CFG<Stmt>, boolean) - Constructor for class pascal.taie.analysis.dataflow.analysis.constprop.ConstantPropagation.Analysis

Analysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.Analysis

AnalysisConfig - Class in pascal.taie.config

Configuration for an analysis.

AnalysisConfig(String, String, String, List<String>, AnalysisOptions) - Constructor for class pascal.taie.config.AnalysisConfig

Used by deserialization from configuration file.

AnalysisDriver<Node,Fact> - Class in pascal.taie.analysis.dataflow.analysis

Driver for performing a specific kind of data-flow analysis for a method.

AnalysisDriver(AnalysisConfig) - Constructor for class pascal.taie.analysis.dataflow.analysis.AnalysisDriver

AnalysisException - Exception in pascal.taie.util

AnalysisException() - Constructor for exception pascal.taie.util.AnalysisException

Constructs a new exception.

AnalysisException(String) - Constructor for exception pascal.taie.util.AnalysisException

Constructs a new exception.

AnalysisException(String, Throwable) - Constructor for exception pascal.taie.util.AnalysisException

Constructs a new exception.

AnalysisException(Throwable) - Constructor for exception pascal.taie.util.AnalysisException

Constructs a new exception.

AnalysisManager - Class in pascal.taie.analysis

Creates and executes analyses based on given analysis plan.

AnalysisManager(Plan) - Constructor for class pascal.taie.analysis.AnalysisManager

AnalysisModelPlugin - Class in pascal.taie.analysis.pta.plugin.util

Provides common functionalities for implementing the plugins which model the APIs by analyzing their semantics.

AnalysisModelPlugin(Solver) - Constructor for class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin

AnalysisOptions - Class in pascal.taie.config

Wrapper class for analysis options.

AnalysisOptions(Map<String, Object>) - Constructor for class pascal.taie.config.AnalysisOptions

AnalysisPlanner - Class in pascal.taie.config

Makes analysis plan based on given plan configs and analysis configs.

AnalysisPlanner(ConfigManager, Set<String>) - Constructor for class pascal.taie.config.AnalysisPlanner

AnalysisTimer - Class in pascal.taie.analysis.pta.plugin

Records the elapsed time of pointer analysis.

AnalysisTimer() - Constructor for class pascal.taie.analysis.pta.plugin.AnalysisTimer

analyze() - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

analyze() - Method in class pascal.taie.analysis.graph.callgraph.CallGraphBuilder

analyze() - Method in class pascal.taie.analysis.graph.icfg.ICFGBuilder

analyze() - Method in class pascal.taie.analysis.misc.ResultProcessor

analyze() - Method in class pascal.taie.analysis.ProgramAnalysis

Runs this analysis for the whole program.

analyze() - Method in class pascal.taie.analysis.pta.client.MayFailCast

analyze() - Method in class pascal.taie.analysis.pta.PointerAnalysis

analyze() - Method in class pascal.taie.analysis.sideeffect.SideEffectAnalysis

analyze(IR) - Method in class pascal.taie.analysis.bugfinder.DroppedException

analyze(IR) - Method in class pascal.taie.analysis.bugfinder.nullpointer.NullPointerDetection

analyze(IR) - Method in class pascal.taie.analysis.dataflow.analysis.AnalysisDriver

analyze(IR) - Method in class pascal.taie.analysis.deadcode.DeadCodeDetection

analyze(IR) - Method in class pascal.taie.analysis.defuse.DefUseAnalysis

analyze(IR) - Method in class pascal.taie.analysis.exception.ThrowAnalysis

analyze(IR) - Method in class pascal.taie.analysis.graph.cfg.CFGBuilder

analyze(IR) - Method in class pascal.taie.analysis.MethodAnalysis

Runs this analysis for the given IR.

analyze(IR, ThrowResult) - Static method in class pascal.taie.analysis.exception.CatchAnalysis

Analyzes the exceptions thrown by each Stmt in given IR may be caught by which (catch) Stmts, and which exceptions are not caught in the IR.

analyze(JClass) - Method in class pascal.taie.analysis.bugfinder.CloneIdiom

analyze(JClass) - Method in class pascal.taie.analysis.ClassAnalysis

Runs this analysis for the given JClass.

analyze(JClass) - Method in class pascal.taie.analysis.misc.IRDumper

and(IBitSet) - Method in interface pascal.taie.util.collection.IBitSet

Performs a logical AND of this target bit set with the argument bit set.

and(IBitSet) - Method in class pascal.taie.util.collection.RegularBitSet

and(IBitSet) - Method in class pascal.taie.util.collection.SparseBitSet

Performs a logical AND of this target bit set with the argument bit set.

AND - Enum constant in enum class pascal.taie.ir.exp.BitwiseExp.Op

andNot(IBitSet) - Method in class pascal.taie.util.collection.AbstractBitSet

andNot(IBitSet) - Method in interface pascal.taie.util.collection.IBitSet

Clears all of the bits in this BitSet whose corresponding bit is set in the specified BitSet.

andNot(IBitSet) - Method in class pascal.taie.util.collection.RegularBitSet

andNot(IBitSet) - Method in class pascal.taie.util.collection.SparseBitSet

Annotated - Interface in pascal.taie.language.annotation

Represents objects that can be attached annotations.

annotation() - Method in record class pascal.taie.language.annotation.AnnotationElement

Returns the value of the annotation record component.

Annotation - Class in pascal.taie.language.annotation

Represents annotations in the program.

Annotation(String, Map<String, Element>) - Constructor for class pascal.taie.language.annotation.Annotation

ANNOTATION - Enum constant in enum class pascal.taie.language.classes.Modifier

ANNOTATION - Static variable in class pascal.taie.language.classes.ClassNames

Annotation.Entry - Record Class in pascal.taie.language.annotation

Represents name-element entries in annotations.

AnnotationElement - Record Class in pascal.taie.language.annotation

AnnotationElement(Annotation) - Constructor for record class pascal.taie.language.annotation.AnnotationElement

Creates an instance of a AnnotationElement record class.

annotationHolder - Variable in class pascal.taie.language.classes.ClassMember

AnnotationHolder - Class in pascal.taie.language.annotation

Container of annotations.

AnnotationHolder(Collection<Annotation>) - Constructor for class pascal.taie.language.annotation.AnnotationHolder

api - Variable in class pascal.taie.analysis.pta.plugin.reflection.LogItem

API - Static variable in class pascal.taie.language.generics.GSignatures

The ASM API version implemented by this visitor.

APP - Enum constant in enum class pascal.taie.config.Scope

Only analyzes application code.

append(Collection<? extends T>, T) - Static method in class pascal.taie.util.collection.CollectionUtils

Creates a list of given collection, appends a specific element to the list and returns it.

append(Context, T, int) - Method in interface pascal.taie.analysis.pta.core.cs.context.ContextFactory

Constructs a context by appending a context element to a parent context.

append(Context, T, int) - Method in class pascal.taie.analysis.pta.core.cs.context.TrieContext.Factory

applicationClasses() - Method in interface pascal.taie.language.classes.ClassHierarchy

applicationClasses() - Method in class pascal.taie.language.classes.ClassHierarchyImpl

apply(PointerFlowEdge, PointsToSet) - Method in enum class pascal.taie.analysis.pta.core.solver.Identity

apply(PointerFlowEdge, PointsToSet) - Method in interface pascal.taie.analysis.pta.core.solver.Transfer

Transfer function on a pointer flow edge.

apply(PointerFlowEdge, PointsToSet) - Method in class pascal.taie.analysis.pta.core.solver.TypeFilter

apply(T, U, V) - Method in interface pascal.taie.util.TriFunction

Applies this function to the given arguments.

argIndexes() - Element in annotation interface pascal.taie.analysis.pta.plugin.util.InvokeHandler

Indexes for the arguments used by the handler.

args - Variable in class pascal.taie.ir.exp.InvokeExp

The arguments of the invocation.

ARITHMETIC_EXCEPTION - Static variable in class pascal.taie.language.classes.ClassNames

ArithmeticExp - Class in pascal.taie.ir.exp

Representation of arithmetic expression, e.g., a + b.

ArithmeticExp(ArithmeticExp.Op, Var, Var) - Constructor for class pascal.taie.ir.exp.ArithmeticExp

ArithmeticExp.Op - Enum Class in pascal.taie.ir.exp

ARRAY - Enum constant in enum class pascal.taie.analysis.pta.plugin.taint.IndexRef.Kind

ARRAY - Static variable in class pascal.taie.language.classes.ClassNames

ARRAY_INDEX_OUT_OF_BOUNDS_EXCEPTION - Static variable in class pascal.taie.language.classes.ClassNames

ARRAY_LOAD - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind

ARRAY_STORE - Enum constant in enum class pascal.taie.analysis.graph.flowgraph.FlowKind

ARRAY_STORE_EXCEPTION - Static variable in class pascal.taie.language.classes.ClassNames

ArrayAccess - Class in pascal.taie.ir.exp

Representation of array access expression, e.g., a[i].

ArrayAccess(Var, Var) - Constructor for class pascal.taie.ir.exp.ArrayAccess

ArrayElement - Record Class in pascal.taie.language.annotation

ArrayElement(List<Element>) - Constructor for record class pascal.taie.language.annotation.ArrayElement

Creates an instance of a ArrayElement record class.

ArrayIndex - Class in pascal.taie.analysis.pta.core.cs.element

Represents array index pointers.

ArrayIndexNode - Class in pascal.taie.analysis.graph.flowgraph

ArrayLengthExp - Class in pascal.taie.ir.exp

Representation of array length expression, e.g., arr.length.

ArrayLengthExp(Var) - Constructor for class pascal.taie.ir.exp.ArrayLengthExp

ArrayMap<K,V> - Class in pascal.taie.util.collection

Map implementation based on ArrayList.

ArrayMap() - Constructor for class pascal.taie.util.collection.ArrayMap

ArrayMap(int) - Constructor for class pascal.taie.util.collection.ArrayMap

ArrayMap(int, boolean) - Constructor for class pascal.taie.util.collection.ArrayMap

ArrayModel - Class in pascal.taie.analysis.pta.plugin.natives

arrayNewInstance(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel

arraysCopyOf(Invoke) - Method in class pascal.taie.analysis.pta.plugin.natives.ArrayModel

ArraySet<E> - Class in pascal.taie.util.collection

Set implementation based on ArrayList.

ArraySet() - Constructor for class pascal.taie.util.collection.ArraySet

ArraySet(int) - Constructor for class pascal.taie.util.collection.ArraySet

ArraySet(int, boolean) - Constructor for class pascal.taie.util.collection.ArraySet

ArraySet(ArrayList<E>, boolean) - Constructor for class pascal.taie.util.collection.ArraySet

Takes given array list as elements.

ArraySet(Collection<? extends E>) - Constructor for class pascal.taie.util.collection.ArraySet

ArrayType - Record Class in pascal.taie.language.type

ArrayType(Type, int, Type) - Constructor for record class pascal.taie.language.type.ArrayType

Creates an instance of a ArrayType record class.

ArrayTypeGSignature - Class in pascal.taie.language.generics

In JVM Spec.

asInt() - Method in enum class pascal.taie.language.type.BooleanType

asInt() - Method in enum class pascal.taie.language.type.ByteType

asInt() - Method in enum class pascal.taie.language.type.CharType

asInt() - Method in enum class pascal.taie.language.type.DoubleType

asInt() - Method in enum class pascal.taie.language.type.FloatType

asInt() - Method in enum class pascal.taie.language.type.IntType

asInt() - Method in enum class pascal.taie.language.type.LongType

asInt() - Method in interface pascal.taie.language.type.PrimitiveType

JVM Spec.

asInt() - Method in enum class pascal.taie.language.type.ShortType

asList(Iterable<T>) - Static method in class pascal.taie.util.collection.Lists

Converts an iterable object to a list.

AssertionChecker - Class in pascal.taie.analysis.pta.plugin.assertion

Implements a mechanism for checking pointer analysis assertions.

AssertionChecker() - Constructor for class pascal.taie.analysis.pta.plugin.assertion.AssertionChecker

AssignLiteral - Class in pascal.taie.ir.stmt

Representation of statement that assigns literals, e.g., a = 10.

AssignLiteral(Var, Literal) - Constructor for class pascal.taie.ir.stmt.AssignLiteral

AssignStmt<L extends LValue,R extends RValue> - Class in pascal.taie.ir.stmt

Representation of assign statements.

AssignStmt(L, R) - Constructor for class pascal.taie.ir.stmt.AssignStmt

AvailableExpression - Class in pascal.taie.analysis.dataflow.analysis.availexp

Available expression analysis on local variables.

AvailableExpression(AnalysisConfig) - Constructor for class pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression

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