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

摘要：

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

关键词：条件表达式、数据流分析、抽象内存模型、区间运算、符号约束集

所属期刊栏目：18

分类号：TP311.5(计算技术、计算机技术)

资助基金：山东省自然科学基金BS2015DX017

在线出版日期：2018-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：172-178