ITR: Static and Dynamic Tools for Software Design

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

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.