GrammaTech Used In Toyota Unintended Acceleration Investigation

Posted on


NASA Engineering and Safety Center analyzed Toyota Camry software with GrammaTech’s CodeSonar static-analysis tool

ITHACA, NY — 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:

More information about CodeSonar is available on the CodeSonar product pages.

About GrammaTech:
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions, and government agencies. The staff includes fourteen researchers with PhDs in programming languages and program analysis.

Related Posts

Check out all of GrammaTech’s resources and stay informed.

view all posts

Contact Us

Get a personally guided tour of our solution offerings. 

Contact US