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 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。