基带固件是蜂窝通信中的关键组件，但因其专有、闭源以及状态化处理逻辑的复杂性，系统性安全测试面临巨大挑战。现有方法往往忽视基带任务间的依赖关系和输入处理逻辑的状态性，导致测试覆盖有限且效率低下。本文提出 Loris，一种针对商业基带固件的状态化模糊测试框架。Loris 采用迭代符号分析技术，逐步识别协议状态变量及其上的谓词，从而定义不同协议状态，同时缓解状态爆炸问题。这使得 Loris 能够对具有高漏洞潜力的程序区域进行定向探索和模糊测试。研究者在来自两家主流厂商的 5 款商用设备上评估了 Loris，覆盖 4G LTE 和 5G NR 两种制式，验证了其广泛适用性。测试共发现 7 个新漏洞，攻击者可通过空中接口利用这些漏洞，导致基带崩溃、远程代码执行或拒绝服务。该工作为基带固件安全测试提供了新思路，填补了状态化分析在闭源固件上的空白。