GrammaTech CodeSonar®

15 June 2016

GrammaTech CodeSonar 4.4 Available

(Ithaca, New York/USA, Offenburg/Germany, 2 November 2016)

Version 4.4 of GrammaTech CodeSonar is available. The release comes with the following enhancements:
  • 18 new warning classes for MISRA C/C++
  • New versions of FindBugs and PMD introduce many new warnings for Java.
  • Better handling of C++14 constructs
  • Compiler vendor extensions including Microsoft Visual Studio 2015 toolchain.

GrammaTech Starts Work on Advanced Analysis Engine for a Predictive Auto-Complete and Auto-Correct Code (DARPA´s PLINY Project)

(Ithaca/New York, 30 April 2015)

GrammaTech has begun work on PLINY, a joint effort among GrammaTech and three Universities, with the goal to automatically detect program defects, suggest program repairs, and complete program drafts. PLINY is part of DARPA´s (Defense Advanced Research Projects Agency) Mining and Understanding Software Enclaves (MUSE) program.
This initiative seeks to gather hundreds of billions of lines of publicly available open-source computer code to mine in an effort to create a searchable database of properties, behaviors, and vulnerabilities.
GrammaTech´s static code analysis tool CodeSonar will be at the center of the effort to generate features. CodeSonar has an extraordinary scalability, and an analysis engine with proven capabilities for discovering subtle program properties.     > further information

GrammaTech Announces an increase of 60% in CodeSonar annual Sales

(Ithaca/New York, Offenburg/Germany, 18 September 2014)

More and more customers from Aerospace, Automotive, Medical, Military, and Telecom Industries rely on the expertise of GrammaTech´s CodeSonar, a leading Static Code Analysis tool. Today GrammaTech announced a 60 percent increase in annual sales for its fiscal year, which closed on July 31.
GrammaTech´s success has been driven by new capabilities in CodeSonar for achieving standards compliance, eliminating multi-core issues, analyzing third-party code as well as improving software security by addressing dangerous information flows. CodeSonar is designed for failure-intolerant embedded environments. The tool analyzes both source code and binaries and identifies serious security and quality liabilities. Vulnerabilities, system crashes and unexpected behaviour at runtime as a result of e.g. memory corruption, leaks, data races, and other bugs can be avoided early in the development process.
For companies, which would like to increase their software quality, we propose static analysis by CodeSonar. Please ask for a free evaluation and get informed about our interesting license models.

GrammaTech President Thomas Reps Elected to Academia Europaea

(Ithaca, New York/USA, 24 October 2013)

GrammaTech, Inc., announced that Europe´s foremost thought-leadership academy, the Academia Europaea, has elected Dr. Thomas Reps, President and Co-Founder of GrammaTech, to be a foreign member in the Informatics division. Academy members rarely include scholars who are residents in other regions of the world. Only nine from 3,000 members of the Informatics division are from the United States.
"The invitation by Academia Europaea honors Tom´s ground breaking research on automated program analysis, computer security, and model checking based on his work at University of Wisconsin and GrammaTech," stated fellow member of the academy, Prof. Dr. Dr. h.c. Reinhard Wilhelm of the Saarland University in Saarbrücken, Germany.
The Academy´s mission is to encourage the highest possible standards in scholarship, research, and education, while promoting interdisciplinary and international research in all areas of learning.

GrammaTech Selected by the U.S. Navy to Improve Software Security

(Ithaca, New York/USA, 19 August 2013)

GrammaTech has been selected by the U.S. Navy to develop a tool that will provide computer systems with the ability to understand and react to malicious attacks, and then continue running safely. In this project, GrammaTech researchers will use a combination of automatic program analysis and manual tuning techniques to develop a tool for creating a model of a system´s intended behavior, capturing its most important properties and determining what low level events must be tracked in order to observe the system´s critical behavior.
The development of this tool will provide security-critical systems with an extra layer of protection against attacks, including attacks that don´t involve unusual system call activity. The technology will be immediately useful to branches of the government, financial institutions, and any companies whose systems require strenuous security protection.