Uses of Package
pascal.taie.analysis.graph.flowgraph
Packages that use pascal.taie.analysis.graph.flowgraph
Package
Description
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.
-
Classes in pascal.taie.analysis.graph.flowgraph used by pascal.taie.analysis.graph.flowgraphClassDescriptionRepresents edges in flow graph.Nodes in object flow graph.
-
Classes in pascal.taie.analysis.graph.flowgraph used by pascal.taie.analysis.pta
-
Classes in pascal.taie.analysis.graph.flowgraph used by pascal.taie.analysis.pta.core.cs.element
-
Classes in pascal.taie.analysis.graph.flowgraph used by pascal.taie.analysis.pta.core.solver