Uses of Package
pascal.taie.util.graph
Packages that use pascal.taie.util.graph
Package
Description
Provides the classes necessary to build and represent a call graph.
Provides the classes necessary to represent an inter-procedural
control-flow graph (ICFG).
Provide functionality related to context sensitivity.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
This package provides functionality for processing options and configurations.
-
Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.callgraph
-
Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.cfgClassDescriptionGeneral interface for graph edges.Representation of a directed graph.
-
Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.flowgraph
-
Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.icfgClassDescriptionGeneral interface for graph edges.Representation of a directed graph.
-
Classes in pascal.taie.util.graph used by pascal.taie.analysis.pta.core.cs
-
Classes in pascal.taie.util.graph used by pascal.taie.analysis.pta.core.solver
-
Classes in pascal.taie.util.graph used by pascal.taie.analysis.pta.toolkit.util
-
Classes in pascal.taie.util.graph used by pascal.taie.config
-
Classes in pascal.taie.util.graph used by pascal.taie.util.graphClassDescriptionRepresents dot attributes.Configurable dot dumper.General interface for graph edges.Representation of a directed graph.Represents a node in
MergedSCCGraph
, where each node corresponds to a SCC.