Lucene search
K

Lean 4 VS Code Extension 安全漏洞

🗓️ 16 Mar 2026 00:00:00Reported by China National Vulnerability Database of Information SecurityType 
cnnvd
 cnnvd
🔗 www.cnnvd.org.cn👁 5 Views

Lean 4 VS Code Extension up to version 0.1.9 has cross-site scripting flaws from unescaped HTML in the unicode input component.

Related
Refs
ReporterTitlePublishedViews
Family
ATTACKERKB
CVE-2026-32732
13 Mar 202621:43
attackerkb
Circl
CVE-2026-32732
16 Mar 202617:10
circl
CVE
CVE-2026-32732
13 Mar 202621:43
cve
Cvelist
CVE-2026-32732 XSS in @leanprover/unicode-input-component
13 Mar 202621:43
cvelist
EUVD
EUVD-2026-12181
16 Mar 202616:39
euvd
Github Security Blog
XSS in @leanprover/unicode-input-component
16 Mar 202616:39
github
NVD
CVE-2026-32732
16 Mar 202614:19
nvd
OSV
GHSA-6GGM-PWR9-R5H2 XSS in @leanprover/unicode-input-component
16 Mar 202616:39
osv
Positive Technologies
PT-2026-25402
13 Mar 202600:00
ptsecurity
RedhatCVE
CVE-2026-32732
26 Mar 202615:17
redhatcve
Rows per page

Data

Build on a solid foundation with Vulners data

We provide the essential building blocks for cybersecurity solutions with comprehensive, structured, and constantly updated vulnerability and exploits data

Api

Power your application with Vulners API

The Vulners REST API offers reliable, high-performance access to vulnerability intelligence, with 99.9% SLA uptime and CDN-backed data delivery for seamless global access

App

Assess and manage vulnerabilities with Vulners tools

Built on top of Vulners' database and SDK, end-user solutions give security professionals and developers lightweight and powerful tools for vulnerability remediation

29 May 2026 00:00Current
5.6Medium risk
Vulners AI Score5.6
EPSS0.00067
SSVC
5