isArrayAccessSafe method

bool isArrayAccessSafe(
  1. AnalysisResult<IntervalDomain> result,
  2. int blockId,
  3. String indexVariable,
  4. int arrayLength,
)

Checks if an array access is safe at a given program point.

Implementation

bool isArrayAccessSafe(
  AnalysisResult<IntervalDomain> result,
  int blockId,
  String indexVariable,
  int arrayLength,
) {
  final interval = result.getValueAtEntry(blockId, indexVariable);
  if (interval == null) return false;
  return interval.isValidArrayIndex(arrayLength);
}