Verifysoft Technology GmbH

GrammaTech CodeSonar ist das weltweit fortschrittlichste statische Analysetool für die Garantie sicherer und zuverlässiger embedded Software. Das Werkzeug deckt kritische, schwer zu findende Bugs während der Codingphase bzw. des System-Build-Prozesses auf.

Mit der bahnbrechenden Technologie von CodeSonar können Entwickler während des gesamten Lifecycles einer Anwendung automatisch nach kritischen Defekten und Sicherheitslecks in ihrer Software suchen und sich bei der Beseitigung dieser Defekte helfen lassen. So behalten sie die Kontrolle über die komplexen Aspekte des Entwicklungsvorgangs.

GrammaTech CodeSonar wird vor allem in der sicherheitskritischen Softwareentwicklung eingesetzt, unterstützt aber auch Kunden aus anderen Bereichen beim Aufdecken von Softwarefehlern.

Reverse Engineering und Quellcodeanalyse für Ihre Projekte

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.
 

Quellcodeanalyse

Reverse Engineering und Visualisierungen von Softwarearchitekturen helfen beim Verständnis des Quellcodes. Imagix 4D unterstützt Sie beim Verstehen von unbekanntem Code, bei der Change-Impact-Analyse, der Integration von Open-Source-Code, der Wiederverwendung von Code und bei der Wartung von Legacy-Software.
 

Statische Checks und Metriken

Software-Metriken unterstützen Sie dabei, Ihre Codequalität zu erhöhen. Sie verbessern die Überprüfung des Real-Time-Flows, bereiten Code-Reviews und Assessments von Drittanbietercode vor und verfolgen die Entwicklungsfortschritte. Imagix 4D zeigt über einhundert Metriken. Hierzu zählen die Zyklomatische Komplexität nach McCabe, die McCabe Essential Complexity, Halstead-Metriken, der Wartbarkeitsindex, der Maintainability Index (Welker), die Class Cohesion (Hitz/Mont.), Class Coupling, objektorientkerte Metriken nach Chidamber und Kemerer, Comment-Ratio, Decision Depth, Knots (Woodward usw.), Anzahl der Anweisungen/Codezeilen und viele mehr.
 

Delta-Analysen

Die strukturellen Unterschiede zwischen verschiedenen Quellcodeversionen werden durch Diagramme und Berichte gezeigt und erlauben somit eine aussagekräftige Analyse der Veränderungen in Ihrer Software. Die Delta-Analyse konzentriert sich auf die Testfallentwicklung, Change Impact Review, Softwareanpassungen und Management von Projekten.
 

Automatisierte Dokumentationen

Imagix 4D generiert Software-Dokumente und -Diagramme wie beispielsweise UML-Diagramme. Hierdurch erhalten Sie präzise und informative Design-Dokumente. Imagix 4D unterstützt Peer-Code-Reviews, Design-Dokumentationen, Problem- und Impact-Reports sowie Software-Archivierungen.

Anzeige von Testwell CTC++ Coverage-Daten in Kontrollflussdiagrammen

Imagix 4D ist an den Test-Coverage-Analyser Testwell CTC++ angebunden und erlaubt die Anzeige der Testabdeckungsdaten in Kontrollflussdiagrammen. Hierfür sind verschiedene Ansichten verfügbar.

Julia Static Analyzer ist das führende Statische Code Analyse Werkzeug zum Aufdecken von Fehlern und Sicherheitslücken in C#-, Java- und Android-Anwendungen (für C und C++ empfehlen wir GrammaTech CodeSonar). Durch die Nutzung des Julia Static Analyzers senken Sie Kosten für die Entwicklung und Wartung von Software. Gleichzeitig beseitigen Sie Risiken, die auf Sicherheitsschwachstellen basieren. Die leistungsstarke Technologie sorgt für optimale, tiefgehende Analyseergebnisse. Diese werden auf einem Dashboard verständlich aufbereitet präsentiert.

 

Testwell CTC++ (Test Coverage Analyzer 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. Mit dem CTC++ for Java and C# add-on wird die Funktionalität von Testwell CTC++ auf Java und C# ausgeweitet. 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 allen Compilern und Cross-Compilern eingesetzt werden (die CTC++ Lizenz umfaßt die Nutzung für ALLE Compiler).

Testwell CTC++ analysiert die Testüberdeckung für alle Coveragestufen:

• Function Coverage
• Decision Coverage
• Condition/Branch Coverage
• Modified Condition/Decision Coverage (MC/DC)
• Multicondition Coverage (MCC)

Testwell CTC++ kann für Zertifikationen in der sicherheitskritischen Softwareentwicklung wie zum Beispiel DO-178B (alle Niveaus) der Federal Aviation Administration (FAA) und EN 61508 genutzt werden.

Analyse der Testabdeckung im Host und in allen embedded Targets und Microcontrollern
Testwell CTC++ ist das ideale Werkzeug für die Messung der Code Coverage in embedded Targets.

• sehr geringer Instrumentation-Overhead
• Code Coverage in allen Targets
• einsetzbar für kleinste Targets und Microcontroller
• unterstützt alle Compiler bzw. Cross-Compiler

Testwell CTC++ ist intuitiv und einfach zu nutzen

• keine Code-Änderungen erforderlich
• unterstützt vorhandene Makefiles
• sehr geringer Overhead bezüglich Codegröße und Ausführungszeit
• GUI-Integration in verschiedene IDEs
• ein Coverage-Tool für C, C++, Java und C#