一种基于Unicorn的UEFI DXE驱动模拟执行方法

UEFI(uniform extensible firmware interface,统一可扩展固件接口)标准近年来已被广泛应用于计算机系统。针对UEFI固件的动态分析方法严重受限于运行环境的扩展性的问题,提出了一种高效的UEFI固件模拟执行方法 DxeEmulator。该方法可以自动解析固件文件系统,完善DXE驱动运行所需的数据依赖和代码依赖,并按照驱动之间的依赖关系调度驱动。在6个品牌生产商的665个固件上测试了DxeEmulator的效果,相比现有工作基本块覆盖数量有大幅提升。基于DxeEmulator构造了一个漏洞挖掘模块,在数据集中共发现了12个缓冲区溢出漏洞,其中包含9个0-day漏洞。     

LSCF材料氧化还原过程的力化学耦合瞬态三维模拟

镧锶钴铁氧体(LSCF)具有良好的化学催化性能和导电性能,未来有望被应用于能源工程领域.在周围环境氧气浓度变化时,LSCF会通过化学反应与周围环境交换氧.这一过程往往会引起化学应力并可能危害设备安全.本文对LSCF棒在氧化还原循环过程中的反应-扩散过程进行了力化学耦合建模.表面处的化学反应动力学考虑了浓度、应力和温度的影响.通过有限元方法分别求解出三种给定的不同表面化学反应速率下棒伸长量和棒端部附近第一主应力的瞬态解.