ITR: Static and Dynamic Tools for Software Design

项目编号：0086160题目：软件设计的静态和动态工具项目负责人：Monica Lam和Dawson engler本项目旨在开发一种新的编程方法，使程序员、编译器和运行时系统共同合作，以保持软件程序的完整性。提出的系统允许程序员在高抽象级别捕获应用级语义和感兴趣的不变量。尽管编译器作者已经开发了特定的工具来检测特定的常见编程错误，但该系统将允许程序员制定他们希望在程序中检查的正确性属性或安全标准。它将复杂的静态和动态分析的全部力量放在程序员手中，允许他们轻松地分析和操作程序。本研究的成功将对提高软件可靠性产生重大影响。本研究的预期结果包括(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.