路径敏感的跨过程别名分析的设计与实现
作者单位:西安电子科技大学
学位级别:硕士
导师姓名:刘坚
授予年度:2011年
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:跨过程别名分析 路径敏感 记忆式 别名模式 不可达路径
摘 要:别名分析在提高数据流分析精度和构建性能良好的程序分析工具方面发挥着重要作用。本文在分析已有别名分析框架的基础上,提出并实现了一种路径敏感的跨过程别名分析方法。 首先,通过对比分析不同跨过程别名分析的方法,设计并实现了一种基于函数别名模式的记忆式分析方法。该方法采用扩充变量来解决函数别名模式的抽象表示问题,并在此基础上通过构建表达式映射表来计算别名模式以及设计别名模式的相容性判定策略。其次,针对别名分析的路径敏感特征,提出并实现了一种检测控制流图中不可达路径的方案,该方案通过ANTLR提供的树遍历器遍历分支语句表达式的抽象语法树,以达到静态计算表达式真假值的目的。最后,进行了函数别名模式相容以及不可达路径检测的实例分析,结果表明本文实现的方法可以高效地进行跨过程别名分析,并在分析过程中能够有效地检测出不可达路径,进而指导数据流的精确分析。