News
MathWorks integriert Lauterbach TRACE32 in Polyspace
Entwickler können Tests und Codeanalysen in einer einheitlichen Umgebung durchführen und so den Aufwand für die Verifikation sicherheitskritischer Embedded-Software reduzieren.
Codeanalyse
News
Fraunhofer AISEC: Automatisierte Analyse von Cybersicherheitsanforderungen im Software-Code
Code-Analyse-Tool Codyze wandelt produktbezogene Anforderungen in überprüfbare Regeln um und bewertet automatisch, ob der Quellcode des Produkts diese erfüllt.
News
Inchron: Version 4.0 der ChronSuite
Toolkit für Timing-Analysen unterstützt nun nativ die AUTOSAR Classic-Plattform und bietet eine überarbeitete Visualisierungs-Engine sowie leistungsstarke neue Workflows.
News
Qt: Axivion Suite 7.9 mit neuen Security-fokussierten und nutzerfreundlichen Features
Neue Release der Toolsuite für statische Codeanalyse und Architekturverifikation integriert u.a. zusätzliche CWE- und CERT-Regeln und ein Plug-In für Qt Creator-Nutzer.
English Content
Webinar: Code coverage measurement with TRACE32 and the LDRA tools
12.11.24: The webinar shows how the combination of Lauterbach and LDRA tools saves time in code coverage measurement.
News
Qt: Qualitätssicherungs-Tools für effiziente Codeanalyse und Architekturverifikation
Axivion Suite 7.8 bringt 100%-Abdeckung für alle automatisch prüfbaren MISRA C++:2023-Regeln, sicheres SSO, upload-mode für Branches und Klon-Management für C#.