程序的分层静态分析模型HSAM

• 作者: 曾凡平 李琴 王立民
• 来源期刊: 信息安全与通信保密
• 学科: 工学
• 关键词: HSAM 静态分析 控制流 逆序path更新算法
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 学术研究
• 页码范围: 73-74,77
• 页数: 3页
• 分类号: TP3
• 字数: 2541字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-8054.2007.02.031

摘要

论文阐述了程序的一种分层静态分析的模型(HSAM).在一定的分析精度的要求下,该模型采用一种分层分析的思想:先从整体的角度对程序进行模块结构分析;然后在模块内部进行控制流的分析;最后进行数据流分析.论文提出的逆序path更新算法对于控制流的分析非常有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立民	中国科学技术大学计算机科学技术系	28	115	6.0	9.0
2	曾凡平	中国科学技术大学计算机科学技术系	47	334	9.0	16.0
3	李琴	中国科学技术大学计算机科学技术系	12	158	6.0	12.0