On February 24, KAIST and Coverity signed the ‘Static Analysis Software Memorandum of Understanding (MOU)’ at KAIST’s Computer Science building. The university's Computer Science Department Head Professor Key-Sun Choi, Coverity’s Chief Technology Officer Andy Chow, and other officers attended the ceremony. Coverity, which was founded in 2003, is the leader in software integrity. It has helped customers prevent software problems throughout the application lifecycle. Over 100,000 developers and 600 companies including ARM, Phillips, RIM, Rockwell Collins, Samsung and UBS depend on Coverity to ensure the delivery of their software. It is the “trusted standard for companies that have a zero tolerance policy for software failures, problems, and security breaches.”
Coverity Integrity Manager, the intuitive user interface for Coverity Static Analysis, helps developers and development managers detect defects in their codes, understand these defects and thereby increase the developers’ productivity. Through the MOU, the Coverity Integrity Manager will be applied to KAIST’s research and education. This integration is expected to reduce the risk of product quality issues in software development and education at KAIST.
Worldwide, Stanford University, Carnegie Mellon University and the University of California, Berkeley have all signed MOUs with Coverity. KAIST is the first institute in Asia to do so.
After the ceremony, Andy Chow, who is responsible for advancing source code analysis technology, held a one-hour-long seminar titled “A Few Billions of Lines of Code Later: Using Static Analysis to Find Bugs in the Real World” for KAIST researchers and students. In this speech, Chow addressed an overview of the technical, social, and organizational challenges in expanding static analysis. In addition, he shared his experience with deploying static analysis in diverse areas including mobile devices, aerospace, consumer electronics, telecommunications, data storage, PC software, medical devices, industrial automation and gaming.
During the talk, Rich Cerruto, Director of Sales, Asia Pacific, asserted Coverity software’s influence in Asia, stating Samsung Electronics and LG Electronics as examples of companies that use the Coverity software. He said, “I hope the MOU can give students an opportunity to understand the importance of product quality in software development.”