Kapitel 7. Statische Analyse

Wenn Sie Mit Einer Statisch Typisierten Sprache Wie Java Oder C# Arbeiten, haben Sie eine leistungsfähige Möglichkeit zum Aufspüren von Fehlern, die sich mit Code-Reviews und anderen traditionellen Mitteln nur schwer erkennen lassen. Die statische Analyse ist ein programmatischer Validierungsmechanismus, bei dem Werkzeuge den Code nach bekannten Fehlermustern durchsuchen.

Die Werkzeuge zur statischen Analyse zerfallen grob in zwei Kategorien: Die einen betrachten kompilierte Artefakte (also Klassendateien oder Bytecode), während die anderen Quellcodedateien analysieren. Die Technik ist nicht auf Java-Code beschränkt, vielmehr existieren Werkzeuge für alle gängigen statisch typisierten Sprachen.

Bytecode-Analyse

Werkzeuge ...

Get Produktiv programmieren now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.