analyzeFile static method

PointsToAnalysis analyzeFile(
  1. FileIr ir
)

Creates and runs points-to analysis on a file IR.

Implementation

static PointsToAnalysis analyzeFile(FileIr ir) {
  final extractor = FactExtractor();
  final facts = extractor.extractFromFile(ir);

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

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