statische Analyse-Tools