自动化多状态嵌入式固件托管方法

摘要

针对近年来固件托管技术的相关研究成果存在仿真执行效率不高、执行路径单一等问题，提出一种自动化多状态嵌入式设备固件托管方法。该方法基于静态特征自动定位启动完成位置，设计距离优先的选路算法，实现仿真设备的快速启动自检；设计基于异常规避的混合执行方法，生成具有多路径执行能力的动态执行模型，实现执行路径的多样化。通过面向两类平台3类架构下19款固件的实验测试，验证该方法能够成功为所有嵌入式设备固件创建静态启动自检模型和动态混合执行模型，实现设备固件高效多状态的仿真运行。

关键词

嵌入式 / 固件仿真 / 固件托管 / 符号执行 / 混合执行