From 1998 to 2002, the foundational technology for the Synopsys suite of software testing solutions was developed by a group of Ph.D. students and researchers in the Computer Systems Laboratory at Stanford University in Palo Alto, California. In 2003, soon after releasing the first system capable of detecting thousands of critical defects in open source projects, the inventors were granted a patent for their fundamentally different way of analyzing complex source code, the software was released for commercial use and the team formed what is now Synopsys, Inc.
While static analysis is a long-standing technology with roots in academic research, it has only recently gained significant traction in industry. With today’s software systems reaching tens of millions of lines of code, technologies that help automate the detection of defects have become an increasingly vital part of software development. We believe that students and researchers would benefit from exposure to this technology in an academic setting. The Synopsys Academic Program is therefore designed to grant universities the opportunity to access our leading static analysis product for the purpose of developing and testing software code–either as part of a classroom setting or as part of non-profit academic research.
Today, 26 of the world’s leading universities use Coverity Quality Advisor in their academic and research programs, including: