CodeSonar® - Case Studies
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 used CodeSonar to examine the software in Toyota vehicles
In a prominent example, NASA recently used static analysis to examine the software in Toyota vehicles as part of an investigation into unintended acceleration in Toyota vehicles. GrammaTech CodeSonar was one of the tools used by NASA.In the report, NASA described CodeSonar as follows: "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."
The full NASA Engineering and Safety Center Technical Assessment Report can be located at NASA-UA_report (pdf, 11.2 MB).
CodeSonar®main page
CodeSonar 4 for Embedded Systems
CodeSonar for C/C++ (PDF, 1.5 MB)
CodeSonar for Java (PDF, 1.1 MB)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software metrics
Automate the Verification of Your Code
CodeSonar for Java
Compliant to standards
DO-178
ISO 26262
FDA-standards
MISRA
CWE- and BSI-regulations
"Power of Ten" and JPL-regulations
IEC 62443
How Static Code Analysis works
Workflow-Features
Binary-Analysis
Visual-Taint-Analysis
Whitepapers
References
University program
Case studies
Slide-presentation
CodeSonar 4 for Embedded Systems
CodeSonar for C/C++ (PDF, 1.5 MB)
CodeSonar for Java (PDF, 1.1 MB)
Development Testing
Defect Detection
Concurrency Checks
Security Checks
Software metrics
Automate the Verification of Your Code
CodeSonar for Java
Compliant to standards
DO-178
ISO 26262
FDA-standards
MISRA
CWE- and BSI-regulations
"Power of Ten" and JPL-regulations
IEC 62443
How Static Code Analysis works
Workflow-Features
Binary-Analysis
Visual-Taint-Analysis
Whitepapers
References
University program
Case studies
Slide-presentation