AbsInt: Nachweisbare Sicherheit für Medizinsoftware
Mit Astrée bietet AbsInt ein Analyse-Tool, das C/C++-Code in Embedded-Medical-Software lückenlos auf Laufzeitfehler wie Pufferüberläufe, uninitialisierte Variablen oder Data Races prüft, die Abwesenheit wird nachweisbar dokumentiert. Gut für die Entwicklung nach IEC 62304 und die Cyber Security. Das Code-Testing-Tool en détail.