sprawdzanie statyczne

Automatyczna kontrola podczas kompilacji, która może wychwycić błąd na podstawie semantyki kodu.