Warum sich der Java-Compiler zurstatischen Code-Analyse eignet Datenfluss-Analyse Klassen sind Typen Zuweisungs-Kompatiblität Compiler kann nicht umgangen werden Es steckt schon viel Grips drin