GrammaTech Releases Latest Version of CodeSonar
New user interface and improved performance enhances developer productivity
|CodeSonar pointing out a buffer overrun defect and showing how it can occur.|
GrammaTech, Inc., a leading manufacturer of source-code-analysis tools, today announced the availability of the latest version of CodeSonar. CodeSonar’s compile-time analysis identifies quality and security problems, helping companies to avoid failures in the field. CodeSonar 3.6 provides a radically improved graphical user interface (GUI) to streamline developer interaction and boost productivity. In addition, CodeSonar 3.6’s analysis engine is more efficient. For large code bases, the analysis time has been reduced by as much as a third.
According to Paul Anderson, GrammaTech’s vice president of Engineering, “CodeSonar’s unique strength is its ability to identify far more program-crashing defects and security vulnerabilities than competing static-analysis tools. Another advantage is CodeSonar’s new GUI that enables developers to quickly digest key information, understand and identify the most important issues, and prioritize fixes.”
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. Like a compiler, CodeSonar does a build of the code. However, instead of creating object code, CodeSonar creates an abstract model of the program, capturing information about the program’s control flow and the relationships between data. The program model is executed symbolically by CodeSonar’s analysis engine. Automated reasoning about feasible paths and program variables is used to identify tricky defects, including defects that result from complex interactions among procedures.
CodeSonar is backed by years of research and is the most powerful source-code-analysis tool available. It is distinguished by its ability to find more serious defects than any other tool on the market. For this reason, it has been adopted by leading organizations developing medical devices, spacecraft, industrial and automotive control systems, electronics, and similar applications. CodeSonar runs on Windows, Linux, Solaris, and Mac OSX operating systems and supports most compilers.
Price and Availability
CodeSonar 3.6 has the same pricing as CodeSonar 3.5, which is available today starting at $18,000 USD for small projects. Licenses for larger projects are based on the size of the project. Interested parties can request a free trial of CodeSonar.
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: www.grammatech.com/news/2011/releases/01-12-11.[...]
North American Sales Contact: GrammaTech, Inc., 317 North Aurora Street., Ithaca, NY 14850,
Tel: +1 607-273-7340, Email: email@example.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: firstname.lastname@example.org.
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: email@example.com.
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: firstname.lastname@example.org.
KOREA: MDS Technology Co., Ltd., 15F., Kolon Digital Tower Billant, Guro3-dong, Guro-gu, Seoul, Korea, 152-777, Tel: +82-2-2106-6000, Email: email@example.com.