GrammaTech CodeSonar

CodeSonar® von GrammaTech ist ein Tool für die statische Codeanalyse von in C, C++ und Java geschriebener Software. Das Tool wird von Firmen eingesetzt, die eine "Null-Fehler-Toleranz" in ihren Projekten haben. GrammaTech CodeSonar ist das leistungsfähigste System für die Quellcodeanalyse, welches aktuell auf dem Markt verfügbar ist. Das Werkzeug ist außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter.

Imagix 4D

Imagix 4D ist ein Werkzeug, um komplexen, in C, C++ und Java geschriebenen Third-Party- und Legacy Source Code zu verstehen, zu dokumentieren und zu verbessern. Imagix 4D automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten. Das Werkzeug deckt Probleme in der Datennutzung und bei Task-Interaktionen auf.
Mit Imagix 4D steigern Sie Ihre Produktivität und Qualität und reduzieren Risiken.

Testwell CMT++/CMTJava

Basierend auf einer statischen Analyse Ihrer Anwendungen gibt Testwell CMT++ bzw. CMTJava eine Einschätzung dafür wie fehlerhaft Ihr Programm wahrscheinlich ist, wieviel Zeit notwendig ist um den Code zu verstehen, was das logische Volumen der Software ist usw.

Testwell CTC++

Testwell CTC++ (Test Coverage Analyser for C and C++) ist ein leistungsfähiges und einfach einzusetzendes Werkzeug zur Messung der Code Coverage bzw. Test Coverage in C und C++ Projekten.

Intuitive Ausgaben zeigen die Codeteile, die bereits ausgeführt worden sind und solche, die noch getestet werden sollten.
Testwell CTC++ analysiert alle Testabdeckungsstufen und ist damit geeignet für den Einsatz in sicherheitskritischen Projekten mit höchsten Anforderungen an die Codequalität.

Testwell CTC++ kann mit grundsätzlich allen Compilern und Cross-Compilern eingesetzt werden (die CTC++ Lizenz umfaßt die Nutzung für ALLE Compiler).