基于符号约束集的条件表达式数据流分析

• 作者: 董玉坤
• 来源期刊: 科学技术与工程
• 学科: 工学
• 关键词: 条件表达式 数据流分析 抽象内存模型 区间运算 符号约束集
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 172-178
• 页数: 7页
• 分类号: TP311.5
• 字数: 6996字
• 语种: 中文

摘要

C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析.为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法.首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值.通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式.