[发明专利]ELF二进制库文件符号冲突检测方法、系统及介质

说明书

本发明提供了一种ELF二进制库文件符号冲突检测方法、系统及介质，包括：模块M1：将ELF二进制库文件中每个库的外部符号导出到每个库对应的nm符号文件；模块M2：分析比较各个库nm符号文件中的外部符号是否存在同名冲突，并将结果输出到冲突检测日志文件中；模块M3：查看并分析冲突检测日志文件中记录的信息是否有冲突符号以及对应的库文件和对象文件，当有冲突符号时，则将对应符号所在对象文件删除命令添加到模块M4；模块M4：删除ELF二进制库文件中存在冲突符号的对象文件，直至日志文件中不存在冲突符号信息，得到可发布的ELF二进制库文件。

技术领域

本发明涉及嵌入式二进制库处理技术领域，具体地，涉及一种ELF二进制库文件符号冲突检测方法、系统及介质，更为具体地，涉及库文件符号冲突检测批处理的实现方法、ELF二进制符号导出的实现方法、库文件符号冲突检测的实现方法、ELF二进制库处理的实现方法。

背景技术

目前，现有的嵌入式系统集成开发环境，在生成可执行程序文件时会链接目标文件、嵌入式操作系统公共库(包含动态库和静态库)以及工具链库(包含C库、C++库、GCC库和数学库)。嵌入式系统会根据需要重新实现一些与C库、C++库、GCC库和数学库中同名的接口符号，且当嵌入式操作系统开发升级、移植第三方库或者工具链库更新后，这些库中可能会包含相同命名的外部符号(可能是全局函数或变量)，在静态链接到同名符号时，连接器将报出符号同名冲突错误，或因链接顺序只链接首先找到的符号，而导致未能链接想要包含的函数符号。

现有通用的方法是碰到一个静态链接或动态加载符号冲突，先定位找到同名的符号，再选择删去其中一个符号。这种方法非常花费时间，需要人工手动在各个库里找每个冲突的符号，再选择删去。若通过编译链接测试来发现冲突的符号，则没有链接到的符号就无法检测冲突，这样检查操作繁琐且易遗漏出错，并且，每次升级库后都需要做这项工作，非常影响嵌入式操作系统多平台版本的迭代发布的效率。

专利文献CN(申请号：201910794490.X)公开了一种检测静态库冲突的自动化方法。该发明涉及静态库处理技术领域，尤其是一种检测静态库冲突的自动化方法，其步骤为：(1)单个静态库框架分离，分析库支持的框架，对不同的框架进行文件分离；(2)对需要检测的静态库执行第一步操作，文件分离；(3)对分离出来的文件进行分析，找出冲突的文件；(4)有文件冲突则删除相关冲突文件；(5)静态库分开，进行静态库的合成、输出；(6)合成一个新的静态库，同一个框架的分离文件整合到一起，合成框架库，框架库再合成一个新的静态库，本发明降低了人工操作的出错率，提高了整体解决静态库冲突的工作效率。

专利文献CN101387968B(申请号：200810223622.5)公开了一种解决多图形化识别与验证动态链接库冲突的方法和装置。是一种解决多图形化识别与验证动态链接库GINADLL冲突的方法,包括:当Windows操作系统启动时,主导GINA DLL由Winlogon系统程序加载和运行,而每个从属GINA DLL由其上一级的主导GINA DLL或从属GINA DLL加载和运行.该发明是一种解决多GINA DLL冲突的装置,使得多个GINA DLL能够协同工作而不产生冲突。

专利文献CN111651768A(申请号：202010775313.X)公开了计算机二进制程序的链接库函数名识别方法及装置。该发明提供一种计算机二进制程序的链接库函数名识别方法，包括：收集静态链接库；对收集的静态链接库进行归档整理；将训练好的机器学习模型编写为IDA插件并在IDA中加载使用；IDA接收用户输入的可疑恶意二进制程序，IDA调用所述将训练好的机器学习模型编写的IDA插件进行自动化分析、检测，并将检测结果在IDA界面中显示。根据该发明的方案，便于逆向分析人员针对性分析未知的恶意软件功能函数；能够在静态链接库不充分的情况下，由训练好的机器学习模型主动辨别静态链接库函数和恶意程序的功能函数，能够提高静态链接库函数识别的准确率，避免攻击者恶意构造与静态库函数签名一致的恶意函数而无法识别恶意程序。