Lucene search
K

CVE-2026-32732

🗓️ 13 Mar 2026 21:43:22Reported by GitHub_MType 
cve
 cve
🔗 web.nvd.nist.gov📰️ 1 Media mentions👁 9 Views

CVE-2026-32732 XSS in Lean 4 Visual Studio Code Extension via unicode input component; vulnerable up to 0.1.9; fixed in 0.2.0.

Related
Detection
Affected
Refs
Social
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
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
Vulners
Node
[
  {
    "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