非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

[CVE-2023-39471] 使用静态分析平台QueryX发现固件漏洞

theori.io | 漏洞 | CVE-2023-39471 | #firmware | #static-analysis | #taint-analysis | #queryx | #cve-2023-39471

摘要

Theori 的 QueryX 平台如何以污点分析与抽象解释对闭源固件做变体分析，包括 CVE-2023-39471 等嵌入式设备漏洞的发现过程。
发布时间
收录时间

原文 ↗

相关内容

  1. Opengrep 一周年：我们构建了什么以及下一步计划 (aikido.dev)
  2. SAST工具：核心功能及如何选择最佳SAST解决方案 (aikido.dev)
  3. 基于大语言模型的攻防安全（二） (theori.io)
  4. 用新的测试手册章节让你的 Rust 代码更安全 (blog.trailofbits.com)
  5. 用 Claude 破解固件：高级安全专家的技能，初级水平的自动化 (bishopfox.com)
  6. 黑盒探测：小米MJA1安全芯片安全分析 (blog.quarkslab.com)

返回