Uses of Package
pascal.taie.analysis.graph.callgraph
Packages that use pascal.taie.analysis.graph.callgraph
Package
Description
Provides the classes necessary to build and represent a call graph.
Provide functionality related to context sensitivity.
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
Provide plugin interface of pointer analysis and
some instances (implementations).
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.graph.callgraphClassDescriptionCommon functionality for
CallGraph
implementations.Representation of call graph.Represents call edges in the call graph. -
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.graph.flowgraph
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta.core.csClassDescriptionCommon functionality for
CallGraph
implementations.Representation of call graph.Represents call edges in the call graph. -
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta.core.cs.element
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta.core.solver
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta.plugin
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta.plugin.exception
-
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta.plugin.natives
-
Classes in pascal.taie.analysis.graph.callgraph used by pascal.taie.analysis.pta.plugin.reflection