发明名称 |
Methods and apparatus to reduce a control flow graph using points-to information |
摘要 |
Methods and apparatus for reducing a control flow graph are disclosed. A disclosed method comprises: creating a points-to set associated with a function in a computer program; determining if a control flow edge between: (1) a call-site associated with a restore and return instruction and (2) a successor block following the call-site is removable from a control flow graph representing the computer program; and removing the control flow edge if it is determined that the control flow edge is removable.
|
申请公布号 |
US2006047681(A1) |
申请公布日期 |
2006.03.02 |
申请号 |
US20040927672 |
申请日期 |
2004.08.27 |
申请人 |
GHIYA RAKESH;COX ROBERT J;SEHR DAVID C |
发明人 |
GHIYA RAKESH;COX ROBERT J.;SEHR DAVID C. |
分类号 |
G06F7/00;G06F17/00 |
主分类号 |
G06F7/00 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|