买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国人民解放军战略支援部队信息工程大学申请的专利一种面向二进制程序的模块化方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115167916B 。

龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210508164.X，技术领域涉及：G06F8/75；该发明授权一种面向二进制程序的模块化方法是由刘胜利;朱肖雅;蔡瑞杰;杨启超;赵方方;郭世臣;郭茜茜设计研发完成，并于2022-04-27向国家知识产权局提交的专利申请。

本一种面向二进制程序的模块化方法在说明书摘要公布了：本发明属于模块化分析技术领域，具体涉及一种面向二进制程序的模块化方法。本发明借用社团检测思想进行二进制程序模块化，设计二进制程序模块化模型BinMod，通过对二进制程序函数的分析，提取了四种函数依赖关系：直接调用依赖、共引关系依赖、数据引用依赖以及代码局部依赖，并根据函数依赖关系构建函数依赖图，以更好地恢复程序中的模块。并借用社团检测的思想对函数依赖图进行模块化，分别按照相似邻居移动、基于模块度增益的局部移动以及模块组合完成二进制程序的模块化。结果表明本发明方法在模块划分效果以及时间效率方面，明显优于FCA模块化方法以及BCD模块化方法。

本发明授权一种面向二进制程序的模块化方法在权利要求书中公布了：1.一种面向二进制程序的模块化方法，其特征在于：包括以下步骤： 步骤一、对二进制函数进行反汇编并提取函数依赖关系，构建函数依赖图，图中节点代表函数，边代表函数之间的依赖关系；所述函数依赖关系包括函数调用依赖、数据引用依赖以及代码局部依赖，其中函数调用依赖包括直接调用依赖和共引关系依赖； 步骤二、将函数依赖图划分为包含各个函数集合的模块，包括以下步骤： S1、相似邻居移动：输入节点集合V、函数边依赖集合E以及相似度阈值w，将每一个节点看作一个独立模块，基于相似邻居移动合并节点，并在相似邻居移动过程中对于每个节点使用杰卡德距离计算该节点与其所有邻居节点的相似度值SVij，得到该节点与所有邻居节点的相似度值合集SVs， 式中：Ni和Nj分别代表节点i和节点j的邻居； 从SVs中选出最大的SV；若最大SV值高于相似度阈值w，则将该节点移动到具有最大SV值的邻居节点所在模块；否则节点保留在自己原始的模块中；输出每个节点所在模块communities； S2、基于模块度增益的局部移动：输入函数节点集合V、函数依赖边集合E以及此时节点所在模块communities； 对于每一个函数节点，首先节点所在模块初始化为最佳模块并将模块度增益初始化为0，计算并记录将该节点移动到其所有邻居节点所在模块的模块度增益，并选择最大的模块度增益以及相关的模块； 如果最大的模块度增益大于0，将该节点移动到相关模块中，否则保留在原始模块中；迭代执行，直到局部移动任何节点都不存在模块度增益大于0时停止；然后输出基于模块度增益的局部移动后生成的每个节点所在模块情况communities； S3、模块组合：将基于模块度增益的局部移动后生成的各个模块合并为一个新的节点，将模块内部中各个函数之间的依赖关系合并为新节点的自环，构建成一个新的网络，新网络中的节点为基于模块度增益的局部移动的模块，新节点之间的依赖关系为新节点对应模块与模块之间的依赖关系。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军战略支援部队信息工程大学，其通讯地址为：450000 河南省郑州市高新区科学大道62号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。