SOURCE: GrammaTech

GrammaTech

February 14, 2011 07:02 ET

GrammaTech Used in Toyota Unintended Acceleration Investigation

NASA Engineering and Safety Center Analyzed Toyota Camry Software With GrammaTech's CodeSonar Static-Analysis Tool

ITHACA, NY--(Marketwire - February 14, 2011) - The U.S. Department of Transportation released the results of a 10-month National Highway Traffic Safety Administration (NHTSA) NASA investigation into potential electronic causes of unintended acceleration in Toyota vehicles. As part of the investigation, NASA experts examined more than 280,000 lines of software. NASA's analysis included performing static analysis on the software using three tools: GrammaTech CodeSonar, Coverity Prevent and Uno (a research tool that originated at Bell Labs).

In the report, NASA described CodeSonar as a "strong static source code analysis tool from GrammaTech that uses a different technology for detailed inter-procedural source code analysis. CodeSonar analysis typically takes longer to complete than comparable tools, but can reveal more subtle types of defects and suspect coding patterns, requiring deeper path analysis (which can be more time consuming)."

Paul Anderson, VP of Engineering for GrammaTech, stated, "GrammaTech is proud that NASA chose our static-analysis tool for this important and demanding investigation. NASA's selection underscores that CodeSonar is the tool of choice for organizations that want to perform the deepest and most penetrating code analysis."

The full report can be found at: http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA-UA_report.pdf

About GrammaTech
GrammaTech's static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes thirteen PhD-level experts in programming languages and program analysis. The company has headquarters in Ithaca, NY. More information about GrammaTech can be found at www.grammatech.com

CodeSonar is a registered trademark of GrammaTech, Inc. All other trademarks are property of their respective companies.

Contact Information

  • Media Contact:
    Barbara Stewart
    Patterson & Associates
    480-488-6909
    Email Contact