计算机与现代化
計算機與現代化
계산궤여현대화
COMPUTER AND MODERNIZATION
2013年
10期
55-61
,共7页
静态分析%基于约束的分析%控制流分析%不动点算法
靜態分析%基于約束的分析%控製流分析%不動點算法
정태분석%기우약속적분석%공제류분석%불동점산법
static analysis%constraint-based analysis%control flow analysis%fixed-point algorithm
很多静态代码分析的方法都以控制流图作为基础,本文采用一种基于约束的分析技术,包括基于约束的0-CFA,加入数据流的分析方法构造约束集,使用不动点算法求出约束集的最小解并生成控制流图,可以约减不可达分支,生成较少冗余的控制流图.以本文生成的控制流图作为静态代码分析方法的基础,可以提高静态代码分析的效率,降低误报率.
很多靜態代碼分析的方法都以控製流圖作為基礎,本文採用一種基于約束的分析技術,包括基于約束的0-CFA,加入數據流的分析方法構造約束集,使用不動點算法求齣約束集的最小解併生成控製流圖,可以約減不可達分支,生成較少冗餘的控製流圖.以本文生成的控製流圖作為靜態代碼分析方法的基礎,可以提高靜態代碼分析的效率,降低誤報率.
흔다정태대마분석적방법도이공제류도작위기출,본문채용일충기우약속적분석기술,포괄기우약속적0-CFA,가입수거류적분석방법구조약속집,사용불동점산법구출약속집적최소해병생성공제류도,가이약감불가체분지,생성교소용여적공제류도.이본문생성적공제류도작위정태대마분석방법적기출,가이제고정태대마분석적효솔,강저오보솔.