基于符号约束集的条件表达式数据流分析 |
| |
引用本文: | 董玉坤.基于符号约束集的条件表达式数据流分析[J].科学技术与工程,2018(7). |
| |
作者姓名: | 董玉坤 |
| |
作者单位: | 中国石油大学(华东)计算机与通信工程学院; |
| |
摘 要: | C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。
|
本文献已被 CNKI 等数据库收录! |
|