Uses of Package
pascal.taie.analysis.graph.flowgraph
Package
Description
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
-
ClassDescriptionRepresents edges in flow graph.Nodes in object flow graph.
-
-