analyzeCfg static method

PointsToAnalysis analyzeCfg(
  1. ControlFlowGraph cfg
)

Creates and runs analysis on a CFG directly.

Implementation

static PointsToAnalysis analyzeCfg(ControlFlowGraph cfg) {
  final extractor = FactExtractor();
  final facts = extractor.extractFromCfg(cfg);

  final engine = PointsToEngineFactory.createWithImmutability();
  engine.loadFacts(facts);
  engine.run();

  final analysis = PointsToAnalysis._(engine, extractor);
  analysis._buildVarNameMap(extractor);
  return analysis;
}