检索增强生成在嵌入式固件系统仿真中的应用方法

摘要

嵌入式固件的系统仿真环境构建是面向嵌入式设备固件动态分析的基础，针对当前固件系统仿真环境构建中外设模型代码生成人工成本高且保真度低等问题，提出一种基于检索增强生成的嵌入式固件系统仿真技术。首先，通过数据手册预处理提取仿真环境构建所需的内存映射表和外设寄存器字段文本描述等信息；其次，利用大语言模型的归纳总结能力生成文本描述概要，并将生成的概要文本嵌入后构建向量知识库；最后，通过多向量检索器查找知识库中与目标外设相关的上下文并自动生成外设模型代码，实现目标固件的仿真环境构建。实验结果表明，该方法能成功提取并生成内存映射表、外设寄存器名和外设行为等描述，并能够正确引导系统初始化、响应固件中的外设访问等。与基于符号执行的固件托管技术相比，生成的仿真环境能使固件通过更多的状态检查代码，具有更高的代码覆盖率。

关键词

固件仿真 / 全系统仿真 / 嵌入式安全 / 动态分析 / 检索增强生成