Uses of Class
com.ibm.wala.ipa.cfg.ExplodedInterproceduralCFG

Packages that use ExplodedInterproceduralCFG

Package	Description
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.
com.ibm.wala.ipa.cfg	This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.

Uses of ExplodedInterproceduralCFG in com.ibm.wala.dataflow.IFDS

Methods in com.ibm.wala.dataflow.IFDS that return ExplodedInterproceduralCFG

Modifier and Type	Method and Description
ExplodedInterproceduralCFG	ICFGSupergraph.getICFG()

Constructors in com.ibm.wala.dataflow.IFDS with parameters of type ExplodedInterproceduralCFG

Constructor and Description
ICFGSupergraph(ExplodedInterproceduralCFG icfg, AnalysisCache cache)

Uses of ExplodedInterproceduralCFG in com.ibm.wala.ipa.cfg

Methods in com.ibm.wala.ipa.cfg that return ExplodedInterproceduralCFG

Modifier and Type	Method and Description
static ExplodedInterproceduralCFG	ExplodedInterproceduralCFG.make(CallGraph cg)