发明名称 |
Diagnosing Aliasing Violations in a Partial Program View |
摘要 |
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. |
申请公布号 |
US2010162219(A1) |
申请公布日期 |
2010.06.24 |
申请号 |
US20080337939 |
申请日期 |
2008.12.18 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
BOWLER CHRISTOPHER EUGENE;PERRY SEAN DOUGLAS;TIOTTO ETTORE |
分类号 |
G06F9/45 |
主分类号 |
G06F9/45 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|