CodeSonar 8.1: Statische Codeanalyse jetzt für zehn Programmiersprachen verfügbar

Unterstützung der Codierrichtlinien MISRA C und C++ 2023

(PresseBox) - CodeSecure, führender Hersteller von Lösungen für die statische Analyse von Softwaresicherheit, gibt die Verfügbarkeit von CodeSonar 8.1 bekannt. Die Schwerpunkte der neuen Version liegen auf der Verbesserung der Abdeckung von Coding-Standards und der Aktualisierung der Benutzeroberfläche. Das statische Codeanalysetool unterstützt darüber hinaus nun sechs weitere Programmiersprachen. Neben den bisherigen Sprachen C, C++, Java und C# werden jetzt auch Kotlin, Python, Go, Rust, JavaScript und TypeScript analysiert. Vertrieb und Support von CodeSonar erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH.

Zusätzliche MISRA-Überprüfungen sichern die Einhaltung von Codierrichtlinien

CodeSonar 8.1 bietet weitere MISRA-Überprüfungen an, um die besonders im Automotive-Bereich, aber auch vielen weiteren sicherheitskritischen Branchen relevanten Codierrichtlinien der Motor Industry Software Reliability Association abdecken zu können. Mit Blick auf MISRA C 2023 bietet das Tool jetzt eine Abdeckung von 95 % (eine volle Abdeckung ist für die Version 8.2 geplant). Neu hinzugekommen ist die MISRA C++ 2023-Abdeckung. Es wurde bereits eine 65%ige Abdeckung erreicht – auch hier ist die vollständige Abdeckung für die nächste Version geplant.

Statische Analyse kann sehr früh im Entwicklungsprozess eingesetzt werden

Da es für die statische Analyse nicht erforderlich ist, die zu testende Applikation auszuführen, können Überprüfungen schon sehr früh im Entwicklungsprozess ohne Schreiben von Testfällen vorgenommen werden. Die Korrektur von Fehlern kann deshalb früher und damit kostengünstiger erfolgen. Risiken, die zum Beispiel durch gefährliche Sicherheitslücken, nichtdeterministische Nebenläufigkeitsfehler und Speicherlecks entstehen, können so minimiert werden. Zusätzlich zur Aufdeckung von Programmierfehlern überprüft CodeSonar Programmierrichtlinien und die Software-Komplexität. Hiermit können die Kosten für die Software-Wartung gesenkt werden.



Zu den Vorteilen von CodeSonar zählt eine sehr gute Fehlererkennung mit einer vergleichsweise geringen Anzahl von Fehlermeldungen (False Positives). Durch die hohe Analysegeschwindigkeit, die Nutzung auf Multicore- und Mehrprozessormaschinen sowie die Möglichkeit der verteilten Analyse auf mehreren Maschinen kann das Analysetool auch für große Codebasen eingesetzt werden.

CodeSonar ist für die Nutzung in der sicherheitskritischen Softwareentwicklung nach ISO 26262, IEC 61508 und EN 50128 zertifiziert. Bezüglich der Qualifizierung für die Luftfahrt stehen die erforderlichen Testfälle zur Verfügung.

Ein Video zu CodeSonar 8.1 steht hier bereit.

Verfügbarkeit

CodeSentry ist ein Produkt des US-amerikanischen Unternehmens CodeSecure. Vertrieb und Support erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH. Kostenfreie Evaluationen sowie weitere Informationen sind über www.verifysoft.com erhältlich.

Über CodeSecure

Die Softwarelösungen von CodeSecure versetzen Unternehmen in die Lage, sicherere Software zu entwickeln, indem Sicherheitslücken, Software-Bugs und andere Schwachstellen aufgedeckt werden. Dies verringert die Fehlerrate und die Wahrscheinlichkeit für erfolgreiche Cyber-Attacken. CodeSecure CodeSonar ist in DevSecOps-Workflows integrierbar, um Bugs und Sicherheitslücken in Quellcode und Drittanbietercode aufzudecken.

CodeSonar und CodeSentry sind eingetragene Warenzeichen der CodeSecure, Inc., USA

Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität. Die 2003 gegründete Firma betreut über 750 Kunden in 43 Ländern. Schwerpunkt von Verifysoft ist die Messung der Code Coverage (Testüberdeckung) und der Codequalität. Dazu bietet Verifysoft mit Testwell CTC++, Testwell CMT++ und CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Distributor für verschiedene komplementäre Tools zur Qualitätssicherung, wie der Statischen Codeanalyse.

Weitere Informationen zu Verifysoft stehen unter www.verifysoft.com bereit.

Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
Bereitgestellt von Benutzer: PresseBox
Datum: 06.05.2024 - 15:37 Uhr
Sprache: Deutsch
News-ID 2096148
Anzahl Zeichen: 4508

Kontakt-Informationen:
Ansprechpartner: Felix HanselKlaus Lambertz
Stadt:

Bethesda (USA) / Offenburg

Telefon: +49 89 6230 3490+49 (781) 6392027

Kategorie:

Softwareindustrie

Diese Pressemitteilung wurde bisher 284 mal aufgerufen.

Kostenfreies Webinar: Unit- und Software Integration-Tests in sicherheitskritischen Projekten (Dipl.-Ing. Martin Heininger) ...
Die Verifysoft Technology GmbH wurde 2003 in Offenburg im Schwarzwald gegründet und hat sich seither als ein bedeutender Akteur im globalen Softwarevertriebsmarkt etabliert. Mit ihren Produkten wie dem Code-Coverage-Analyzer Testwell CTC++ sowie den Code-Komplexitätsmesswerkzeugen Testwell CMT++ b

Kostenfreies Webinar: Statische Analyse in der Praxis mit Dipl.-Ing. Royd Lüdtke und Artur Hirsch ...
In einer Zeit, in der Software zunehmend kritische Aufgaben übernimmt, reicht es nicht mehr aus, nur auf dynamische Analysemethoden zu setzen. Früher galt die dynamische Analyse als das Nonplusultra, um die funktionale Sicherheit von Anwendungen zu gewährleisten. Doch die wachsende Komplexität u

Code-Coverage-Analyse mit erweitertem Reporting ...
Verifysoft Technology, Spezialist für statische Codeanalyse und Embedded Code Coverage, präsentiert auf der embedded world 2026 eine neue Version des Coverage Analysers Testwell CTC++. Das neue Release 10.3 umfasst unter anderem erweiterte Reporting-Funktionen. Da Tool für die Messung der Testabd

Weitere Mitteilungen von Verifysoft Technology GmbH

Deutscher Verwaltungsgerichtstag: ARKTIS IT solutions organisiert Panel-Diskussion zum Thema Künstliche Intelligenz ...
Auch der 20. Deutsche Verwaltungsgerichtstag (15. bis 17. Mai in Würzburg) kommt in diesem Jahr an einem Thema nicht vorbei – Künstliche Intelligenz. Unter dem Titel „KI in der Verwaltungsgerichtsbarkeit – Innovation oder Risiko?“ hat das Berliner Systemhaus ARKTIS IT solutions daher ein E

2. PRAXIS Anwendertage mit dem UVMB in Magdeburg erfolgreich durchgeführt ...
Die diesjährigen Anwendertage der PRAXIS EDV-Betriebswirtschaft- und Software-Entwicklung AG, in Kooperation mit dem Unternehmerverband Mineralische Baustoffe (UVMB) e. V., standen ganz im Zeichen der im März freigegebenen neuesten Version des branchenorientierten ERP WDV2024 TEAM. Etwa 40 Vertret

Innovative Videomanagement-Lösungen auf der BDSW-Mitgliedsversammlung 2024 ...
Die Accellence Technologies GmbH, ein führender Anbieter von sicheren und leistungsfähigen Videomanagement- und Softwarelösungen, freut sich, ihre Teilnahme an der BDSW-Mitgliedsversammlung 2024 bekannt zu geben. Die Veranstaltung wird am 15. und 16. Mai 2024 in Freiburg stattfinden. Der BDSW (BU

regisafe veröffentlicht umfassendes Software-Update ...
regisafe, führender Anbieter von Software-Lösungen für die kommunale Verwaltung, hat das Software-Update 4.15 veröffentlicht. Dieses Update erweitert die bisherigen Angebote unter anderem um eine Software-as-a-Service (SaaS) Lösung und bringt wesentliche Neuerungen im Bereich der umsatzsteuerli