статическая проверка (static checking)

Автоматическая проверка во время компиляции, которая способна выявить ошибку на основе семантики кода.