公开(公告)号：DE112010004252T5

公开(公告)日：2013-01-24

申请号：DE112010004252

申请日：2010-07-30

Applicant: IBM

Inventor： CHANDRA SATISH ,  TORLAK EMINA

IPC: G06F11/30 ,  G06F12/00 ,  G06F13/00

Abstract: Es werden Systeme und Verfahren zum Erkennen (404 von Ressourcenlecks in einem Programm mithilfe der statischen Analyse beschrieben. Dynamisch anpassbare Mengen von Pflichtzugriffspfaden können zu Alias-Zwecken genutzt (406) werden, um prozedurintern und prozedurübergreifend Ressourcen im ganzen Programm zu überwachen. Ausführbare Berichte (408) werden ebenfalls beschrieben, in denen Ressourcenlecks priorisiert, gefiltert und gruppiert werden, um die Brauchbarkeit zu verbessern.

公开(公告)号：GB2487325A

公开(公告)日：2012-07-18

申请号：GB201206373

申请日：2010-07-30

Applicant: IBM

Inventor： CHANDRA SATISH ,  TORLAK EMINA

IPC: G06F11/36

Abstract: Systems and methods for detecting (404) resource leaks in a program using static analysis are disclosed. Dynamically adjustable sets of must-access paths can be employed (406) for aliasing purposes to track resources intra- and inter-procedurally through a program. Actionable reports (408) are also disclosed, in which resource leaks are prioritized, filtered and clustered to improve utility.