价值工程
價值工程
개치공정
VALUE ENGINEERING
2014年
29期
217-219,220
,共4页
李金诺%陆育锋%汤云杰%张开元
李金諾%陸育鋒%湯雲傑%張開元
리금낙%륙육봉%탕운걸%장개원
静态分析%基于约束的分析%控制流分析%不动点算法
靜態分析%基于約束的分析%控製流分析%不動點算法
정태분석%기우약속적분석%공제류분석%불동점산법
static analysis%constraint-based analysis%control flow analysis%Worklist
很多静态代码分析的方法都以控制流图作为基础,本文采用一种加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最小解并生成控制流图,比0-CFA,加入数据流的约束分析更精确地约减不可达分支,生成较少冗余的控制流图。以本文生成的控制流图作为静态代码分析方法的基础,可以提高静态代码分析的效率,降低误报率。
很多靜態代碼分析的方法都以控製流圖作為基礎,本文採用一種加入上下文的基于約束的分析技術k-CFA併使用不動點算法求齣約束集的最小解併生成控製流圖,比0-CFA,加入數據流的約束分析更精確地約減不可達分支,生成較少冗餘的控製流圖。以本文生成的控製流圖作為靜態代碼分析方法的基礎,可以提高靜態代碼分析的效率,降低誤報率。
흔다정태대마분석적방법도이공제류도작위기출,본문채용일충가입상하문적기우약속적분석기술k-CFA병사용불동점산법구출약속집적최소해병생성공제류도,비0-CFA,가입수거류적약속분석경정학지약감불가체분지,생성교소용여적공제류도。이본문생성적공제류도작위정태대마분석방법적기출,가이제고정태대마분석적효솔,강저오보솔。
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.