Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks

协作研究：SHF：媒介：学习代码语义以自动化软件保障任务

• 批准号: 2313055
• 负责人: Baishakhi Ray
• 金额: $ 66.6万
• 依托单位: Columbia University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-10-01 至 2027-09-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2313055&HistoricalAwards=false
• 关键词: Collaborative; Research; SHF; Medium; Learning

Deep learning has demonstrated great potential for accomplishing software engineering tasks. However, its capabilities are limited for challenging yet very important software assurance tasks such as bug detection, debugging, test input generation, and test suite prioritization. These tasks are hard to formulate into a learning problem. A major part of the difficulty is that these complex tasks require modeling of program semantics.  To the best of our knowledge, even state-of-the-art deep learning models have an insufficient understanding of program semantics. As a result, the models fail to achieve sufficient precision and recall to be more widely deployed. The tools do not generalize well to unseen projects and are not robust to small perturbations in source code. It also takes large amounts of computational resources and data to train the models. In this project, the team of researchers aims to improve the performance, robustness, generalizability and efficiency of deep learning models for software assurance and to enable deep learning for complex tasks that have not yet successfully used deep learning. Solutions will target encoding program semantics into the program representation by combining program analysis, software engineering, and deep learning expertise to develop novel formulations to effectively reduce software assurance problems via deep learning. The project has three research thrusts: To learn with abstract semantics, the project will study how to combine static analysis algorithms and the results from static analysis with deep learning models. To learn with concrete semantics, the project will study how to use program execution traces to guide deep learning. Finally, the project will investigate how to identify spurious features used by the current models and then apply causal learning to discourage models that have spurious features.  Research results, datasets, and tools will be disseminated to the research community, and workshops will be organized to strengthen the research community of deep learning for code.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

深度学习已经证明了完成软件工程任务的巨大潜力。然而，它的能力是有限的挑战，但非常重要的软件保证任务，如错误检测，调试，测试输入生成，测试套件优先级。这些任务很难形成一个学习问题。困难的一个主要部分是这些复杂的任务需要对程序语义进行建模。据我们所知，即使是最先进的深度学习模型对程序语义的理解也不够。因此，这些模型无法达到足够的精确度和召回率，无法更广泛地部署。这些工具不能很好地推广到看不见的项目，对源代码中的小扰动也不健壮。在该项目中，研究团队的目标是提高深度学习模型的性能、鲁棒性、可推广性和效率，以实现软件保证，并为尚未成功使用深度学习的复杂任务提供深度学习。 解决方案将通过结合程序分析、软件工程和深度学习专业知识，将程序语义编码到程序表示中，以开发新的公式，通过深度学习有效减少软件保证问题。该项目有三个研究重点：为了使用抽象语义进行学习，该项目将研究如何将静态分析算法和静态分析结果与深度学习模型相结合。为了学习具体的语义，该项目将研究如何使用程序执行痕迹来指导深度学习。最后，该项目将研究如何识别当前模型使用的虚假特征，然后应用因果学习来阻止具有虚假特征的模型。研究结果，数据集和工具将传播给研究社区，该奖项反映了NSF的法定使命，并被认为值得通过以下方式获得支持：使用基金会的知识价值和更广泛的影响审查标准进行评估。