Statische Code-Analyse für Symbian-C++

Die US-Softwarefirma Coverity erweitert ihr Produkt Prevent um Funktionen zur Untersuchung in C++ geschriebener Symbian-Anwendungen. Kernstück sind zwei Prüffunktionen, die Speicher- und Benennungsfehler aufspüren sollen. Die erste kontrolliert, ob allozierter Speicher über genau einen "Besitzer" verfügt, der ihn wieder freigibt. Die Namensprüfung kontrolliert die Symbian-Konventionen. So müssen etwa Funktionen, die durch einen Aufruf von Leave vorzeitig terminieren können (ähnlicher einer Exception in C++) mit L enden.

Die Symbian-spezifischen Prüfungen sind Teil der C/C++-Variante von Prevent. Es ist unter anderem für Mac OS X, Linux, Solaris und Windows erhältlich; die Preise hängen laut Hersteller von der Projektgröße ab. Eine kostenlose Testversion ist auf der Website erhältlich. (ck)