基于高级抽象层模拟的固件托管分析测试方法及系统技术方案

技术编号:41318355 阅读:21 留言:0更新日期:2024-05-13 14:58
本发明专利技术涉及实时嵌入式系统设备安全分析技术领域,特别涉及一种基于高级抽象层模拟的固件托管分析测试方法及系统,通过提取目标固件二进制可执行文件中函数信息;获取固件实时操作系统静态库文件及静态库文件所编译的函数名,基于函数名提取目标固件所使用的实时操作系统库函数,并利用预设等价函数替换目标固件中对应库函数,所述预设等价函数为与对应库函数功能等价的重写函数;基于模拟器对目标固件中函数执行分析测试操作,得到目标固件分析测试结果。本发明专利技术依据固件和高级抽象层模拟之间的映射关系并基于仿真模拟环境来执行固件模拟测试过程,无需构建固件本身的BSP包和设备驱动程序,提升动态调试固件的效率,便于嵌入式系统领域实际场景中的应用。

【技术实现步骤摘要】

本专利技术涉及实时嵌入式系统设备安全分析,特别涉及一种基于高级抽象层模拟的固件托管分析测试方法及系统


技术介绍

1、固件托管(firmware re-hosting)是将在特定硬件上运行的二进制文件运行在仿真的虚拟环境中的技术。基于目前研究人员在对固件分析时对动态分析的极大需求,该技术已被广泛应用于固件安全分析中。固件托管涵盖的技术面较广,涉及固件提取、系统仿真、固件测试等方面。目前系统仿真采用的主流方法构建固件的板级支持包(bsp)和设备驱动程序,修改固件自身结构以适配目前主流的虚拟环境。

2、针对航天电子、卫星通讯、工业控制等系统设备固件所搭载的主流系统vxworks(以下统称操作系统)进行动态分析测试时,现有主流方法并不能很好地完成对该操作系统的模拟执行。因为其在执行过程中会发生大量的中断和待执行任务,同时固件在执行的过程中会需要开辟新的空间,使用patch的方式替换操作系统中原有的函数不能确保新生成的空间不会覆盖新添加的代码的空间。此外,基于bsp层的函数模拟需要考虑单个外设中的各个寄存器之间存在相互影响的问题,使得通过修改hal/b本文档来自技高网...

【技术保护点】

1.一种基于高级抽象层模拟的固件托管分析测试方法,其特征在于,包含:

2.根据权利要求1所述的基于高级抽象层模拟的固件托管分析测试方法,其特征在于,提取目标固件二进制可执行文件中函数信息,还包含:

3.根据权利要求1所述的基于高级抽象层模拟的固件托管分析测试方法,其特征在于,获取固件实时操作系统静态库文件及静态库文件所编译的函数名,包含:

4.根据权利要求1所述的基于高级抽象层模拟的固件托管分析测试方法,其特征在于,基于函数名提取目标固件所使用的实时操作系统库函数,包含:

5.根据权利要求1或4所述的基于高级抽象层模拟的固件托管分析测试方法...

【技术特征摘要】

1.一种基于高级抽象层模拟的固件托管分析测试方法,其特征在于,包含:

2.根据权利要求1所述的基于高级抽象层模拟的固件托管分析测试方法,其特征在于,提取目标固件二进制可执行文件中函数信息,还包含:

3.根据权利要求1所述的基于高级抽象层模拟的固件托管分析测试方法,其特征在于,获取固件实时操作系统静态库文件及静态库文件所编译的函数名,包含:

4.根据权利要求1所述的基于高级抽象层模拟的固件托管分析测试方法,其特征在于,基于函数名提取目标固件所使用的实时操作系统库函数,包含:

5.根据权利要求1或4所述的基于高级抽象层模拟的固件托管分析测试方法,其特征在于,利用预设等价函数替换目...

【专利技术属性】
技术研发人员:麻荣宽魏强陈正宇肖钰汾耿洋洋吴茜琼刘厚志马梓刚高仪
申请(专利权)人:中国人民解放军战略支援部队信息工程大学
类型:发明
国别省市:

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1