Statische Prüfung

Automatische Prüfung während der Kompilierung, die Bugs anhand der Semantik des Codes erkennen kann.