面向二进制程序的开源软件缺陷检测方法：技术演进与实践创新

一、引言

1.1研究背景与意义

在当今数字化时代，软件已深度融入社会生活的各个方面，成为推动科技进步和经济发展的关键力量。二进制程序作为软件的一种重要存在形式，是计算机能够直接执行的机器语言程序，它在底层硬件与上层应用之间起着桥梁作用。从操作系统到各类应用软件，从嵌入式设备到大型服务器系统，二进制程序无处不在，支撑着现代信息系统的稳定运行。例如，在智能交通系统中，二进制程序控制着交通信号灯的切换、车辆流量的监测与调度；在金融交易系统里，它确保着交易的准确执行、资金的安全流转。二进制程序的稳定性和安全性直接关系到整个系统的可靠性，一旦出