Klocwork 2016.2

Klocwork 2016.2 Hitex

Diese Offline-Hilfe zeigt die Erläuterungen und Beispiele für konformen und nichtkonformen Quellcode aus dem Regelwerk. Zwei weitere neue Prüfungen betreffen die Verwendung nicht vertrauenswürdiger Zeiger wie in CWE-822 beschrieben. Außerdem haben sich Genauigkeit und Geschwindigkeit der statischen Analyse verbessert. Das betrifft etwa die Prüfung von Zugriffen außerhalb von Array-Grenzen, die Entdeckung von unerreichbarem Code oder von NullL-Pointer-Dereferenzierung. Erstmalig sind darüber hinaus der Cross-Compiler von Renesas für RH850-Mikrocontroller und der Cross-Compiler von Panasonic für NM101-Mikrocontroller unterstützt. Verbesserungen gibt es weiterhin bei den Cross-Compilern von ARM und Greenhills. Auch einige Checker sind modifiziert, wodurch allgemein weniger False Positives zu erwarten sind.