SI2-SSI: Collaborative Research: A Sustainable Infrastructure for Performance, Security, and Correctness Tools

软件已经成为社会不可或缺的一部分，被计算科学家用于科学和工程，被分析师用于挖掘大数据的价值，并通过互联网连接社会。然而，如果不考虑用于组成算法和数据结构模板的优化编译器以及仅以二进制形式可用的库所应用的代码转换，则无法理解用于任何这些目的的软件系统的属性。为了满足这一需求，该项目将全面检查、集成和增强静态二进制分析和运行时技术，以生成为性能、正确性和安全工具提供基础的组件。该项目将建立在三个成功和广泛采用的开放源码软件包之上：用于分析和转换应用程序二进制文件的DynInst库、用于控制大规模并行执行及其结果数据分析的MRNet基础设施以及HPCToolkit性能分析工具。项目小组将让社区参与设计和评价新出现的组成部分，并采纳其组成部分。该项目将产生广泛的影响。首先，由项目构建的软件组件将使项目团队以及学术界、政府和工业界的其他人能够开发复杂、高质量的最终用户性能、正确性和安全性工具。该项目团队开发的软件将帮助研究人员和开发人员解决各种规模系统的测试、调试、监控、分析和应用程序调优问题。其次，该项目产生的最终用户工具在课堂上有一个自然的地方，以帮助学生编写高效，正确和安全的程序。第三，该项目生产的组件将降低新研究人员进入该领域的门槛，并在无需多年投资的情况下构建对生产应用产生影响的工具。第四，该项目将为研究生和实习生提供软件性能、正确性和安全性方面的培训。最后，该项目将通过讲习班和辅导，传播项目成果，提供培训，使其他人能够利用项目软件，并发展一个依赖于项目组件的工具研究人员社区，从而有强烈的动机来帮助维持项目软件的未来。用于二进制分析的源软件组件和工具将使得能够在可执行机器代码的级别上对应用特性进行静态分析，转换二进制注入监控代码，测量捕获应用程序的详细记录？与目标平台所有方面的交互，并行分析记录的数据，以及以有意义的方式将分析结果归因于应用程序源代码。提供创新的软件组件，支持开发强大的性能，正确性和安全性工具，将加速工具研究人员的创新，并帮助他们应对现代软件日益复杂的问题。特别值得注意的是，帮助工具研究人员和计算科学家应对现代并行系统软件的挑战，并制作帮助人们使用此软件的培训材料，解决了NSF世纪网络基础设施愿景中确定的几个需求。

Software has become indispensable to society, used by computational scientists for science and engineering, by analysts mining big data for value, and to connect society over the Internet. However, the properties of software systems for any of these purposes cannot be understood without accounting for code transformations applied by optimizing compilers used to compose algorithm and data structure templates, and libraries available only in binary form. To address this need, this project will overhaul, integrate, and enhance static binary analysis and runtime technologies to produce components that provide a foundation for performance, correctness, and security tools. The project will build upon three successful and widely adopted open source software packages: the DynInst library for analysis and transformation of application binaries, the MRNet infrastructure for control of large-scale parallel executions and data analysis of their results, and the HPCToolkit performance analysis tools. The project team will engage the community to participate in the design and evaluation of the emerging components, as well as to adopt its components. This project will have a wide range of impacts. First, software components built by the project will enable the development of sophisticated, high-quality, end-user performance, correctness, and security tools built by the project team, as well as others in academia, government, and industry. Software developed by the project team will help researchers and developers tackle testing, debugging, monitoring, analysis, and tuning of applications for systems at all scales. Second, end-user tools produced by the project have a natural place in the classroom to help students write efficient, correct, and secure programs. Third, components produced by the project will lower the barrier for new researchers to enter the field and build tools that have impact on production applications without years of investment. Fourth, the project will provide training for graduate students and interns in the area of software for performance, correctness, and security. Finally, through workshops and tutorials, the project will disseminate project results, provide training to enable others to leverage project software, and grow a community of tool researchers who depend on project components and thus have a strong motivation to help sustain project software into the future.Modernizing open-source software components and tools for binary analysis will enable static analysis of application characteristics at the level of executable machine code, transformation of binaries to inject monitoring code, measurement to capture a detailed record of application?s interactions with all facets of a target platform, analysis of recorded data in parallel, and attribution of analysis results back to application source code in meaningful ways. Providing innovative, software components that support development of robust performance, correctness, and security tools will accelerate innovation by tools researchers and help them grapple with the increasing complexity of modern software. Of particular note, helping tools researchers and computational scientists grapple with the challenges of software for modern parallel systems and producing training materials that help people use this software, addresses several of the needs identified in the NSF Vision for Cyberinfrastructure for the 21st Century.