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

被引:2
作者
郭荣锋
金茂忠
刘超
机构
[1] 北京航空航天大学软件工程研究所
关键词
静态分析; 轻量级静态分析器; 分等级正则表达式; 模糊分析; 孤立文法; 超集文法;
D O I
暂无
中图分类号
TP311.52 [];
学科分类号
081202 ; 0835 ;
摘要
由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。
引用
收藏
页码:2245 / 2249
页数:5
相关论文
共 4 条
[1]  
实用软件工程[M]. 科学技术文献出版社重庆分社 , 郑人杰编著, 1990
[2]  
Lightweight lexical source model extraction[J] . Gail C. Murphy,David Notkin. ACM Transactions on Software Engineering and Methodology (TOSEM) . 1996 (3)
[3]   THE SYNTAX DEFINITION FORMALISM SDF - REFERENCE MANUAL [J].
HEERING, J ;
HENDRIKS, PRH ;
KLINT, P ;
REKERS, J .
SIGPLAN NOTICES, 1989, 24 (11) :43-75
[4]  
GCC .2 http://gcc.gnu.org .