贝叶斯程序分析.pdfVIP

第4期电子学报Vol.52No.4

2024年4月ACTAELECTRONICASINICAApr.2024

贝叶斯程序分析

1，21，21，21，21，21，21，2*

张昕，王冠成，吴宜谦，陈逸凡，李天驰，张羿凡，熊英飞

（1.高可信软件技术教育部重点实验室（北京大学），北京100871；2.北京大学计算机学院，北京100871）

摘要：程序分析在软件开发和维护中发挥着关键作用.然而，传统基于逻辑的程序分析方法在处理现代复

杂、大规模和动态特性丰富的软件系统时往往效果有限，其根源在于软件系统中的不确定性.研究人员针对具体的程

序分析问题提出了一系列新的技术，其特征是在传统逻辑分析的基础上结合概率信息来捕获软件系统中的不确定

性.通过总结和抽象这些已有工作，本文提出了贝叶斯程序分析框架，其核心思想是结合程序分析和贝叶斯统计推

断，通过建模和更新关于程序的概率分布来推断有关程序行为的信息.贝叶斯程序分析采用概率逻辑编程来同时处

理概率信息和逻辑信息，用统一的方式捕获了现有的多项不同工作，也能泛化到程序缺陷定位和差异调试等非传统程

序静态分析任务上.本文给出了贝叶斯程序分析框架的定义，展示了该框架在程序分析和相关领域的应用，并展望了

未来发展方向.

关键词：程序分析；逻辑编程；概率逻辑编程；贝叶斯网络；贝叶斯推断

基金项目：国家重点研发计划（No.2022YFB4501902）；国家自然科学基金（No）

中图分类号：TP312文献标识码：A文章编号：0372-2112(2024)04-1155-18

电子学报URL:http://www.DOI:10.12263/DZXB

BayesianProgramAnalysis

ZHANGXin1,2,WANGGuan-cheng1,2,WUYi-qian1,2,CHENYi-fan1,2,LITian-chi1,2,

ZHANGYi-fan1,2,XIONGYing-fei1,2*

（1.KeyLaboratoryofHighConfidenceSoftwareTechnologies（PekingUniversity），MinistryofEducation，Beijing100871，China;

2.SchoolofComputerScience，PekingUniversity，Beijing100871，China）

Abstract:Programanalysisplaysacriticalroleinsoftwaredevelopmentandmaintenance.However,traditionallog⁃

ic-basedprogramanalysismethodsexhibitsignificantlimitationswhendealingwithmodern,complex,