| 基于符号执行技术的网络程序漏洞检测系统 |
| 邓兆琨;陆余良;朱凯龙;黄晖; |
| 关键词：网络程序;漏洞检测;选择符号执行;状态同步;函数挂钩 |
| 主要内容：网络程序由运行在不同物理节点上的服务器端和客户端组成。与普通二进制程序不同,网络程序在运行过程中,其服务器端和客户端会进行实时的通信和数据传输,二者之间的交互过程会对彼此的程序运行产生影响,因此,仅对服务器端程序进行分析常会导致漏洞的漏报或 |
| 《计算机科学》 2018,45(S2):325-329 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号