于颖超、陈左宁、甘水滔、秦晓军
数学工程与先进计算国家重点实验室 江苏无锡 214083
中国工程院 北京 100088
嵌入式设备 固件 静态分析 符号执行 固件托管 模糊测试
本课题得到国家"八六三"高技术研究发展计划项目
2018YFB1003600
2021
10.11897/SP.J.1016.2021.00859