Как устроен анализ
Анализатору недостаточно увидеть знакомое имя метода в тексте. Нужно знать, какой именно символ вызван, в какой сборке и какие части программы доступны для анализа.
Пять шагов
- Подготовить вход. Получить данные конкретной сборки: исходники, Index Store компилятора и manifest с описанием выбранного мира программы.
- Проверить соответствие. Убедиться, что файлы, конфигурация и данные компилятора относятся к одному снимку.
- Извлечь факты. Найти реальные связи: вызовы, чтения и записи, значения, переходы исполнения или ресурсы — в зависимости от правила.
- Применить правило. Проверить необходимое сочетание фактов, полноту области и контрпримеры.
- Объяснить результат. Выдать диагностику с местом, доказательствами и ограничениями; перед публикацией проверить, что вход не изменился.
Почему важна полнота
Чтобы доказать «параметр нигде не читается», нужно знать все значимые места его использования. Если часть вызовов или реализаций недоступна, отсутствие найденного чтения ещё не означает отсутствие чтения вообще.
Поэтому анализ ограничен конкретным снимком и конфигурацией. Вывод для debug-сборки нельзя автоматически переносить на другую платформу или набор compilation flags.
Три результата, которые нельзя путать
| Результат | Что он означает |
|---|---|
| Finding | Правило нашло проблему или возможность улучшения и объясняет основание |
| Нет finding при полном анализе | В поддержанной области условие не подтвердилось |
| Unknown / incomplete / not-run | Проверка не смогла сделать вывод либо не выполнялась |
Пустой список находок не равен «проект чистый». Сначала нужно посмотреть, какие проверки действительно были выполнены и с каким покрытием.
Где заканчиваются гарантии
Данные компилятора помогают установить идентичность символов, но сами по себе не доказывают корректность программы. Модель SDK, полнота связей, семантика правила и актуальность входа тоже должны быть проверены.
Простой ориентир при ревью: возьми любое утверждение в диагностике и проследи, какая часть production-кода вычислила его из исходника. Ссылка на хеш файла не заменяет эту цепочку.