Что значит static analysis?

Где и как употребляется

Применяется при проверке и автоматических проверках проекта. Может включать более глубокий анализ, чем правила стиля, но иногда сообщает о невозможных на практике проблемах.

Примеры предложений

1. The static analysis found a path where the file handle could remain open.

   Статический анализ обнаружил путь, на котором файловый дескриптор мог остаться открытым.

   Инструмент рассуждает о возможных путях выполнения без воспроизведения сбоя в работающей программе.

2. We reviewed the static analysis warning because the library guarantees a non-null result.

   Мы проверили предупреждение статического анализа: библиотека гарантирует ненулевой результат.

   Инструмент мог не учитывать контракт библиотеки и потому сообщить о недостижимом сценарии.

Распространённые словосочетания

• static analysis tool
• static analysis warning