首页>
外国专利>
Method and a system for constructing control flows graphs of binary executable programs at post-link time
Method and a system for constructing control flows graphs of binary executable programs at post-link time
展开▼
机译:在链接后构建二进制可执行程序的控制流程图的方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼