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

• 作者: 杜云开 陈露 顾乃杰 黄理
• 来源期刊: 计算机系统应用
• 关键词: 锁别名分析 SSA 中间代码 FP_LOCK 流敏感 上下文敏感
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 软件技术·算法
• 页码范围: 212-218
• 页数: 7页
• 字数: 6604字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾乃杰	中国科学技术大学安徽省计算与通信软件重点实验室	83	347	9.0	12.0
2	陈露	中国科学技术大学计算机科学与技术学院	6	17	3.0	4.0
3	黄理	中国科学技术大学先进技术研究院	3	6	1.0	2.0
4	杜云开	中国科学技术大学计算机科学与技术学院	4	2	1.0	1.0