Lucene search
K

CVE-2026-32732 XSS in @leanprover/unicode-input-component

🗓️ 13 Mar 2026 21:43:22Reported by GitHub_MType 
cvelist
 cvelist
🔗 www.cve.org👁 32 Views

CVE-2026-32732 XSS in unicode input component affects Lean 4 VS Code extension up to 0.1.9; fixed in 0.2.0.

Related
Affected
Refs
ReporterTitlePublishedViews
Family
ATTACKERKB
CVE-2026-32732
13 Mar 202621:43
attackerkb
Circl
CVE-2026-32732
16 Mar 202617:10
circl
CNNVD
Lean 4 VS Code Extension 安全漏洞
16 Mar 202600:00
cnnvd
CVE
CVE-2026-32732
13 Mar 202621:43
cve
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
[
  {
    "vendor": "leanprover",
    "product": "vscode-lean4",
    "versions": [
      {
        "version": "< 0.2.0",
        "status": "affected"
      }
    ]
  }
]

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