vulntracker.iovulntracker.io
© 2026 vulntracker.io

CVE-2026-32732

XSS in @leanprover/unicode-input-component

N/A
Published: March 13, 2026 at 09:43 PM UTC
Updated: June 17, 2026 at 10:36 AM UTC
1 product affected across 1 vendorVscode LEAN4

Using vscode-lean4 by leanprover?

Get instant alerts when new vulnerabilities affect vscode-lean4 - before attackers find them.

Real-time alertsTrack your software stackFree plan available
Start FreeSign In
Severity
N/A
Exploit prediction
EPSS 0.3%
SSVC
No known exploit

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.

Affected

Our own answer: ranges merged, affected separated from platform-only, with confidence and review flags.

Vscode LEAN4· Leanprover
60%
v < 0.2.0
Affected range stops below 0.2.0, so it looks safe — our inference, not a vendor statement

Remediation

No guide yet

No remediation guidance has been written for this CVE yet, and no fixed version or vendor advisory is recorded against it.

References (3)

x_refsource_CONFIRM
Source: cverecord
https://github.com/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2
x_refsource_MISC
Source: cverecord
https://github.com/leanprover/vscode-lean4/pull/735
x_refsource_MISC
Source: cverecord
https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/near/578502003

SSVC — Action Prioritization

SSVCNo known exploitNot automatablePartial impact

SSVC signals action urgency (what to patch first), separate from CVSS which measures severity.

Quick Info

StatusDEFERRED
CWE
CWE-80

Get alerted

Stop reading CVE feeds looking for your own stack

Track the products you run and VulnTracker tells you when a new CVE affects them — with what is known about fixing it, and nothing about the rest.

Create accountSign in
Free plan, no card