一种新的过程间静态切片快速算法-哈尔滨工业大学学报.PDF

第４７卷　 第５期 哈　 尔　 滨　 工　 业　 大　 学　 学　 报 Ｖｏｌ４７ Ｎｏ５ 　 　 ２０ １５年５月 ＪＯＵＲＮＡＬ ＯＦ ＨＡＲＢＩＮ ＩＮＳＴＩＴＵＴＥ ＯＦ ＴＥＣＨＮＯＬＯＧＹ Ｍａｙ ２０１５ 　 　 　 　 　 　 ｄｏｉ：１０．１１９１８／ ｊ．ｉｓｓｎ．０３６７⁃６２３４．２０１５．０５．００５ 一种新的过程间静态切片快速算法 苏小红，龚丹丹，王甜甜，马培军 （哈尔滨工业大学 计算机科学与技术学院，１５０００１哈尔滨） 摘　 要：针对传统的基于ＰＤＧ、ＳＤＧ 的程序切片算法需要计算与程序切片无关的数据依赖而导致计算复杂度高的问题， 提出一种新的过程间静态切片快速算法．该算法无需使用ＰＤＧ、ＳＤＧ 的程序中间表示形式，