GrammaTech (News - Alert), Inc., a spinoff of the Cornell University has been contributing program-analysis technology back to the research community. The manufacturer of software-analysis tools is now expanding its academic program to include the company's flagship product, CodeSonar, which claims to be a sophisticated static-analysis tool that can be used in academic research and teaching.
CodeSonar is the result of years of continuous academic research and development and reportedly is far superior to any other source code analysis tool.
Static analysis tools are very useful to improve software quality, computer forensics, explore new debugging approaches and apply statistical learning techniques to software engineering. These tools provide an additional layer of protection during software development and also help identify complex programming bugs during run-time.
Fifteen PhD-level experts in static analysis and a superb engineering team are all focused on creating the most innovative and in-depth analysis algorithms.
GrammaTech's static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies and the Software Engineering Institute, National Institute of Standards and Technology, FDA, while many other influential organizations are encouraging the use of static analysis to improve software quality and security.
“Students will be able to use the same technology that has been used on a wide variety of mission-critical projects, including the Mars Curiosity Rover," said Mark Zarins (News - Alert), vice president of marketing at GrammaTech. "Faculty can also use the technology in their research projects."
This academic program helps university faculty incorporate hands-on experience with static analysis.
It also includes projects from many leading universities and institutions and the company also actively collaborates on research projects.
GrammaTech's contributions to ensuring the reliability of critical software at NASA were recently highlighted in the 2011 issue of NASA Spinoff magazine. The article, 'Tools Ensure Reliability of Critical Software,' discusses the partnership between NASA's Jet Propulsion Laboratory and GrammaTech in adapting CodeSonar, GrammaTech's existing software analysis tool, to include verification of The Power of 10: Rules for Developing Safety Critical Code.
Edited by Carlos Olivera