Statische Codeanalyse

Die Statische Codeanalyse der Axivion Suite zur Qualitätssicherung Ihrer Software

Die Axivion Suite verkörpert die neue Generation der statischen Codeanalyse. Unsere statische Codeanalyse überprüft Ihre Softwareprojekte auf Stilverstöße nach MISRA, AUTOSAR C++14, CERT oder C Secure Coding. Metrikverstöße werden Ihnen genauso angezeigt und dokumentiert wie Verletzungen von Codierrichtlinien. Mögliche Laufzeitfehler werden über die Defekt-Analyse aufgespürt.

Bereits mehrere Tausend Nutzer weltweit vertrauen auf die Axivion Suite und prüfen Ihren Code mit unserem State-of-the-Art-Tool zur statischen Codeanalyse.

Dieses Bild symbolisiert die verschiedenen Codierrichtlinien, die mit der Axivion Suite eingehalten werden können: MISRA, AUTOSAR C++14, CERT, C Secure Coding, ISO/IEC TS 17961, Kundenspezifikationen

Codierrichtlinien: MISRA, CERT, AUTOSAR, ISO/IEC TS 17961, Kundenspezifikationen

Die Axivion Suite garantiert Ihnen die 100-prozentige Abdeckung der automatisiert prüfbaren Regeln von MISRA C:2004, C:2012 (inkl. Amendment 1 Security Rules und Amendment 2) und C++:2008 und von AUTOSAR C++14 (17.03, 17.10, 18.03, 18.10 und 19.03). Zusätzlich deckt sie viele der entscheidbaren Regeln von CERT C und CERT C++ und ISO/IEC TS 17961 (C Secure Coding Checker) ab. Die Code Analysen werden mit einer sehr hohen Performance in Ihrer Umgebung ausgeführt, sodass Sie die Vorteile eines kontinuierlichen und automatischen Code Reviews unmittelbar nutzen können. Auch für eingebettete Systeme sind nicht alle Regeln entscheidbar, damit sind False Positives möglich, die Ihnen unnötigen Arbeitsaufwand bereiten. Axivion hilft Ihnen, die Anzahl dieser möglichst gering zu halten, außerdem ist eine Erweiterung um kundenspezifische Codierrichtlinien jederzeit möglich.

Mehr erfahren
Da die Axivion Suite Regelsätze für viele bekannte Softwaremetriken enthält, werden in diesem Unterpunkt die bekannten Quader zu verschiedenen hohen Türme dargestellt.

Metriken

Viele Regelsätze bekannter Softwaremetriken sind Bestandteil der Statischen Codeanalyse der Axivion Suite: zum Beispiel basierend auf Zeilen und Token, der Verschachtelung, der zyklomatischen Komplexität, dem Kontrollfluss oder alter Bekannter wie die Halstead-Metriken. Wir unterstützen außerdem ganze Regelsätze, wie HIS. Axivions Metriken unterstützen Sie bei der Code Review in den Programmiersprachen C, C++ und C#. Außerdem ist eine Erweiterung um kundenspezifische Softwaremetriken jederzeit möglich.

Mehr erfahren
Das Bild zur Defekt-Analyse der Axivion Suite stellt falsch parkende, stilisierte Autos auf einem Parkplatz dar welche Fehler im Source Code symbolisieren.

Defekt-Analyse

Überprüfen Sie Ihren Source Code auf mögliche Laufzeitfehler mit der Statischen Codeanalyse der Axivion Suite. Unsere Analysen enthalten skalierbare Daten- und Kontrollflussprüfungen, mit deren Hilfe Fehler wie Out-of-bounds-Zugriffe, Nullpointer-Exceptions oder Division durch Null frühzeitig erkannt werden können. Mit dieser Defekt-Analyse können Sie potentielle Laufzeitfehler entdecken.

Mehr erfahren