公开(公告)号：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.

公开(公告)号：GB2488065A

公开(公告)日：2012-08-15

申请号：GB201208454

申请日：2010-07-30

Applicant: IBM

Inventor： DOLBY JULIAN ,  TORLAK EMINA ,  VAZIRI MANDANA

IPC: G06F11/36

Abstract: A system and method for analyzing a test program (P) with respect to a memory model (M) includes preprocessing a test program into an intermediate form and translating (204) the intermediate form of the test program into a relational logic representation. The relational logic representation is combined (206) with a memory model to produce a legality formula. A set of bounds are computed (208) on a space to be searched for the memory model or on a core of the legality formula. A relational satisfiability problem is solved (212), which is defined by the legality formula and the set of bounds to determine a legal trace of the test program or debug the memory model.