基于抽象解释的单变量值范围分析

• 作者: 侯春燕 李静 王劲松
• 来源期刊: 高技术通讯
• 关键词: 抽象解释 区间抽象 单变量 上下文状态 静态分析
• 年，卷（期）: 2019,（10）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 961-968
• 页数: 8页
• 字数: 3529字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2019.10.003

摘要

针对传统基于抽象解释的变量值范围分析方法存在覆盖代码程度不高的问题,提出了一种新的描述单变量值区间方法.该方法采用找到数值型子程序的矛盾结点,全面考虑了不同的选择结构和循环结构的嵌套,并考虑了分析精度与效率的问题.以抽象解释理论作为分析框架,研究程序中各个变量的上下文状态,达到验证程序变量是否满足规范的目的.利用公开已有的变量值范围数据对变量值范围分析方法进行的验证表明,与现有的值范围分析方法相比,该方法由于更全面地考虑了不同的嵌套结构,因此取得了更好的结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王劲松	天津理工大学计算机科学与工程学院	35	218	9.0	13.0
2	侯春燕	天津理工大学计算机科学与工程学院	4	1	1.0	1.0
3	李静	天津理工大学计算机科学与工程学院	10	5	2.0	2.0