Diagnosing alias violations in memory access commands in source code
US8839218B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 4, 2007 |
| Grant date | Sep 16, 2014 |
| Priority date | — |
| Expiry date | Apr 16, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3624
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer implemented method, apparatus, and computer usable program code for facilitating debugging of source code. A set of indirect memory references is identified in the source code and points-to records are generated for the source code. The set of indirect memory references are validated using the points-to records and an aliasing rule to identify zero or more indirect memory references having a potential aliasing problem. In a case in which the zero or more indirect memory references comprise at least one indirect memory reference, the at least one indirect memory reference is in the set of indirect memory references. Responsive to a determination that the zero or more indirect memory references comprise at least one indirect memory reference, a report is generated identifying at least one location in the source code associated with the at least one indirect memory reference. The report is stored.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.