SA4U：用于单位类型错误检测的实用静态分析
软件工程
2022-10-18 v1
摘要
单位类型错误指在计算中错误使用了具有物理单位类型（如米、小时）的值，在当今无人机系统（UAS）固件中十分常见。近期研究表明，单位类型错误占UAS固件中缺陷的10%以上。此外，单位类型错误的后果严重：超过30%的单位类型错误导致UAS坠毁。本文提出SA4U：一个用于检测真实世界UAS固件中单位类型错误的实用系统。SA4U无需修改固件或开发者注解，它通过分析仿真轨迹与协议定义来推导程序变量的单位类型，并利用推导出的单位类型识别单位类型错误的发生。SA4U十分有效：它在两款流行的开源固件（ArduPilot与PX4）中识别出14个先前未被发现的缺陷。
引用
@article{arxiv.2210.09136,
title = {SA4U: Practical Static Analysis for Unit Type Error Detection},
author = {Max Taylor and Johnathon Aurand and Feng Qin and Xiaorui Wang and Brandon Henry and Xiangyu Zhang},
journal= {arXiv preprint arXiv:2210.09136},
year = {2022}
}
备注
ASE 2022