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

Hierarchical Static Analysis Model

作　　者：李琴[1] 曾凡平[1] 王立民[1] 

机构地区：[1]中国科学技术大学计算机科学技术系,安徽合肥230026

出　　处：《信息安全与通信保密》2007年第2期73-74,77,共3页Information Security and Communications Privacy

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

关 键 词：HSAM 静态分析 控制流 逆序path更新算法 

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