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