| 李静,侯春燕,王劲松.基于抽象解释的单变量值范围分析[J].高技术通讯(中文),2019,29(10):961~968 |
| 基于抽象解释的单变量值范围分析 |
| Value range analysis of single variable based on abstract interpretation |
| |
| DOI：10.3772/j.issn.1002-0470.2019.10.003 |
| 中文关键词: 抽象解释； 区间抽象； 单变量； 上下文状态； 静态分析 |
| 英文关键词: abstract interpretation, interval abstraction, single variable, context state, static analysis |
| 基金项目: |
|
| 摘要点击次数: 3331 |
| 全文下载次数: 1768 |
| 中文摘要: |
| 针对传统基于抽象解释的变量值范围分析方法存在覆盖代码程度不高的问题，提出了一种新的描述单变量值区间方法。该方法采用找到数值型子程序的矛盾结点，全面考虑了不同的选择结构和循环结构的嵌套，并考虑了分析精度与效率的问题。以抽象解释理论作为分析框架，研究程序中各个变量的上下文状态，达到验证程序变量是否满足规范的目的。利用公开已有的变量值范围数据对变量值范围分析方法进行的验证表明，与现有的值范围分析方法相比，该方法由于更全面地考虑了不同的嵌套结构，因此取得了更好的结果。 |
| 英文摘要: |
| Aiming at the problem of low code coverage in traditional variable value range analysis method based on abstract interpretation, a new method for describing single variable value range is proposed. In this method, the contradictory nodes of numerical subroutines are found, the nesting of different selection structures and cyclic structures is considered comprehensively, and the accuracy and efficiency of the analysis are also considered. The abstract interpretation theory is used as the analysis framework to study the contextual state of each variable in the program, so as to verify whether the program variables satisfy the specifications. The validation of the variable range analysis method by using published data shows that compared with the existing value range analysis method, this method has better results because it considers different nesting structures more comprehensively. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
