-
Quellcode KI-gestützt analysieren und besser verstehen
Verifysoft Technology, führender Anbieter von Tools und Dienstleistungen zur Steigerung der Softwarequalität, gibt die Verfügbarkeit einer neuen Hauptversion des Codeanalysetools Imagix 4D bekannt. Die wichtigste Neuerung in Imagix 4D 11 ist die Einführung von KI-Analyse. Diese kann sowohl mit den Lösungen der bekannten Anbieter als auch mit lokal installierten KI-Modellen auf eigenen Systemen genutzt werden. Softwareentwickler sind durch die KI-Unterstützung in der Lage, komplexen oder veralteten Quellcode noch besser und einfacher zu verstehen, zu dokumentieren und zu optimieren. Die KI-Analyse nutzt die umfangreiche Datenbasis, die Imagix 4D zu einer untersuchten Software anlegt. Sie ergänzt bisherige Darstellungsformen wie Visualisierungen und Berichte, reichert diese mit zusätzlichen Informationen und Erkenntnissen an und kann…
-
Transparente Dokumentation der Testabdeckung
Verifysoft Technology, Spezialist für statische Codeanalyse und Embedded Code Coverage, hat die neue Version 10.4 des Code-Coverage-Analyse-Tools Testwell CTC++ veröffentlicht. Das Release bringt zwei wesentliche Neuerungen: Justifications, also Erklärungen für nicht getesteten Code, können nun noch detaillierter erfasst werden. Außerdem stehen Berichte für die Timing-Instrumentierung zur Verfügung. Detaillierte Justifications Bei Justifications handelt es sich um Erklärungen für nicht getesteten Code beziehungsweise fehlende Testabdeckung. Wichtig ist dies, da die theoretisch oft geforderte, vollständige Code Coverage in der Praxis häufig nicht zu 100 % realisiert werden kann. Dies kann beispielweise an Code-Teilen liegen, die sich durch Tests nur schwer erreichen lassen. Durch Justifications wird transparent und nachvollziehbar dokumentiert, welche Teile des Codes…
-
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 Testabdeckung (Code Coverage) bietet dazu jetzt das Feature „User Variables“. Beliebige textuelle Informationen können damit über einfache Key-Value-Paare hinzugefügt werden. Sie werden dann direkt im Standardbericht von Testwell CTC++ angezeigt und stehen zusätzlich auch in der Template-Sprache zur Verfügung. Dies vereinfacht die individuelle Berichtserstellung. Vorteilhaft für Softwareentwickler ist dies beispielsweise, wenn in den Coverage-Berichten Informationen wie der zugehörige Build oder Commit eingebunden werden sollen. Kürzen von Quellcodepfaden Ebenfalls neu implementiert in…
-
Reverse Engineering für die Analyse von Legacy-Quellcode
Verifysoft Technology, führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität, gibt die Verfügbarkeit der neuesten Version des Codeanalysetools Imagix 4D bekannt. Imagix 4D hilft Softwareentwicklern durch Reverse Engineering dabei, komplexen, fremden oder veralteten Quellcode zu verstehen, zu dokumentieren und zu optimieren. Das Tool ist für die Analyse von C, C++ und Java Code ausgelegt. Vertrieb und Support von Imagix 4D erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH. Optimiertes Zusammenspiel mit Testwell CTC++ In der neuen Version 10.5.8 wurde vor allem die Unterstützung für aktuelle Versionen des Code Coverage Analysers Testwell CTC++, einer Lösung für die Messung der Testabdeckung, nochmals deutlich erweitert. Dies erleichtert die Überprüfung…
-
Statische Codeanalyse bei sicherheitskritischen Softwareprojekten
Verifysoft Technology, führender deutscher Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität, zeigt auf der IT-Security-Fachmesse it-sa (Halle 7 / 7-122) die neueste Version der Lösung CodeSonar von CodeSecure. CodeSonar ist für die statische Codeanalyse speziell bei sicherheitskritischer Software ausgelegt. Version 9.1 bietet signifikante Verbesserungen in den Bereichen Standardabdeckung, Analyseleistung und Reporting. Vertrieb und Support von CodeSonar erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH. Erweiterte Analyse-Unterstützung CodeSonar 9.1 ermöglicht Anwendern eine verbesserte Android-Analyse, ohne dass dafür zusätzliche Skripte benötigt werden. Interessant für Unternehmen und Entwickler im Automotive-Segment sowie vielen weiteren sicherheitskritischen Bereichen ist eine erneute Ausweitung der Abdeckung der Codierrichtlinien der Motor Industry Software Reliability Association…
-
Fremden Quellcode analysieren, dokumentieren und optimieren
Verifysoft Technology, führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität, gibt bekannt, dass das Codeanalysetool Imagix 4D von Imagix in der neuen Version 10.5.6 zur Verfügung steht. Das Release optimiert unter anderem die Delta-Analyse auf Ebene des Architekturdiagramms. Strukturelle Unterschiede zwischen verschiedenen Code-Versionen lassen sich dadurch übersichtlicher visualisieren und dokumentieren. Deutlich erweitert wurde außerdem die Integration mit dem Code-Coverage-Analyser Testwell CTC++, einem Tool zur Messung der Testabdeckung. Vertrieb und Support von Imagix 4D erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH. Quellcode per Reverse Engineering analysieren und verstehen Imagix 4D ist eine Lösung für die Analyse von C, C++ und Java Code, die Softwareentwicklern durch Reverse…
-
Statische Codeanalyse in Minuten statt Stunden
CodeSecure, führender Hersteller von Lösungen für die statische Analyse von Software im Hinblick auf Sicherheitsmängel, präsentiert CodeSonar 9. Zu den wichtigsten Neuerungen zählt eine signifikante Steigerung der Performance: MISRA-Analysen lassen sich im Vergleich zur Vorgängerversion bis zu 20-fach schneller durchführen. Selbst umfangreiche Codeanalysen, die bislang mehrere Stunden in Anspruch nahmen, lassen sich dadurch in weniger als 30 Minuten abschließen. Vertrieb und Support von CodeSonar erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH (https://www.verifysoft.com). Relevant für viele sicherheitskritische Branchen Von der Performance-Steigerung, die unter anderem durch verbesserte Parallelisierung und optimierte Hardware-Ausnutzung erzielt wird, profitieren insbesondere MISRA-Analysen und Projekte mit AUTOSAR-Einstellungen. Die Codierrichtlinien der Motor Industry Software Reliability Association (MISRA) sind…
-
Verifysoft Technology auf der Embedded World 2025: Umfassendes Lösungsportfolio zur Steigerung der Softwarequalität
Verifysoft Technology präsentiert auf der Embedded World 2025 ein umfassendes Lösungsportfolio zur Steigerung der Softwarequalität. Der Spezialist für Embedded Code Coverage und statische Codeanalyse zeigt in Halle 4 (Stand 423) beispielsweise die neueste Version des Code Coverage Analysers Testwell CTC++. Messebesucher können sich zudem über die aktuellsten Releases von Lösungen wie CodeSentry (Binärcode-Analyse), CodeSonar (statische Codeanalyse für sicherheitskritische Softwareprojekte) und Codee (Performance-Analyse) informieren. Testwell CTC++, ein Tool für die Messung der Testabdeckung (Code Coverage), bietet in der neuesten Version Funktionen, die den Umgang mit Quellcodevarianten weiter optimieren. Mit dem Feature „Merging“ lassen sich Coverage-Ergebnisse zu unterschiedlichen Quellcodevarianten, die durch Präprozessierung in C und C++ Dateien entstehen, zu einem einzigen Bericht…
-
Code Coverage Analyser Testwell CTC++ mit neuem „Merging“-Feature für Quellcodevarianten
Verifysoft Technology, Spezialist für Embedded Code Coverage und statische Codeanalyse, präsentiert die Version 10.2 des Code Coverage Analysers Testwell CTC++. Beim neuen Release des Tools zur Messung der Testabdeckung liegt der Fokus vor allem auf dem Umgang mit Quellcodevarianten, der weiter optimiert wurde. So können mit dem neuen Feature „Merging“ jetzt Coverage-Ergebnisse zu unterschiedlichen Quellcodevarianten, die durch Präprozessierung in C und C++ Dateien entstehen, zu einem einzigen Bericht zusammengeführt werden. Häufig wird dies von Entwicklern und Testern präferiert, um einen einfacheren Gesamtüberblick zu erhalten. Standardmäßig misst Testwell CTC++ die Testabdeckung für Quellcodevarianten getrennt, um die Anforderungen im sicherheitskritischen Bereich zu erfüllen. Mit dem neuen Feature „Merging“ steht nun eine zusätzliche…
-
Die Software-Lieferkette absichern
CodeSecure, führender Hersteller von Lösungen für die Analyse und das Testen der Softwaresicherheit, hat seine Binärcode-Analyse-Plattform CodeSentry aktualisiert. CodeSentry ermöglicht es Unternehmen, Sicherheitsschwachstellen im Code von Drittanbietern zu erkennen und somit ihre Software-Lieferkette abzusichern – auch dann, wenn kein Zugriff auf den Quellcode vorhanden ist. Das Tool setzt auf die Analyse der Softwarezusammensetzung und erstellt detaillierte „Software-Stücklisten“ (Software Bill of Materials / SBOM). Vertrieb und Support von CodeSentry erfolgen im deutschsprachigen Raum über die Verifysoft Technology GmbH. Die neue Version CodeSentry 6.1 bietet zusätzliche Funktionen für das Management der Software-Stücklisten. In einer neuen, kompakten Ansicht lassen sich gefundene Komponenten nach Kriterien wie Name, Hersteller und Versionsnummer gruppieren, was gerade bei…
