Method and system for analyzing array access to a pointer that is referenced as an array
US7836434B1 · kind B1 · utility
Assignee
Inventor
Key dates
| Filing date | May 4, 2004 |
| Grant date | Nov 16, 2010 |
| Priority date | — |
| Expiry date | Jan 12, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/43
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Methods, systems, and articles of manufacture consistent with the present invention provide an improved technique for analyzing statements that use pointer or array syntax to access dynamically-allocated arrays to determine whether the statement generates a reference that is outside the bounds of the array's allocated memory. Statements that use pointer or array syntax to access dynamically-allocated arrays can be either statically (at compile-time) or dynamically bounds (at run-time) checked. Methods and systems in accordance with the present invention determine at compile-time if an array reference can be determined to always be in bounds or definitely out of bounds at least once, and if not, insert code into the program to check the array bounds dynamically at run-time before the access of the array reference.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.