Der Industriestandard für detaillierte, schnelle Tiefenanalyse für C++-Code.. Statische Analyse. Wir geben Gas, damit Ihre Software besser wird

Transkript

1 Statische Analyse CERTIFIED Der Industriestandard für detaillierte, schnelle Tiefenanalyse für C++-Code.. Wir geben Gas, damit Ihre Software besser wird

2 Damit Ihre Software sicherheitskritischen Standards entspricht In unseren Produkten stecken über 20 Jahre Entwicklungserfahrung von Testwerkzeugen. Sie sind optimal zugeschnitten auf die Testanforderungen von: ISO Automobilindustrie IEC Atomkraft IEC Medizintechnik IEC Allgemeine Industrie EN Bahntechnik DO-178B/C Luft-/Raumfahrt und Defense MISRA C/C++ Richtlinien für den Einsatz in sicherheitsrelevanten Systemen CERT C/C++ Standard für Sicherheitscode

3 Je früher Fehler im Source Code behoben werden können, desto kostengünstiger QA-C++: Ihr Schlüssel zu besserer Software Weniger Softwarefehler Für zuverlässige, portable und wartungsfreundliche Softwarelösungen Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto kostengünstiger können sie behoben werden Hebt Hebt das das Know-how Know-how Ihrer Ihrer Entwickler Entwickler und und fördert fördert bewährte bewährte Vorgehensweisen Vorgehensweisen Besserer Code unter Einhaltung Ihrer Besserer Code unter Einhaltung Ihrer Standardvorgaben Standardvorgaben Verbessert die Zusammenarbeit der Verbessert die Zusammenarbeit der Entwicklerteams Entwicklerteams Erlaubt sofortige und wiederholbare Erlaubt sofortige und wiederholbare Tests in Ihrer Entwicklungsumgebung Tests in Ihrer Entwicklungsumgebung Reduziert Kosten durch schnellere Reduziert Marktreife Kosten durch schnellere Marktreife Softwarefehler frühzeitig erkennen Kosten senken Je früher Softwarefehler im Entwicklungsprozess erkannt und eliminiert werden, desto kostengünstiger ist es für Sie; und am günstigsten ist es, wenn Fehler gar nicht erst entstehen. Mehr als potenzielle Source Code Probleme kennen unsere Tools bereits heute. Die statische Analyse mit QA-C++ findet gefährliche Strukturen und zeigt frühzeitig Probleme bei Sicherheit, Wartbarkeit und Portabilität. Hier senken Sie zukünftige Kosten. Schnelle Tiefananalysen von C++-Code Selbst umfangreiche Softwarepakete analysiert QA-C++ detailliert und in der Tiefe. Große und kleine Projekte können so gleichermaßen gut auf ihre Qualität überprüft werden. Das vereinfacht das Qualitätsmanagement und hilft Ihnen, die wichtigen Sicherheitsstandards zu erfüllen. Stimmt Ihr Code mit dem von Ihnen gewählten Standard überein? Über Metriken und grafische Darstellungen der Codestruktur werden auch komplexe Projekte transparent und übersichtlich. Verlässlich, portabel, wartbar Mit QA-C++ erstellter Programmcode ist zuverlässig, portabel und leichter wart bar. Denn mit QA-C++ wird Ihre Software einheitlicher, weniger komplex und leistungsfähiger!

4 Sicherer Code mit vorhersagbarem Verhalten Auch standardkonforme Software kann anders reagieren, als vorausgesagt. Denn nicht alles, was später Probleme bereiten kann, ist in ISO-Standards auch als inkorrekt klassifiziert. Deshalb zeigt die statische Analyse mit QA- C++ auch Probleme, die oft und leicht von Entwicklern und Compilern übersehen werden. Das geschieht vollautomatisch. So sparen Entwickler wertvolle Zeit beim manuellen Beheben von Problemen, die keine technischen Fehler im eigentlichen Sinne sind. Garantierte Portabilität Konsistenz über alle Plattformen Mit QA-C++ funktioniert Programmcode konstant über unterschiedliche Plattformen und Compiler. Dazu werden durch die Implementierung definierte Sprach-Features und Sprach-Extensions überwacht. Die Analyse- und Reporting-Features von QA-C++ QA-C++ bietet eine kontextsensitive drill-down Oberfläche, die mit einer tiefreichenden Knowledge-Base verknüpft ist. Dadurch kann QA-C++ nicht nur Probleme finden, sondern auch erklären, weshalb sie behoben werden sollten. Zusätzlich schlägt QA-C++ Beispiele vor, wie damit umgegangen werden kann. Metriken und Visualisierung Metriken projektbasiert dateibasiert funktionsbasiert Vom Benutzer definierbare Schwellenwerte Warnung bei Metrik-Schwellenwerten Report-Zusammenfassungen Konfigurierbare Reports Compliance Qualität Code-Review Suppression Metriken

5 Unübertroffen exakt: Source Code Analyse mit QA-C++ Auf einen Blick: QA-C++ Vier gute Gründe, weshalb führende Unternehmen unsere Tools einsetzen: Sie sind mit besseren Produkten schneller am Markt Ihre Teams arbeiten effektiver zusammen Sie schaffen es, Geschwindigkeit in der Entwicklung mit hoher Qualität zu verbinden An unserem Beispiel zeigen wir Ihnen, wie QA-C++ konkret helfen kann, Fehler zu entdecken und zu beseitigen: Sie können bestehenden Code einfach wiederverwenden 1. Nicht definiertes Verhalten QA-C++ ermittelt nicht nur die schon bekannten Fehlerquellen (Null-Pointer-Dereference, Division durch Null, Buffer Overrun), sondern auch solche, die seltener vorkommen. Die Dataflow Engine analysiert die Variablen, um undefinierte Reaktionen zu entdecken. 2. Constraint Violations Falscher Gebrauch der Programmiersprache? QA-C++ entdeckt eine Vielzahl an Fällen, in denen die Syntax zwar korrekt, der Code selber aber semantisch falsch ist. In einigen dieser Fälle würde der Compiler stoppen, weil sie bekannt sind. QA-C++ erkennt aber auch eine Reihe von Fehlern, bei denen die Kompilierung nicht gestoppt werden würde. 3. Analysen über mehrere Module QA-C++ identifiziert nicht-regelkonformes Verhalten, welches ein Linker nicht auflösen kann. Erkannt werden Rekursionen sowie widersprüchliche Deklarationen und Definitionen von externen Objekten und Funktionen im gesamten Projekt. 4. Portabilität Code konsistent halten und zwar über Compiler und Plattformen hinweg. Das schafft QA-C++. Das Toolset erkennt ISO-Limitierungen, Spracherweiterungen und Verhalten, das durch die Implementierung definiert ist. 5. Konversionen QA-C++ ermittelt implizite Konversionen zwischen Dateitypen, sei es bei der Verknüpfung, dem Vergleich, der Integral Promotion, der Default Argument Promotion oder bei Function Returns. 6. Redundanzen QA-C++ spürt nicht genutzte Variablen, Funktionen und Parameter auf, genauso wie Bedingungen, bei denen das Ergebnis unveränderlich (immer wahr oder immer falsch) ist. 7. Statements und Operationen QA-C++ ermittelt verdächtige Vergleichs- und Pointer-Opera tionen einschließlich der Verwendung von nicht korrekten Ty pen. Und das Programm findet Konstruktionen, die zwar erlaubt, aber wahrscheinlich irreführend oder schwer zu warten sind. 8. Namenskonventionen QA-C++ fördert die Verwendung von einheitlichen Benennungen, die durch Regular Expressions spezifiziert werden. Alle Identifier-Merkmale können überprüft werden.

6 Technische Spezifikationen, Plattformen und Integrationen ALLGEMEINE FUNKTIONEN Command Line Interface (CLI) Interaktive GUI mit Message Browser Online Hilfe & Knowledge-Base Verwendung & Implementierung von Kontext-Messaging C++ Sprache Coding Standard spezifisch Übersichten & detaillierte Reports IDE Integrationen Support für C++11 und C++14 CODE ANALYSE FUNKTIONEN 1,500+ auswählbare Messages Kein Limit für Projektgrößen und SLOC Cross Modul Analyse (CMA) Semantische Fehlererkennung Fehlererkennung durch Datenflussanalyse Unterdrückung der Prüfung auf Basis von Kommentaren möglich CODING STANDARDS Benutzerdefinierte Coding Standards Add-on Module MISRA C++:2008 HIC++ JSF AV C++ CERT C++ CWE C++ ISO C++ Standard Support Überprüfung von Namenskonventionen Erweiterbare Regelsätze Deviation support UNTERSTÜTZTE PLATTFORMEN Windows 7 (32 und 64 bit) Linux RHEL 5 und höher (32 und 64 bit) IDE INTEGRATIONEN Microsoft Visual Studio 2010, 2012, 2013 und 2015 Eclipse V und höher Eclipse basierte IDEs CONTINUOUS INTEGRATION UMGEBUNGEN Jenkins Andere CI Umgebungen können über das Command Line Interface eingebunden werden UNTERSTÜTZTE COMPILER GNU gcc, g++ MinGW gcc, g++ Microsoft Visual C++ Analog Devices VisualDSP++ Altera Nios II gcc GCC ARM Embedded ARM RVCT Freescale CodeWarrior ecoscentric Green Hills C/C++ IAR C/C++ Keil TASKING VXToolset Texas Instruments Wind River Diab XILINX C/C++ Weitere Compiler auf Anfrage Der SGS-TÜV Saar hat QA-C und QA-C++ mit MISRA zertifiziert als einsetzbar für die Entwicklung von sicherheitsrelevanter Software entsprechend der wichtigsten Standards im sicherheitskritischen Bereich: IEC 61508, ISO 26262, EN 50128, IEC und IEC QA Systems GmbH Schwieberdinger Straße 56 D Stuttgart Tel Fax Weitere Büros: München Bath (UK) Paris (F) Mailand (I)