D-Index (Tai-e 0.2.2 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

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.PrimitiveType
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
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
DummyModel - Enum Class in pascal.taie.analysis.pta.plugin.util: Dummy model which does nothing.
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
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