Static Analysis Academic Program

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.

Some of the universities using Coverity Static Analysis in their academic and research programs:

University of California Berkeley
University of Alabama in Huntsville
Stanford University
University of Virginia
The University of New South Wales
University of Oxford