Uses of Package
pascal.taie.analysis.graph.cfg

Packages that use pascal.taie.analysis.graph.cfg

Package	Description
pascal.taie.analysis.bugfinder.nullpointer
pascal.taie.analysis.dataflow.analysis
pascal.taie.analysis.dataflow.analysis.availexp
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.icfg	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

Class	Description
CFG	Representation of a control-flow graph of a method.

Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.dataflow.analysis

Class	Description
CFG	Representation of a control-flow graph of a method.
CFGEdge	Represents CFG edges.

Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.dataflow.analysis.availexp

Class	Description
CFG	Representation of a control-flow graph of a method.

Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.dataflow.analysis.constprop

Class	Description
CFG	Representation of a control-flow graph of a method.
CFGEdge	Represents CFG edges.

Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.graph.cfg

Class	Description
CFG	Representation of a control-flow graph of a method.
CFGEdge	Represents CFG edges.
CFGEdge.Kind

Classes in pascal.taie.analysis.graph.cfg used by pascal.taie.analysis.graph.icfg

Class	Description
CFGEdge	Represents CFG edges.