Procedure summaries for pointer analysis
US8185881B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 19, 2007 |
| Grant date | May 22, 2012 |
| Priority date | — |
| Expiry date | Mar 22, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/434
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.