# Pointer/count выходит за допустимую область

RuleID: correctness.pointer-count-initialization@1.0.0
Status: recovery-required
Catalog snapshot: 4558458d

Accepted subset is bounded. If required evidence is incomplete, the affected result is unknown.

## V-LIFE-12 — Pointer/count выходит за допустимую область

Адрес может быть действительным, но переданный count выходит за доступный или инициализированный диапазон.

Status: recovery-required

Scope notes: Source producer требует восстановления и квалификации. Если необходимые факты не получены, результат — unknown, а не «ошибки нет».

### Before (illustrative)

```swift
bytes.withUnsafeBytes { raw in
    consume(raw.baseAddress, count: raw.count + 1)
}
```

### After (illustrative)

```swift
bytes.withUnsafeBytes { raw in
    consume(raw.baseAddress, count: raw.count)
}
```

Boundary: Correct conversion/checked bound; невозможность доказать safe не равна overflow

---
Language: ru
Canonical: https://docs.swift-analyzer.com/catalog/correctness.pointer-count-initialization/
Source revision: 4558458d