公开(公告)号：US20080320451A1

公开(公告)日：2008-12-25

申请号：US11765396

申请日：2007-06-19

申请人： Daniel Brand ,  Marcio Buss ,  Vugranam C. Sreedhar

发明人： Daniel Brand ,  Marcio Buss ,  Vugranam C. Sreedhar

IPC分类号： G06F9/44

CPC分类号： G06F8/434

摘要： Pointer analysis is used for different applications, e.g., compilers, debugging tools and programs understanding tools, each having different requirements. A framework for pointer analysis is provided that defines a multidimensional space, for example a three-dimensional space, containing an order sensitivity dimension, a predicate sensitivity dimension and a value persistence dimension. A point in the three-dimensional space is identified. This point yields values for order sensitivity, predicate sensitivity and value persistence. Pointer analysis is then conducted on a computer program in accordance with the identified values for order sensitivity, predicate sensitivity and value persistence.

摘要翻译： 指针分析用于不同的应用程序，例如编译器，调试工具和程序，了解工具，每个应用程序都有不同的要求。 提供了一种用于指针分析的框架，其定义了多维空间，例如包含订单敏感度维度，谓词敏感度维度和值持久性维度的三维空间。 确定三维空间中的一点。 这一点产生订单敏感性，谓词敏感性和价值持久性的值。 然后根据订单灵敏度，谓词灵敏度和价值持久性的识别值，在计算机程序上进行指针分析。

公开(公告)号：US08185881B2

公开(公告)日：2012-05-22

申请号：US11765396

申请日：2007-06-19

申请人： Daniel Brand ,  Marcio Buss ,  Vugranam C Sreedhar

发明人： Daniel Brand ,  Marcio Buss ,  Vugranam C Sreedhar

IPC分类号： G06F9/44

CPC分类号： G06F8/434

摘要： Pointer analysis is used for different applications, e.g., compilers, debugging tools and programs understanding tools, each having different requirements. A framework for pointer analysis is provided that defines a multidimensional space, for example a three-dimensional space, containing an order sensitivity dimension, a predicate sensitivity dimension and a value persistence dimension. A point in the three-dimensional space is identified. This point yields values for order sensitivity, predicate sensitivity and value persistence. Pointer analysis is then conducted on a computer program in accordance with the identified values for order sensitivity, predicate sensitivity and value persistence.

摘要翻译： 指针分析用于不同的应用程序，例如编译器，调试工具和程序，了解工具，每个应用程序都有不同的要求。 提供了一种用于指针分析的框架，其定义了多维空间，例如包含订单敏感度维度，谓词敏感度维度和值持久性维度的三维空间。 确定三维空间中的一点。 这一点产生订单敏感性，谓词敏感性和价值持久性的值。 然后根据订单灵敏度，谓词灵敏度和价值持久性的识别值，在计算机程序上进行指针分析。