生命周期并发模糊测试框架

检出32个真实并发漏洞

专门针对ROS程序生命周期机制设计的覆盖率引导模糊测试框架，使用生命周期对序列作为新的覆盖率度量，能够有效检测并重现空指针解引用和释放后使用等危险并发错误。

Simiao, Gao · 王朋成 · 白家驹 · Jia-Wei, Yu · 王海舟

IEEE Transactions on Information Forensics and Security 2025

参数信息

检出漏洞数

32

获得CVE编号的漏洞数

19

技术优势

能稳定复现并发漏洞

通过启发式输入精简和延迟注入，识别出能稳定高效复现漏洞的最小输入序列。

漏洞发现能力强

以生命周期对序列作为新覆盖率度量，有效引导模糊测试探索线程交织。

应用场景

• 机器人软件安全：自动发现ROS软件中生命周期相关的并发漏洞，提升机器人系统安全。
• 工业机器人软件测试：为工业ROS机器人提供针对性的模糊测试，提前发现潜在缺陷。
• 具身智能系统安全：保障具身智能系统底层ROS组件的安全，避免运行时崩溃或漏洞利用。