静态分析学术计划

从1998年到2002年,Synopsys的软件套件的测试解决方案的基础技术是由一群博士的开发manbet万博官网学生和研究人员在计算机系统实验室在帕洛阿尔托,加利福尼亚州斯坦福大学。2003年,释放出能够检测成千上万的开源项目关键缺陷的第一个系统后不久,发明被授予专利权他们根本不同的分析复杂的源代码的方式,软件发布后用于商业用途,并形成球队带来什么 is now Synopsys, Inc.

虽然静态分析是与学术研究根基的长期技术,它只是在最近才获得了行业显著的牵引力。在今天的软件系统达到了数千万行代码,技术,帮助自动化的缺陷检测已经成为软件开发的一个日益重要的组成部分。我们认为,学生和研究人员将从中受益曝光这一技术在学术环境。因此,新manbet万博官网思科技学术计划旨在给予大学的机会,访问我们leading static analysis product用于开发和测试软件的目的码,无论是作为一个教室里或作为非营利性的学术研究的一部分组成部分。

How to apply or renew

Send an email tosoftware-integrity-academicprogram@synopsys.comand include the following information:

  • Requestor's name
  • User's name
  • Is this a new application or renewal?
  • Is this for classroom use or research use?

一些在他们的学术和研究项目使用Coverity的静态分析的大学:

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