发明授权
- 专利标题： Method and apparatus for address taken refinement using control flow information
- 专利标题（中）： 使用控制流信息进行地址改善的方法和装置
-
申请号： US11843369申请日： 2007-08-22
-
公开(公告)号： US08056066B2公开(公告)日： 2011-11-08
- 发明人: Edwin Chan , Raul E. Silvera
- 申请人： Edwin Chan , Raul E. Silvera
- 申请人地址： US NY Armonk
- 专利权人： International Business Machines Corporation
- 当前专利权人： International Business Machines Corporation
- 当前专利权人地址： US NY Armonk
- 代理机构： Yee & Associates, P.C.
- 代理商 David A. Mims, Jr.
- 主分类号： G06F9/45
- IPC分类号： G06F9/45
摘要：
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.