从GCC的AST文本提取C源程序静态信息的方法-哈尔滨工业大学学报.PDF

第４２卷　第７期 哈　尔　滨　工　业　大　学　学　报 Ｖｏｌ４２ Ｎｏ７ 　 　 ２０１０年７月 ＪＯＵＲＮＡＬＯＦＨＡＲＢＩＮＩＮＳＴＩＴＵＴＥＯＦＴＥＣＨＮＯＬＯＧＹ Ｊｕｌｙ２０１０ 　　　　　　 从 ＧＣＣ的ＡＳＴ文本提取 Ｃ源程序静态信息的方法 封战胜，苏小红，马培军 （哈尔滨工业大学 计算机科学与技术学院，哈尔滨 １５０００１，ｆｅｎｇｚｈａｎｓｈｅｎｇ１９８４＠１２６．ｃｏｍ） 摘　要：为了能够正确的分析源程序的控制依赖关系和数据依赖关系，以便在此基础上进行程序切片及冗 余代码和重复代码检测，提出一种利用ＧＣＣ抽象语法树（ＡＳＴ）文本来提取源程序静态信息的方法．首先，对 ＧＣＣＡＳＴ文本进行标准化及消除文本中与控制流分析和数据流分析无关的结点信息；其次，构建控制依赖 子图；同时如果需要数据流分析，在控制依赖子图的基础上构建控制流图，在控制流图的