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, February 23, 2011 --(PR.com)-- 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.
The URL for this release is located at: http://www.grammatech.com/news/2011/releases/02-14-11.html
North American Sales Contact: GrammaTech, Inc., 317 North Aurora Street., Ithaca, NY 14850,
Tel: +1 607-273-7340, Email: info@grammatech.com, Website: www.grammatech.com.
International Sales Contacts:
UK, Scandinavia and Central Europe: SCL, Jubilee House, Jubilee Walk, Three Bridges, Crawley, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.
France: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 Colomiers, France, Tel: +33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: isit@isit.fr.
Japan: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan, Tel: +81-3-3493-7981, Fax: +81-3-3493-7993, Email: sales@aicp.co.jp.
Korea: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: grammatech@mdstec.com.
Media Contact:
Barbara Stewart
Patterson & Associates
480-488-6909
barbara@patterson.com
GrammaTech, Inc.
317 North Aurora Street
Ithaca, NY 14850
607-273-7340
http://www.grammatech.com
###
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.
The URL for this release is located at: http://www.grammatech.com/news/2011/releases/02-14-11.html
North American Sales Contact: GrammaTech, Inc., 317 North Aurora Street., Ithaca, NY 14850,
Tel: +1 607-273-7340, Email: info@grammatech.com, Website: www.grammatech.com.
International Sales Contacts:
UK, Scandinavia and Central Europe: SCL, Jubilee House, Jubilee Walk, Three Bridges, Crawley, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.
France: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 Colomiers, France, Tel: +33 (0)5 61 30 69 00, Fax: +33 (0)5 61 16 50 63, Email: isit@isit.fr.
Japan: A.I. Corporation, Iijima Bldg, 2-25-2, Nishigotanda, Shinagawa-ku, Tokyo, 141-0031, Japan, Tel: +81-3-3493-7981, Fax: +81-3-3493-7993, Email: sales@aicp.co.jp.
Korea: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: grammatech@mdstec.com.
Media Contact:
Barbara Stewart
Patterson & Associates
480-488-6909
barbara@patterson.com
GrammaTech, Inc.
317 North Aurora Street
Ithaca, NY 14850
607-273-7340
http://www.grammatech.com
###
Contact
GrammaTech, Inc
Barbara Stewart
480-488-6909
www.grammatech.com
Barbara Stewart
480-488-6909
www.grammatech.com
Contact
Categories