1. 使用静态分析平台QueryX发现固件漏洞 theori.io | 漏洞 | 2024-11-06 15:00 | 原文 ↗ | #firmware | #static-analysis | #taint-analysis | #queryx Theori 的 QueryX 平台如何以污点分析与抽象解释对闭源固件做变体分析,包括 CVE-2023-39471 等嵌入式设备漏洞的发现过程。