CVE-2026-32732— Lean 4 VS Code Extension 安全漏洞
一分钟漏洞结论
影响对象
leanprover vscode-lean4
利用判断
尚无明确在野利用证据，仍需结合暴露面评估
建议动作
优先检查厂商安全公告和参考链接中的修复版本；无法立即升级时，限制受影响服务暴露并加强监测。
Lean 4 VS Code Extension是Lean开源的一个VS Code扩展插件。 Lean 4 VS Code Extension 0.1.9及之前版本存在安全漏洞，该漏洞源于@leanprover/unicode-input-component组件将输入元素中的文本作为未转义的HTML重新插入，可能导致跨站脚本攻击。
可能的 ATT&CK 技术 1 AI
T1189 · Drive-by Compromise
获取后续新漏洞提醒
登录后订阅
一、 漏洞 CVE-2026-32732 基础信息
漏洞信息
对漏洞内容有疑问？看看神龙的深度分析是否有帮助！
查看神龙十问 ↗
尽管我们使用了先进的大模型技术，但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性，但请您根据实际情况进行核实和判断。
Vulnerability Title
XSS in @leanprover/unicode-input-component
来源: CVE Program / CVE List V5
Vulnerability Description
Lean 4 VS Code Extension is a Visual Studio Code extension for the Lean 4 proof assistant. Projects that use @leanprover/unicode-input-component are vulnerable to an XSS exploit in 0.1.9 of the package and lower. The component re-inserted text in the input element back into the input element as unescaped HTML. The issue has been resolved in 0.2.0.
来源: CVE Program / CVE List V5
CVSS Information
CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:A/VC:N/VI:N/VA:N/SC:N/SI:N/SA:N
来源: CVE Program / CVE List V5
Vulnerability Type
Web页面中脚本相关HTML标签转义处理不恰当(基本跨站脚本)
来源: CVE Program / CVE List V5
Vulnerability Title
Lean 4 VS Code Extension 安全漏洞
来源: 中国国家信息安全漏洞库 CNNVD
Vulnerability Description
Lean 4 VS Code Extension是Lean开源的一个VS Code扩展插件。 Lean 4 VS Code Extension 0.1.9及之前版本存在安全漏洞，该漏洞源于@leanprover/unicode-input-component组件将输入元素中的文本作为未转义的HTML重新插入，可能导致跨站脚本攻击。
来源: 中国国家信息安全漏洞库 CNNVD
CVSS Information
N/A
来源: 中国国家信息安全漏洞库 CNNVD
Vulnerability Type
N/A
来源: 中国国家信息安全漏洞库 CNNVD
受影响产品
| 厂商 | 产品 | 影响版本 | CPE | 订阅 |
|---|---|---|---|---|
| leanprover | vscode-lean4 | < 0.2.0 | - |
|
二、漏洞 CVE-2026-32732 的公开POC
| # | POC 描述 | 源链接 | 神龙链接 |
|---|
AI 生成 POC
高级
未找到公开 POC。
登录以生成 AI POC三、漏洞 CVE-2026-32732 的情报信息
请登录查看更多情报信息。
CVE-2026-32732 补丁与修复 (1)
CVE-2026-32732 厂商安全公告 (1)
CVE-2026-32732 其他参考 (1)
-
#general > weird behavior in loogle searchbar - Lean - Zulip x_refsource_MISC
IV. Related Vulnerabilities
V. Comments for CVE-2026-32732
暂无评论