Method and apparatus for address taken refinement using control flow information
US8056066B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 22, 2007 |
| Grant date | Nov 8, 2011 |
| Priority date | — |
| Expiry date | Sep 7, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/434
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer implemented method, apparatus, and computer program product for obtaining aliasing information for a target variable in a computer program. A control flow graph representing the computer program is partitioned into an taken address portion that includes all reachable nodes in which an address of the target variable is taken and an untaken address portion that includes all other reachable nodes. All references to the target variable are replaced with a temporary variable in the untaken address portion. The target variable is initialized with the value from the temporary variable at each intermediary node in a set of intermediary nodes in the taken address portion. An intermediary node is a node at which an address of a target variable is taken. The aliasing information for the target variable is generated using the modified computer program.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.