verifyCfg method

List<NullCheckResult> verifyCfg(
  1. ControlFlowGraph cfg
)

Verifies null safety for all dereferences in a CFG.

Implementation

List<NullCheckResult> verifyCfg(ControlFlowGraph cfg) {
  // Run nullability analysis
  _analyzeNullability(cfg);

  // Find all dereferences
  final dereferences = _findDereferences(cfg);

  // Check each dereference
  return dereferences.map((deref) {
    return _checkDereference(deref);
  }).toList();
}