Wie funktioniert statische Codeanalyse? | Arno Haase

Es gibt eine Fülle an kleinen und größeren Werkzeugen, die Programmcode untersuchen und Feedback dazu geben. Linter, Inspections in der IDE, SonarQube, Securityscanner etc. sehen sich ein Programm an und überprüfen es. Diese Session öffnet die Motorhaube und erklärt, wie solche Werkzeuge funktionieren. Sie zeigt, was an statischer Codeanalyse überhaupt schwierig ist und wie verschiedene Werkzeuge diese Probleme lösen. Abgesehen davon, dass das interessant ist, kann es auch dabei helfen, Werkzeuge auszuwählen.
jax.de/perform...
JAX: jax.de/mainz/
W-JAX: jax.de/muenchen/
Blog: jax.de/blog/

[@DinHamburg]

34::00 (impossible to be precise) statische analyse kann sehen, dass es hier ein Problem gibt. Dynamische Tests können da auch nicht helfen

[@DinHamburg]

Das Beispiel bei 32:00 (Loops) geht so nicht: a und b sind nicht initialisiert und der Compiler meckert.

[@DinHamburg]

56min 'tricky stuff' - Zeugs, das erst zur Initialisierung/Laufzeit erzeugt wird - Lombok o.ä.