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

D

DataflowAnalysis<Node,Fact> - Interface in pascal.taie.analysis.dataflow.analysis

Template interface for defining data-flow analysis.

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

An object which manages the data-flow facts associated with nodes.

DataflowResult() - Constructor for class pascal.taie.analysis.dataflow.fact.DataflowResult

DataflowResult(Map<Node, Fact>, Map<Node, Fact>) - Constructor for class pascal.taie.analysis.dataflow.fact.DataflowResult

DeadCodeDetection - Class in pascal.taie.analysis.deadcode

Detects dead code in an IR.

DeadCodeDetection(AnalysisConfig) - Constructor for class pascal.taie.analysis.deadcode.DeadCodeDetection

DeclaredParamProvider - Class in pascal.taie.analysis.pta.core.solver

This ParamProvider creates parameter objects of the declared types, and the objects pointed to by fields of parameter objects, as well as elements of array objects.

DeclaredParamProvider(JMethod, HeapModel) - Constructor for class pascal.taie.analysis.pta.core.solver.DeclaredParamProvider

DeclaredParamProvider(JMethod, HeapModel, int) - Constructor for class pascal.taie.analysis.pta.core.solver.DeclaredParamProvider

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

DEFAULT_CAPACITY - Static variable in class pascal.taie.util.collection.ArrayMap

DEFAULT_CAPACITY - Static variable in class pascal.taie.util.collection.ArraySet

DefaultCallGraph - Class in pascal.taie.analysis.graph.callgraph

Default implementation of call graph.

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

DefaultIR - Class in pascal.taie.ir

Default implementation of IR.

DefaultIR(JMethod, Var, List<Var>, Set<Var>, List<Var>, List<Stmt>, List<ExceptionEntry>) - Constructor for class pascal.taie.ir.DefaultIR

DefaultNativeModel - Class in pascal.taie.language.natives

DefaultNativeModel(TypeSystem, ClassHierarchy, int) - Constructor for class pascal.taie.language.natives.DefaultNativeModel

DefaultSolver - Class in pascal.taie.analysis.pta.core.solver

DefaultSolver(AnalysisOptions, HeapModel, ContextSelector, CSManager) - Constructor for class pascal.taie.analysis.pta.core.solver.DefaultSolver

defaultTarget - Variable in class pascal.taie.ir.stmt.SwitchStmt

The jump target for default case.

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

Representation of all definition statements, i.e., exp1 = exp2.

DefinitionStmt() - Constructor for class pascal.taie.ir.stmt.DefinitionStmt

DefUse - Class in pascal.taie.analysis.defuse

Represents the analysis result of DefUseAnalysis, i.e., both def-use chain and use-def chain.

DefUseAnalysis - Class in pascal.taie.analysis.defuse

Computes intra-procedural def-use and use-def chains based on reaching definition analysis.

DefUseAnalysis(AnalysisConfig) - Constructor for class pascal.taie.analysis.defuse.DefUseAnalysis

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

Returns the value of the dependenceGraph record component.

Descriptor - Interface in pascal.taie.analysis.pta.core.heap

Descriptor for MockObj.

dimensions() - Method in record class pascal.taie.language.type.ArrayType

Returns the value of the dimensions record component.

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

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

Returns false if the specified BitSet has any bits set to true that are also set to true in this BitSet.

dispatch(JClass, MethodRef) - Method in interface pascal.taie.language.classes.ClassHierarchy

Dispatches a method reference on a receiver class.

dispatch(JClass, MethodRef) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

dispatch(Type, MethodRef) - Method in interface pascal.taie.language.classes.ClassHierarchy

Dispatches a method reference on a receiver type.

dispatch(Type, MethodRef) - Method in class pascal.taie.language.classes.ClassHierarchyImpl

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

doGetConstantObj(ReferenceLiteral) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

doGetObj(New) - Method in class pascal.taie.analysis.pta.core.heap.AbstractHeapModel

The method which controls the heap modeling for normal objects.

doGetObj(New) - Method in class pascal.taie.analysis.pta.core.heap.AllocationSiteBasedModel

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

Finds dominators for the nodes in given Graph.

DominatorFinder(Graph<N>) - Constructor for class pascal.taie.util.graph.DominatorFinder

DominatorFinder(Graph<N>, boolean) - Constructor for class pascal.taie.util.graph.DominatorFinder

DominatorFinder(Graph<N>, Indexer<N>, boolean) - Constructor for class pascal.taie.util.graph.DominatorFinder

Constructs a dominator finder with a graph and given indexer.

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

doPrivilegedPA(Invoke) - Method in class pascal.taie.analysis.pta.plugin.natives.DoPriviledgedModel

doPrivilegedPEA(Invoke) - Method in class pascal.taie.analysis.pta.plugin.natives.DoPriviledgedModel

DotAttributes - Class in pascal.taie.util.graph

Represents dot attributes.

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

Configurable dot dumper.

DotDumper() - Constructor for class pascal.taie.util.graph.DotDumper

DOUBLE - Enum constant in enum class pascal.taie.language.generics.BaseType

DOUBLE - Enum constant in enum class pascal.taie.language.type.DoubleType

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

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

DoubleElement(double) - Constructor for record class pascal.taie.language.annotation.DoubleElement

Creates an instance of a DoubleElement record class.

DoubleLiteral - Class in pascal.taie.ir.exp

DoubleType - Enum Class in pascal.taie.language.type

doubleValue() - Method in class pascal.taie.util.MutableInt

DroppedException - Class in pascal.taie.analysis.bugfinder

DroppedException(AnalysisConfig) - Constructor for class pascal.taie.analysis.bugfinder.DroppedException

DUMMY - Static variable in interface pascal.taie.analysis.pta.plugin.Plugin

dump(Graph<N>, File) - Method in class pascal.taie.util.graph.DotDumper

dump(Graph<Node>, File) - Static method in class pascal.taie.analysis.graph.flowgraph.FlowGraphDumper

dumpElement(T, Function<T, String>, Function<T, String>, Function<T, DotAttributes>) - Method in class pascal.taie.util.graph.DotDumper

Dumps an element (either a node or an edge).

dumpOthers() - Method in class pascal.taie.util.graph.DotDumper

Subclasses can override this method to dump other information other than type parameter <N>.

DYNAMIC - Enum constant in enum class pascal.taie.analysis.graph.callgraph.CallKind

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