ITR: Static and Dynamic Tools for Software Design

ITR：软件设计的静态和动态工具

• 批准号: 0086160
• 负责人: Monica Lam
• 金额: $ 100.34万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2004-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0086160&HistoricalAwards=false
• 关键词: ITR; Static; Dynamic; Tools; Software

Proposal Number: 0086160Title: Static and Dynamic Tools for Software DesignPIs: Monica Lam and Dawson EnglerThis project aims to develop a new programming methodology whereby theprogrammer, the compiler and the runtime system all cooperate inmaintaining the integrity of a software program. The proposed systemallows programmers to capture application-level semantics andinvariants of interest at a high abstract level. Whereas specifictools have been developed by compiler writers to detect specificcommon programming errors, this system will allow programmers toformulate the correctness property or safety criterion that they wishto check in their programs. It places the full power of sophisticatedstatic and dynamic analyses in programmers' hands, allowing them toanalyze and manipulate the program at ease. Success of this reserachwill have a significant impact on improving software reliability.Expected results of this research include (1) a high-level interfacewith which the programmers communicate information to the system, (2)technology for creating new application-specific program analysis, (3)deep program analysis techniques such as pointer alias analysis andpath-sensitive analysis to improve the precision of the staticchecker, and (4) new ways to combine static and dynamic analysis tolocate violations of the stated properties in the code. A prototypesystem will be developed and tested on general-purpose codes such asopen-source operating systems, compilers and browsers as well asembedded systems such as routers and telephone switches.

提案编号：0086160 标题：软件设计的静态和动态工具 PI：Monica Lam 和 Dawson Engler 该项目旨在开发一种新的编程方法，让程序员、编译器和运行时系统共同协作，维护软件程序的完整性。 所提出的系统允许程序员在高抽象级别捕获应用程序级语义和感兴趣的不变量。尽管编译器编写者已经开发了特定的工具来检测特定的常见编程错误，但该系统将允许程序员制定他们希望在程序中检查的正确性属性或安全标准。 它将复杂的静态和动态分析的全部功能交给程序员，使他们能够轻松地分析和操作程序。 这项研究的成功将对提高软件可靠性产生重大影响。这项研究的预期结果包括（1）程序员与系统交流信息的高级接口，（2）创建新的特定应用程序分析的技术，（3）深度程序分析技术，如指针别名分析和路径敏感分析，以提高静态检查器的精度，以及（4）结合静态和动态分析来定位违规的新方法 代码中规定的属性。 原型系统将在通用代码（例如开源操作系统、编译器和浏览器）以及嵌入式系统（例如路由器和电话交换机）上进行开发和测试。