CodeSonar®: Fallstudien
NASA: Mars Rover Searches for Signs of Life with the Help of CodeSonarCodeSecure Helps BCA Ensure Reliability of Life-Saving Mobile App
FDA Uses CodeSecure to Analyze Recalled Medical Devices
NASA Uses Codesecure to Increase Satellite Uptime
Boston Scientific Streamlines Analysis of Medical Device Software
CodeSonar Helps Vivante Deliver Reliable GPU Cores On Time
Critical Link: Codesecure Ensures High Reliability of DSP Software
CodeSonar Helps Harvard Apparatus Tackle the Medical Device Market
CodeSonar Streamlines Certification of High-Security Devices
Crank Software Selects CodeSecure to Turn Up Software Quality and Security
Micrel Medical Devices Chooses CodeSonar for Compliance Support and Reporting Features
NASA überprüfte fehlerhafte Software von Toyota mit CodeSonar
Die NASA hat kürzlich statische Codeanalyse für die Überprüfung der Software zur Untersuchung der unbeabsichtigten Beschleunigung bei Fahrzeugen von Toyota eingesetzt. CodeSonar war eines der von der NASA hierzu eingesetzten Werkzeuge.In ihrem Bericht beschreibt die NASA CodeSonar wie folgt: "CodeSonar is a ... strong static source code analysis tool from CodeSecure that uses a ... technology for detailed inter-procedural source code analysis. CodeSonar analysis ... can reveal more subtle types of defects and suspect coding patterns, requiring deeper path analysis."
Der komplette "NASA Engineering and Safety Center Technical Assessment Report" ist über
NASA-UA_report (pdf, 11,2 MB) verfügbar.
GrammaTech CodeSonar®(Hauptseite)
CodeSonar 4 für Embedded Systeme
CodeSonar for C/C++ (Datenblatt, 1.5 MB)
CodeSonar for Java (Datenblatt, 1.1 MB)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software-Metriken
Automatisierung der Quellcodeverifikation
CodeSonar for Java
Erfüllung von Normen
DO-178
ISO 26262
FDA-Normen
MISRA
CWE- und BSI-Regeln
"Power of Ten" und JPL-Regeln
IEC 62443
Wie Statische Codeanalyse funktioniert
Workflow-Features
Binary-Analyse
Visual-Taint-Analyse
Whitepapers
Referenzen
Hochschulprogramm
Fallstudien
Slide-Präsentation
CodeSonar 4 für Embedded Systeme
CodeSonar for C/C++ (Datenblatt, 1.5 MB)
CodeSonar for Java (Datenblatt, 1.1 MB)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software-Metriken
Automatisierung der Quellcodeverifikation
CodeSonar for Java
Erfüllung von Normen
DO-178
ISO 26262
FDA-Normen
MISRA
CWE- und BSI-Regeln
"Power of Ten" und JPL-Regeln
IEC 62443
Wie Statische Codeanalyse funktioniert
Workflow-Features
Binary-Analyse
Visual-Taint-Analyse
Whitepapers
Referenzen
Hochschulprogramm
Fallstudien
Slide-Präsentation