| 程序的分层静态分析模型HSAM |
| |
| 引用本文： | 李琴,曾凡平,王立民.程序的分层静态分析模型HSAM[J].信息安全与通信保密,2007(2):73-74. |
| |
| 作者姓名： | 李琴 曾凡平 王立民 |
| |
| 作者单位： | 中国科学技术大学计算机科学技术系,安徽,合肥,230026 |
| |
| 摘 要： | 论文阐述了程序的一种分层静态分析的模型(HSAM)。在一定的分析精度的要求下,该模型采用一种分层分析的思想:先从整体的角度对程序进行模块结构分析;然后在模块内部进行控制流的分析;最后进行数据流分析。论文提出的逆序path更新算法对于控制流的分析非常有效。
|
| 关 键 词： | 静态分析 控制流 逆序path更新算法 |
| 文章编号： | 1009-8054(2007)02-0073-02 |
| 修稿时间： | 2006年8月9日 |
Hierarchical Static Analysis Model |
| |
| LI Qin,ZENG Fanping,WANG Limin.Hierarchical Static Analysis Model[J].China Information Security,2007(2):73-74. |
| |
| Authors: | LI Qin ZENG Fanping WANG Limin |
| |
| Abstract: | In this paper, we present a Hierarchical Static Analysis Model to analyze the program. Under some required precision, the model uses a hierarchical idea to go on its analysis. Firstly, it analyzes the modular structure of the whole program. Then, it analyzes the flow of control. Lastly, it analyzes the flow of data. The algorithm of reversed update of path presented here is very effective to analyze the flow of control. |
| |
| Keywords: | HSAM |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
