发明授权
US07207038B2 Constructing control flows graphs of binary executable programs at post-link time
失效
在链接后的时间内构建二进制可执行程序的控制流程图
- 专利标题： Constructing control flows graphs of binary executable programs at post-link time
- 专利标题（中）： 在链接后的时间内构建二进制可执行程序的控制流程图
-
申请号： US10651839申请日： 2003-08-29
-
公开(公告)号： US07207038B2公开(公告)日： 2007-04-17
- 发明人: Attila Bicsák , Ákos Kiss , Rudolf Ferenc , Tibor Gyimóthy
- 申请人： Attila Bicsák , Ákos Kiss , Rudolf Ferenc , Tibor Gyimóthy
- 申请人地址： FI Espoo
- 专利权人： Nokia Corporation
- 当前专利权人： Nokia Corporation
- 当前专利权人地址： FI Espoo
- 主分类号： G06F9/45
- IPC分类号： G06F9/45
摘要：
A method and a system for constructing a control flow graph (CFG, 106) from an executable computer program (104). The solution detects data intermixed with instructions and instruction set changes. The method includes the steps of defining block leader types specifying basic block boundaries in the program (104), building a CFG structure (106) according to the basic blocks found in the program, and adding control flow and addressing information to the CFG (106) by propagating through the basic blocks and internals thereof. The CFG (106) may be then optimised (108) and a compacted executable (112) created as a result.
公开/授权文献
信息查询
