checkCfg method

List<BoundsCheckResult> checkCfg(
  1. ControlFlowGraph cfg
)

Checks all array accesses in a CFG.

Implementation

List<BoundsCheckResult> checkCfg(ControlFlowGraph cfg) {
  // Run interval analysis
  final analysisResult = _analyzer.analyze(cfg);

  // Find all array accesses
  final accesses = _findArrayAccesses(cfg);

  // Check each access
  return accesses.map((access) {
    return _checkAccess(access, analysisResult);
  }).toList();
}