高效而精确的锁别名分析方法

摘要：

锁别名分析能够得到锁指针变量的指向信息,有效的锁别名分析可以更好地辅助数据竞争分析和死锁分析.现有锁别名分析往往采用保守的方式处理,进而影响分析结果的准确性.针对这一问题,提出了一种锁别名分析方法,该方法首先使用GCC插件获取SSA形式的中间代码,然后对中间代码进行预处理以获得与锁、函数指针操作相关的语句,最后对预处理后的程序使用本文提出的FP_LOCK算法进行准确的流敏感、上下文敏感分析.实验结果表明该方法能精确地确定锁别名,并且经过预处理后的FP_LOCK算法对分析大程序平均有9.95倍的加速比.

关键词：锁别名分析、SSA、中间代码、FP_LOCK、流敏感、上下文敏感

所属期刊栏目：25

分类号：TP3;G43

资助基金：安徽省自然科学基金1408085MKL06;高等学校学科创新引智计划B07033

在线出版日期：2016-08-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：212-218