Uses of Package
pascal.taie.analysis.graph.cfg
Packages that use pascal.taie.analysis.graph.cfg
Package
Description
Provides the classes necessary to represent an inter-procedural
control-flow graph (ICFG).
-
Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.bugfinder.nullpointer
-
Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.dataflow.analysis
-
Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.dataflow.analysis.availexp
-
Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.dataflow.analysis.constprop
-
Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.graph.cfgClassDescriptionRepresentation of a control-flow graph of a method.Represents CFG edges.
-
Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.graph.icfg