Statische Analyse