轻量级静态分析器构造方法综述  

Overview on lightweight static analyzer construction methods

作　　者：郭荣锋[1] 金茂忠[1] 刘超[1] 

机构地区：[1]北京航空航天大学软件工程研究所,北京100083

出　　处：《计算机应用研究》2008年第8期2245-2249,共5页Application Research of Computers

基　　金：国家"863"计划资助项目(2006AA01Z176);国家"十一五"国防预研基金资助项目;国家自然科学基金资助项目(60573084)

摘　　要：由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。For the strong constraints on artifacts parsed and being difficult to be developed, that full static analyzer is limited in use practically. Lightweight analyzer is tolerant, flexible and easy to develop, which can solve the problems full static ana- lyzer encountering in application. This paper discussed two kinds of static analyzer and made a comparison between them, then introduced current lightweight static analyzer construction methods in detail. It analyzed those methods detailedly and pointed out existing problems. Finally, it outlined the future direction of the corresponding research.

关 键 词：静态分析 轻量级静态分析器 分等级正则表达式 模糊分析 孤立文法 超集文法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]