Jump to content
From 1998 to 2002, the foundational technology for Coverity's expanding platform of development testing products 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, and the software was released for commercial use, forming what is now Coverity, Inc.
While static analysis is a longstanding technology with roots in academic research, it only recently has it 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 industrial software development. We believe that students and researchers would benefit from exposure to this technology in an academic setting. Coverity's 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® Static Analysis in their academic and research programs, including:
View our Frequently Asked Questions page for more information, eligibility requirements, and product and license options.