static checking (vérification statique)

Vérification automatique pendant la compilation qui peut détecter un bogue selon la sémantique du code.