发明名称 用于资源泄漏检测的系统和方法
摘要 公开了一种使用静态分析来检测(404)程序中的资源泄漏的系统和方法。可以将动态可调整的必须访问路径集合用于(406)别名的目的,以在程序的过程内和过程间跟踪资源。还公开了可行动的报告(408),其中,资源泄漏被优先级排序、过滤、聚类,以提高可用性。
申请公布号 CN102597970A 申请公布日期 2012.07.18
申请号 CN201080049854.9 申请日期 2010.07.30
申请人 国际商业机器公司 发明人 S·钱德拉;E·托尔拉克
分类号 G06F12/00(2006.01)I;G06F13/00(2006.01)I 主分类号 G06F12/00(2006.01)I
代理机构 北京市中咨律师事务所 11247 代理人 张亚非;于静
主权项 一种用于检测程序中的资源泄漏的方法,包括:启动(502)对程序的控制流的分析;响应于获取控制流中的资源,生成(504)用于该资源的必须访问路径的初始集合;根据控制流分析,通过至少添加或移除必须访问路径来动态调整必须访问路径集合,来跟踪(506)控制流中的资源;以及如果基于必须访问路径集合,所述资源在控制流出口处不可到达,则确定(512)该资源被泄漏。
地址 美国纽约