Customers

CodeSecure´s CodeSonar® has long been the software analysis tool of choice for embedded developers working on mission-critical applications such as satellites, avionics, industrial controls, and medical devices.

Companies outside the safety-critical space are also adopting CodeSonar® to improve software reliability and security, including organizations developing software for wireless devices, networking equipment, and consumer electronics.

Our customers include for example (partial list):

Defense/Aerospace:
AIRBUS, BAE Systems, Boeing, GE Aviation Systems, Honeywell, Lockheed Martin, NASA, Northrop Grumman, Raytheon, ...

Electronics:
Analog Devices, Bosch Security Systems, Canon, Fujitsu, Hyundai, Ingenico, Konica Minolta, LG, Olympus, SanDisk, Sony, ST Electronics, ...

Industrial Control:
Alstom Power, CS Holdings, GE, Schneider Electric, ...

Medical:
Boston Scientific, Cardinal Health, Harvard Apparatus, Karl Storz Imaging, Philips Medical Systems, Varian Medical Systems, ...

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

Transportation:
Daewoo, Daimler, Denso, GE Transportation, Hyundai Motors, Kawasaki, Volvo, ...

Government:
Food and Drug Administration (FDA), NASA, National Institute of Standards and Technology (NIST), US Air Force, US Army, US Navy, ...

Academic Customers:
Hundreds of universities worldwide use CodeSonar® for academic research and teaching. More information about our academic program

User-Testimonials

CodeSonar® - Case Studies
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 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).