Uses of Class
edu.ksu.cis.projects.bogor.analyses.CFG

Packages that use CFG

edu.ksu.cis.projects.bogor.analyses

Provides for Bogor modules.

Uses of CFG in edu.ksu.cis.projects.bogor.analyses

Fields in edu.ksu.cis.projects.bogor.analyses declared as CFG

protected CFG

IntraFSMAnalysis.cfg Flow graph.

Constructors in edu.ksu.cis.projects.bogor.analyses with parameters of type CFG

IntraFSMAnalysis(CFG cfg, boolean isForwardAnalysis, IntraFSMAnalysis.SetContainmentOperator<L> subsetTest, IntraFSMAnalysis.SetMergeOperator<L> mergeOp, IntraFSMAnalysis.SetFactory<L> setFactory, Set<L> init, Set<L> bottom)
Build an instance of the Monotone Data-flow Framework.

LiveVariableAnalysis(CFG cfg)