|
|||||
|
|
| 一种基于上下文的精简控制流图方法的研究 | |
| 引用本文： | 李金诺,陆育锋,汤云杰,张开元.一种基于上下文的精简控制流图方法的研究[J].价值工程,2014(29):217-220. |
| 作者姓名： | 李金诺 陆育锋 汤云杰 张开元 |
| 作者单位： | 1. 中国石油勘探开发研究院西北分院,兰州,730050 2. 北京清华长庚医院信息管理处,北京,102218 3. 西安交通大学，西安710049; 西安电子科技大学，西安710071 |
| 摘 要： | 很多静态代码分析的方法都以控制流图作为基础,本文采用一种加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最小解并生成控制流图,比0-CFA,加入数据流的约束分析更精确地约减不可达分支,生成较少冗余的控制流图。以本文生成的控制流图作为静态代码分析方法的基础,可以提高静态代码分析的效率,降低误报率。 |
| 关 键 词： | 静态分析 基于约束的分析 控制流分析 不动点算法 |
A Constraint-based Analysis with Context to Simplify Control Flow Graph |
|
| LI Jin-nuo,LU Yu-feng,TANG Yun-jie,ZHANG Kai-yuan.A Constraint-based Analysis with Context to Simplify Control Flow Graph[J].Value Engineering,2014(29):217-220. | |
| Authors: | LI Jin-nuo LU Yu-feng TANG Yun-jie ZHANG Kai-yuan |
| Institution: | LI Jin-nuo, LU Yu-feng, TANG Yun-jie, ZHANG Kai-yuan (1Research Institute of Petroleum Exploration ＆ Development-Northwest(NWGI) PetroChina, Lanzhou 730050, China ;2Information Management Department of Beijing TsingHua ChangGung Hospital, Beijing 102218, China; 3Xi＇an Jiaotong University, Xi＇an 710049, China ;4Xidian University, Xi＇an 710071, China ) |
| Abstract: | As a basis for a lot of static code analysis methods to control flow graph, this paper adopts a adding context analysis technique based on k-CFA constraints and uses the fixed point algorithm to calculate the minimum set of constraints and generates a control flow graph. This method is better than 0-CFA, adding constraint stream data analysis, which is more accurate reduction unreachable branches, generating less redundant control flow graph. The control flow graph generated in this article as the basis of the static code analysis methods to improve the efficiency of static code analysis can be improved to reduce the rate of false positives. |
| Keywords: | static analysis constraint-based analysis control flow analysis Worklist |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |