Coverity Static Analysis

Einfache Nutzung und Flexibilität

Desktop Analysis
Coverity Static Analysis kann auf einfache Weise in Ihrer eigenen Entwicklungsumgebung verwendet werden. Entwickler, die mit Eclipse oder Visual Studio arbeiten können ihren Code bereits vor dem Einchecken für das "Nightly Build" analysieren und fixen.

Anpassbare Analyse
Durch Auswahl der gewünchten Checker und der Einstellungen innerhalb der Checker kann die Analyse individuell angepasst werden. Ebenfalls besteht die Möglichkeit Coverity Static Analysis für bestimmte Code-Blöcke oder Anwendungen zu konfigurieren.

Coverity Static Analysis Software Development Kit (SDK)
Coverity Static Analysis SDK (früher bekannt als Coverity Extend) ermöglicht den Einsatz individueller Checker um beispielsweise firmeninterne Programmierrichtlinien zu überprüfen.
Zum Aufsetzen eigener Checker sind lediglich Programmierkenntnisse in C und C++ erforderlich. Die individuellen Checker werden unmittelbar in die Coverity-Analysis-Engine integriert und auf die gesamte Codebasis angewendet.

Beispiele für Checker:

• Disable interrupts locally rather than globally
• Enforce custom security polices
• Use memory mapped I/O rather than copying
• Enforce naming conventions
• Get all properties of parent classes
• Enforce that arrays for callers be null-terminated
• Use of global variables
• Find all arguments that are passed by reference
• Report assignments to the iteration variable inside a while loop

&nbsp:

Passen Sie die statische Analyse in drei Schritten an

1. Definieren einer Regel
Coverity Static Analysis enth&auml:lt eine Bibliothek mit Macros und Templates um hochkomplexe Analysen zu liefern.

2. Spezifizieren von Musterabgleichen (pattern matches)
Im einfachsten Fall können Patterns textbasiert sein (wie beispielsweise ein Funktionsname). Allerdings können nahezu alle Arten von Patterns als Regel ausgedrückt werden, so dass komplexe Defekte ebenfalls erfasst werden können.

3. Integration in die GUI
Coverity Static Analysis liefert einen standardisierten Satz von anpassbaren Routinen für das Erstellen von Fehlermeldungen und die Integration in die Benutzeroberfläche.