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

龙图腾网获悉南京大学申请的专利针对二进制反汇编工具的间接跳转表求解过程的测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116414701B 。

龙图腾网通过国家知识产权局官网在2026-05-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310277968.8，技术领域涉及：G06F11/3668；该发明授权针对二进制反汇编工具的间接跳转表求解过程的测试方法是由徐雪兰;庞成宾;张天泰;茅兵设计研发完成，并于2023-03-21向国家知识产权局提交的专利申请。

本针对二进制反汇编工具的间接跳转表求解过程的测试方法在说明书摘要公布了：本发明公开一种针对二进制反汇编工具的间接跳转表求解过程的测试方法，使用SCsmith自动化、高效率、有效地构建可以生成跳转表的大型C文件数据集，通过OracleGT编译器跟踪编译过程进一步构建不同优化等级下的二进制测试集，通过对比反汇编工具求解间接跳转表的结果与正确结果，对反汇编工具的间接跳转表求解算法进行性能评估，并指出错误发生的位置。同时由于测试用例与间接跳转相对应，很容易指出错误发生的位置。本发明所构建的测试集含有有效跳转表的个数更多、密度更大，且可以自动化构建，极大提高了测试效率。本发明可以用于反汇编工具的性能评估，也可以帮助反汇编工具发现缺陷和改进性能，具有广泛的应用前景。

本发明授权针对二进制反汇编工具的间接跳转表求解过程的测试方法在权利要求书中公布了：1.一种针对二进制反汇编工具的间接跳转表求解过程的测试方法，其特征在于，包括如下步骤： 1构建C文件数据集，数据集中的每个C文件在编译后能够生成间接跳转表； 使用SCsmith工具生成C文件数据集，具体执行步骤如下： 步骤10：使用Csmith自动化生成随机内容的C文件；对于C文件中的每个函数，通过规则101-104来生成switch-case语句，使C文件中存在switch-case语句； 规则101：假设当前函数中包含T个语句，随机地在第i个语句前找到一个插入点插入switch语句，且0≤i＜T； 规则102：随机地选取当前可用的局部或全局数值类型变量，作为switch语句的表达式；此时当前switch可包含的语句个数为m=T-i； 规则103：随机确定当前“跳转表”的大小为N；N决定了case语句中常量表达式的上限；为了使switch-case语句更有机会被编译器编译成跳转表，SCsmith定义N的范围为2≤N2*m； 规则104：在第i条到第T条且不包括第T条的语句之间随机插入c个case语句；为了保证每个case至少包含一个语句，c满足2≤c＜minN,m；为了保证语义正确，SCcsmith还需保证case之间的常量表达式互不相同，且有一个常量表达式为N-1，这决定了编译出的跳转表的大小为N； 步骤11：重复步骤10，直到设定时间； 最终，得到一个C文件数据集，数据集中的每个C文件存在switch-case语句； 2利用编译器跟踪C文件编译过程以自动化地收集间接跳转表信息构建不同优化等级下的二进制测试集； 利用OracleGT编译器跟踪C文件编译过程以自动化地收集间接跳转表信息构建不同优化等级下的二进制测试集；具体执行步骤如下： 步骤20：将SCsmith生成的C文件数据集输入编译器； 步骤21：编译器将处理后的文件交给汇编器； 步骤22：汇编器将处理后的文件交给链接器； 步骤23：链接器将处理后的文件交给关联器； 利用OracleGT将跳转表信息与相应的间接跳转进行关联；对于跳转表测试集中的每个测试用例，OracleGT在编译过程中生成控制流图，将控制流图的每个指令处跟踪并更新寄存器与栈内存的污点信息，以找到跳转表与测试用例对应的间接跳转 3基于二进制测试集，验证反汇编工具求解间接跳转表的结果，实现对间接跳转表求解过程的测试，获得反汇编工具的性能评估。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京大学，其通讯地址为：210023 江苏省南京市栖霞区仙林大道163号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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