Tool specific news: Company
Testwell CMT++/CMTJava
Testwell CTC++
CodeSentry
CodeSonar
Imagix
Events/Seminars
ALL NEWS
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.
"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.
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.

GrammaTech Integrates Static Analysis with Eclipse Development Environment
(Ithaca, New York/USA, 23 April 2013)
The CodeSonar Eclipse plug-in is expected to be available late this summer. Customers with a current software maintenance contract will receive it at no additional charge.

GrammaTech Selected for More Than $8M in Research Contracts
(Ithaca, New York/USA, 22 April 2013)
In the past four months, GrammaTech submitted eight proposals, six of which have been selected for funding. The remaining two are still pending.
"These awards underscore the company´s continued success and the strength of our research team, which includes world-class experts in automated program analysis," said Tim Teitelbaum, GrammaTech´s CEO and Professor Emeritus in Cornell´s Computer Science Department. "We recently expanded our offices to include a branch in Madison, WI, and are aggressively growing our teams of talented computer scientists and software engineers in Ithaca, Madison, and New York City.".
The results of this research are tools used by software developers around the world to find critical bugs and security vulnerabilities in their code.

GrammaTech Announces Static Analysis Tool for Examining Binaries
Ithaca, New York/USA, 5 March 2013)

GrammaTech Announces Enhancements to CodeSonar Visualization
(Ithaca, New York/USA, 26 February 2013)
The call graph is organized by module structure. Users can drill down to see a greater level of detail, choose different layouts such as treemap, circuit, cluster, flow, radial and other layouts, and attach persistent notes to the diagram. Transitions such as zooming or layout changes are fluid and real-time. > further information