CodeSonar® Kunden

CodeSonar® von CodeSecure ist seit langer Zeit das bevorzugte Software-Analyse-Tool für Entwickler von embedded Software und missionskritischen Applikationen wie Satelliten, Flugzeuge, Industrial Controls und Medizintechnik.

Aber auch Firmen außerhalb des sicherheitskritischen Bereiches nutzen CodeSonar® zur Verbesserung der Softwarequalität und -sicherheit.

Hier eine kleine Auswahl unserer Kunden:

Luft- und Raumfahrt/Verteidigung:
Deutsches Zentrum für Luft- und Raumfahrt (DLR),
AIRBUS, BAE Systems, Boeing, GE Aviation Systems, Honeywell, Lockheed Martin, NASA, Northrop Grumman, Raytheon, ...

Elektronik/Industrial Control:
A. Eberle GmbH & Co. KG, Anedo, Andreas STIHL AG & Co. KG, Bernecker + Rainer Industrie-Elektronik, devolo AG, DORMA Time + Access GmbH, Emz-Hanauer GmbH & Co KG, HEKATRON, Inaos GmbH, Pepperl+Fuchs GmbH, Sensor Technik Sirnach AG, Siemens AG,
Alstom Power, Analog Devices, Bosch Security Systems, Canon, CS Holdings, Fujitsu, General Electric, Hyundai, Ingenico, Konica Minolta, LG, Olympus, SanDisk, Schneider Electric, Sony, ST Electronics, ...

Medizintechnik:
B. Braun Melsungen AG,
Boston Scientific, Cardinal Health, Harvard Apparatus, Karl Storz Imaging, Philips Medical Systems, Varian Medical Systems, ...

Telekom/Datacom:
Alcatel-Lucent, LG Electronics, Panasonic Mobile, Qualcomm, Samsung Electronics, ...

Automotive/Transportation:
BMW, Daimler, Knorr-Bremse SfS GmbH, ...
Daewoo, Denso, GE Transportation, Hyundai Motors, Kawasaki, Volvo, ...

sonstige:
INVARIS Informationssysteme GmbH, Kappa optronics GmbH, Kronegger GmbH, LEMKEN GmbH & Co. KG, Logicdata GmbH, Schrack Seconet AG, Viessmann Elektronik GmbH,

staatliche Organisationen/Forschungsinstitute:
Fraunhofer Institut IESE,
Food and Drug Administration (FDA), NASA, National Institute of Standards and Technology (NIST), US Air Force, US Army, US Navy, ...

Universitäten und Hochschulen:
Hunderte von Universitäten und Hochschulen aus allen Erdteilen nutzen CodeSonar® für Forschung und Lehre im Rahmen unseres Hochschulprogramms.
Im deutschsprachigen Raum gehören hierzu unter anderem: Berner Fachhochschule, Hochschule für Technik und Wirtschaft Dresden, Hochschule Offenburg, TU Hamburg Institut für Flugzeug-Systemtechnik, ...

User-Testimonials

CodeSonar®: Fallstudien
NASA: Mars Rover Searches for Signs of Life with the Help of CodeSonar
CodeSecure 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.