GrammaTech Announces Newest Version of CodeSonar
Includes performance and integration improvements, and support for The Power of 10 rules for developing safety-critical code.
San Jose, CA, March 30, 2009 --(PR.com)-- GrammaTech, Inc., a leading manufacturer of source-code analysis tools, today announced that the next version of CodeSonar will ship in Q2 2009. The release includes checkers for the new Power of 10 coding standard, new facilities for integrating CodeSonar with defect-tracking systems and other tools, and significant performance improvements that reduce analysis time.
One of the newest features is support for enforcing The Power of 10: Rules for Developing Safety-Critical Code, a set of coding rules developed by Gerard Holzmann, director of NASA/JPL’s Laboratory for Reliable Software. Holzmann is well-known in the field of software verification, where his contributions include the invention of the SPIN model checker. In the paper in which he proposed the Power of 10 rules, Holzmann noted that, “Manually reviewing the hundreds of thousands of lines of code that are written for larger applications is often infeasible. Existing coding guidelines therefore offer limited benefit, even for critical applications. A verifiable set of well-chosen coding rules could, however, assist in analyzing critical software components for properties that go well beyond compliance with the set of rules itself. To be effective, though, the set of rules must be small and it must be clear enough that users can easily understand and remember it. In addition, the rules must be specific enough that users can check them thoroughly and mechanically.”
The new facilities for integrating CodeSonar with defect-tracking systems, version-control systems and other tools include an application programming interface (API) that enables customers to write scripts that examine and manipulate defect warning reports. “Customers have been integrating CodeSonar into their development process, so we took a detailed look at their needs and designed a new API to make integrations easy,” said Paul Anderson, vice president of engineering. The code that integrates CodeSonar with the Bugzilla defect-tracking system is provided as an example. The API can also be used to automate workflow on large projects.
Numerous performance improvements, such as incremental analysis have reduced analysis time. With incremental analysis, the first analysis performs a full examination of the software project. However, subsequent analyses only examine paths affected by code changes. “The time savings depend on how much of the code has changed and the effects of those changes on the rest of the code. The reduction in analysis time can be dramatic,” said Paul Anderson.
CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. CodeSonar has long been the software-analysis tool of choice for companies working on mission-critical applications like satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.
Pricing and Availability
CodeSonar 3.4 will have the same pricing as CodeSonar 3.3, which is available today with pricing starting at $4,000 USD for small projects. Licenses for larger projects are priced based on the size of the project. Interested parties can request a free trial of CodeSonar by contacting GrammaTech at info@grammatech.com.
About GrammaTech
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes ten PhD-level experts in programming languages and program analysis. The privately-held company has offices in Ithaca, NY, and San Jose, CA. More information about GrammaTech can be found at www.grammatech.com.
###
The URL for this release is located at: http://www.grammatech.com/news/2009/releases/3-31-09.html
North American Sales Contact: GrammaTech, Inc., 960 Saratoga Ave., Suite 113, San Jose, CA 95129, Tel. 408-246-9100, Email: info@grammatech.com, Website: www.grammatech.com.
International Sales Contacts:
UK and SCANDINAVIA: Scientific Computers Ltd, Jubilee House, Jubilee Walk, Three Bridges, CRAWLEY, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.
The Netherlands and Central Europe: Logic Technology, JF. Kennedylaan 18, 5981 XC Panningen, The Netherlands, Tel: +31 77 3078438, E-mail: info@logic.nl.
France: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 Colomiers, France, Tel: +33 (0)5 61 30 69 00, 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, 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
###
One of the newest features is support for enforcing The Power of 10: Rules for Developing Safety-Critical Code, a set of coding rules developed by Gerard Holzmann, director of NASA/JPL’s Laboratory for Reliable Software. Holzmann is well-known in the field of software verification, where his contributions include the invention of the SPIN model checker. In the paper in which he proposed the Power of 10 rules, Holzmann noted that, “Manually reviewing the hundreds of thousands of lines of code that are written for larger applications is often infeasible. Existing coding guidelines therefore offer limited benefit, even for critical applications. A verifiable set of well-chosen coding rules could, however, assist in analyzing critical software components for properties that go well beyond compliance with the set of rules itself. To be effective, though, the set of rules must be small and it must be clear enough that users can easily understand and remember it. In addition, the rules must be specific enough that users can check them thoroughly and mechanically.”
The new facilities for integrating CodeSonar with defect-tracking systems, version-control systems and other tools include an application programming interface (API) that enables customers to write scripts that examine and manipulate defect warning reports. “Customers have been integrating CodeSonar into their development process, so we took a detailed look at their needs and designed a new API to make integrations easy,” said Paul Anderson, vice president of engineering. The code that integrates CodeSonar with the Bugzilla defect-tracking system is provided as an example. The API can also be used to automate workflow on large projects.
Numerous performance improvements, such as incremental analysis have reduced analysis time. With incremental analysis, the first analysis performs a full examination of the software project. However, subsequent analyses only examine paths affected by code changes. “The time savings depend on how much of the code has changed and the effects of those changes on the rest of the code. The reduction in analysis time can be dramatic,” said Paul Anderson.
CodeSonar is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems. CodeSonar has long been the software-analysis tool of choice for companies working on mission-critical applications like satellites, avionics, industrial controls and medical devices. Companies outside the safety-critical space are also adopting CodeSonar to improve software reliability and security. This includes organizations developing software for wireless devices, networking equipment and consumer electronics.
Pricing and Availability
CodeSonar 3.4 will have the same pricing as CodeSonar 3.3, which is available today with pricing starting at $4,000 USD for small projects. Licenses for larger projects are priced based on the size of the project. Interested parties can request a free trial of CodeSonar by contacting GrammaTech at info@grammatech.com.
About GrammaTech
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes ten PhD-level experts in programming languages and program analysis. The privately-held company has offices in Ithaca, NY, and San Jose, CA. More information about GrammaTech can be found at www.grammatech.com.
###
The URL for this release is located at: http://www.grammatech.com/news/2009/releases/3-31-09.html
North American Sales Contact: GrammaTech, Inc., 960 Saratoga Ave., Suite 113, San Jose, CA 95129, Tel. 408-246-9100, Email: info@grammatech.com, Website: www.grammatech.com.
International Sales Contacts:
UK and SCANDINAVIA: Scientific Computers Ltd, Jubilee House, Jubilee Walk, Three Bridges, CRAWLEY, West Sussex, RH10 1LQ, UK, Tel: +44 (0)1293 403636, Email: info@scl.com.
The Netherlands and Central Europe: Logic Technology, JF. Kennedylaan 18, 5981 XC Panningen, The Netherlands, Tel: +31 77 3078438, E-mail: info@logic.nl.
France: ISIT, 8 Av. Jean Mermoz, Bât. Les Diamants, 31770 Colomiers, France, Tel: +33 (0)5 61 30 69 00, 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, 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
###
Contact
GrammaTech, Inc
Barbara Stewart
480-488-6909
www.grammatech.com
Beverly Wykoff
beverly@patterson.com
Barbara Stewart
480-488-6909
www.grammatech.com
Beverly Wykoff
beverly@patterson.com
Contact
Categories