计算机学报在线阅读,含指针程序的单子切片方法-计算机学报.pdf

第卷第期 计 算 机 学 报

３３ ３

Ｖｏｌ．３３Ｎｏ．３

年月

２０１０３ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｍａｒ．２０１０

含指针程序的单子切片方法

)，)，) ) )，) )，) )，)

１２３ ４ ２５ １２ ２６

张迎周 吴重强钱巨 张卫丰 徐宝文

)

１(南京邮电大学计算机学院南京 )

２１０００３

)

２(南京大学计算机软件新技术国家重点实验室南京 )

２１００９３

)

３(北京邮电大学网络与交换技术国家重点实验室北京 )

１００８７６

)

４( 中国研发中心上海 )

ＥＭＣ ２００４３３

)

５(南京航空航天大学信息科学与技术学院南京 )

２１００１６

)

６(南京大学计算机科学与技术系南京 )

２１００９３

摘要 ， ，

传统的含指针程序切片方法将指向分析与切片计算分开增加了一定系统开销为此文中提出一种可同

，

时进行切片计算和指向分析的单子切片算法该算法将程序正向切片思想与数据流迭代分析相结合它是流敏感

．

的具有一定的精度而且因指向分析和切片计算同时进行故不需要像一般的流敏感分析方法那样记录每一个程

， ，