空间控制技术与应用2021，Vol.47Issue(2)：1-9,9.
航天嵌入式软件数组越界缺陷特征研究
Out-of-Bounds Array Access Bug Characteristics in Aerospace Embedded Software
摘要
关键词
航天嵌入式软件/数组越界/程序分析/中断驱动型程序分类
信息技术与安全科学引用本文复制引用
陈睿,于婷婷,贾春鹏,李超,高栋栋,江云松,杨孟飞..航天嵌入式软件数组越界缺陷特征研究[J].空间控制技术与应用,2021,47(2):1-9,9.基金项目
国家自然科学基金资助项目(61802017) （61802017）
