LuaTaint：面向物联网设备Web配置接口漏洞的静态分析系统
密码学与安全
2025-04-02 v2 软件工程
摘要
物联网设备Web配置接口的多样性加剧了权限控制不足和接口不安全等问题，导致各种漏洞。由于不同设备的接口配置各异，现有方法无法精确且全面地识别这些漏洞。本研究通过引入一个名为LuaTaint的自动化漏洞检测系统来解决这些问题。该系统专为物联网设备常用的Web配置接口设计。LuaTaint将静态污点分析与大语言模型（LLM）相结合，以实现广泛且高精度的检测。静态分析的广泛遍历确保了检测的全面性。该系统还在污点检测过程中融入了与页面处理器控制逻辑相关的规则，以提高其精度和可扩展性。此外，我们利用LLM在代码分析任务中的强大能力。通过在误报修剪过程中使用LLM，LuaTaint的精度得到提升，同时显著减少了对人工分析的依赖。我们开发了LuaTaint的原型，并使用来自11家知名厂商的2447个物联网固件样本进行了评估。LuaTaint发现了111个漏洞。此外，LuaTaint的漏洞检测精度高达89.29%。
引用
@article{arxiv.2402.16043,
title = {LuaTaint: A Static Analysis System for Web Configuration Interface Vulnerability of Internet of Things Devices},
author = {Jiahui Xiang and Lirong Fu and Tong Ye and Peiyu Liu and Huan Le and Liming Zhu and Wenhai Wang},
journal= {arXiv preprint arXiv:2402.16043},
year = {2025}
}