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 O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.