高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[会议论文]
基于SMT求解器的整数溢出检测研究
作者：
摘要：
SMT求解器作为程序自动分析的组件,被越来越多的应用在安全漏洞研究领域.本文通过对整数安全问题和SMT求解器的分析,深入研究使用SMT求解器判断整数安全漏洞的方法.本文对目前已有的13种不同求解器特征进行了分析和总结,并针对整数溢出安全问题,重点对几种常用的SMT求解器(如Boolector、Z3、STP)的检测思路进行深入剖析.在此基础上,本文针对不直接支持整数溢出检测的SMT求解器STP,设计开发了一套相关检测接口。
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2013，第一届开源操作系统设计与分析学术会议
2021，邓鹏
2005，科技开发动态
2020，测控技术
来源 ：
年份： 2014
页码： 313-324
语种： 中文
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 1
中文被引频次：
近30日浏览量： 4
归属院系：
信息学部 计算机学院
全文获取
外部链接：
