-
题名基于轻量级分析的程序静态分析器
- 1
-
-
作者
赖松凤
古辉
叶会华
-
机构
浙江工业大学信息工程学院
-
出处
《浙江工业大学学报》
CAS
2007年第6期662-665,共4页
-
文摘
在现代软件工程中,程序理解技术是实现对软件系统分析和理解的一种关键技术和有效途径.国内外学者为此做出了不懈的努力,开发了不少的理解工具.在分析现有工具的基础上,设计了一个基于轻量级分析的程序静态分析器,采用增量式分析技术,快速分析源程序文件得到交叉索引信息,改善了程序分析时间.
-
关键词
程序理解
软件维护
增量式分析
轻量级分析
-
Keywords
program understanding
software maintenance
incremental analysis
lightweight
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名轻量级静态分析器构造方法综述
被引量：3
- 2
-
-
作者
郭荣锋
金茂忠
刘超
-
机构
北京航空航天大学软件工程研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2008年第8期2245-2249,共5页
-
基金
国家"863"计划资助项目(2006AA01Z176)
国家"十一五"国防预研基金资助项目
国家自然科学基金资助项目(60573084)
-
文摘
由于对分析对象有严格的限制且开发难度大,传统的重量级静态分析器在应用中受到限制;轻量级静态分析器具有易于开发、容错性好、灵活等特点,能有效解决重量级静态分析器在应用中遇到的问题。首先分析比较了两种静态分析器,详细介绍了已有的轻量级静态分析器构造方法;分析了已有方法的优缺点,并指出现存的问题;最后展望了本领域研究的发展趋势。
-
关键词
静态分析
轻量级静态分析器
分等级正则表达式
模糊分析
孤立文法
超集文法
-
Keywords
static analysis
lightweight static analyzer
hierarchical regular expression
fuzzy parsing
island grammar
su-perset grammar
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
