Diagnosing aliasing violations in a partial program view
US8930927B2 · kind B2 · utility
5Cited by
25References
17Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 18, 2008 |
| Grant date | Jan 6, 2015 |
| Priority date | — |
| Expiry date | Oct 20, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/434
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A compiler generated static analysis of potential aliasing violations in a portion of code that is not in the current program view of the analysis. Source code in a current program view of the program code is processed to collect symbol definitions. The possible destinations of each symbol definition are computed. The set of symbol definitions in the current program view of the code that are accessible to the portion of the program code outside the current program view is evaluated. Each symbol definition is diagnosed based on the type of the symbol defined and the symbols which may be pointed-to by the symbol definitions.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.