https://javapro.svenruppert.com/tags/antlr/Recent content in ANTLR on JAVAPRO GermanyHugode-DETue, 04 Feb 2025 22:49:43 +0000https://javapro.svenruppert.com/die-kunst-der-statischen-codeanalyse/Tue, 04 Feb 2025 22:49:43 +0000https://javapro.svenruppert.com/die-kunst-der-statischen-codeanalyse/<p>Die meisten Java-Entwickler (und nicht nur) haben zumindest eine Art statisches Analysetool verwendet, um eine Aufgabe wie (um nur einige zu nennen) auszuführen:</p> <ul> <li>Ableiten von Quellcodemetriken wie Codezeilen oder zyklomatische Komplexität;</li> <li>Entdecken von Fehlern, Schwachstellen oder Code-Smells wie ungenutzten Variablen (was beliebte IDEs typischerweise tun);</li> <li>Durchführen eines automatisierten Refactorings oder einer Code-Vervollständigung;</li> <li>Durchsetzung von Code- und Qualitätsstandards.</li> </ul> <p>Um eine statische Codeanalyse durchzuführen, benötigen wir normalerweise eine geeignete Darstellung des Quellcodes, die für die Analyse geeignet ist. Eine Programmiersprache kann durch eine formale Grammatik beschrieben werden. Darüber hinaus kann ein Parser erstellt oder generiert werden, indem man den Regeln einer formalen Grammatik folgt, um aus dem Quellcode eine ordnungsgemäße Darstellung (normalerweise einen Analysebaum) zu erstellen. Abhängig von der Art der Sprache, die wir darstellen möchten, können wir unterschiedliche Arten formaler Grammatiken verwenden:</p>