一种需求驱动的可信指针分析技术  

A DEMAND-DRIVEN TRUSTWORTHY POINTER ANALYSIS APPROACH

作　　者：章洁[1] 周西柳[1] 

机构地区：[1]新余学院数学与计算机科学学院,江西新余338004

出　　处：《计算机应用与软件》2013年第1期160-164,共5页Computer Applications and Software

摘　　要：针对现有可信指针分析技术中关于精度和效率之间的取舍和权衡的不足,提出一种需求驱动的可信指针分析技术。该技术通过扩展SSA形式,使SSA可以用来表示间接的内存操作,即可以显式地将指针的解引用表示出来;之后利用引用定值分析将每个扩展SSA变量进行抽象存储,即记录每个变量的存储位置和引用位置,然后通过链进行连接;这样能够很容易地将指针,特别是需要分析的指针进行重点的有针对性的分析,这种本着需求驱动策略的分析方法大大提高分析的效率,最后通过实验验证了该方法的有效性。Aiming at the shortage of existing trustworthy pointer analysis technologies in trade-offs between the accuracy and the efficiency, we propose a demand-driven trustworthy pointer analysis approach. By extending the SSA form, it enables the SSA to be used to indicate the indirect memory operations, that is, it is able to explicitly express the dereference of the pointer; then it utilises the use-define analysis technology to abstractly store each extended SSA variable, i. e. , to record the storage location and the reference position of each variable, and then makes connection through the chain. In this way it is easy to make elaborated and targeted analysis on the pointer, especially the pointer needed to be analysed. Such demand-driven analysis method greatly improves the efficiency of analysis, and in the end of the paper we verify the effectiveness of the method by experiment.

关 键 词：可信指针分析 控制流分析 数据流分析 静态单赋值 需求驱动 

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