论文标题
SA4U：单位类型错误检测的实用静态分析
SA4U: Practical Static Analysis for Unit Type Error Detection
论文作者
论文摘要
单位类型错误，其中具有物理单位类型（例如，仪表，小时）的值在计算中不正确地使用，在当今的无人空中系统（UAS）固件中很常见。最近的研究表明，单位类型错误占UAS固件中错误的10％以上。此外，单位类型错误的后果很严重。超过30％的单位类型错误导致UAS崩溃。本文提出了SA4U：用于检测现实世界中UAS固件中单元类型错误的实用系统。 SA4U不需要修改固件或开发人员注释。它通过分析仿真轨迹和协议定义来推论程序变量的单位类型。 SA4U使用推导的单元类型来识别何时发生单元类型错误。 SA4U是有效的：它在两个流行的开源固件（Ardupilot＆PX4）中确定了14个以前未发现的错误。
Unit type errors, where values with physical unit types (e.g., meters, hours) are used incorrectly in a computation, are common in today's unmanned aerial system (UAS) firmware. Recent studies show that unit type errors represent over 10% of bugs in UAS firmware. Moreover, the consequences of unit type errors are severe. Over 30% of unit type errors cause UAS crashes. This paper proposes SA4U: a practical system for detecting unit type errors in real-world UAS firmware. SA4U requires no modifications to firmware or developer annotations. It deduces the unit types of program variables by analyzing simulation traces and protocol definitions. SA4U uses the deduced unit types to identify when unit type errors occur. SA4U is effective: it identified 14 previously undetected bugs in two popular open-source firmware (ArduPilot & PX4.)
