CVE-2026-32732 json
XSS in @leanprover/unicode-input-component
published 2026-03-13 7 mo ago modified 2026-06-17 4 mo ago also GHSA-6ggm-pwr9-r5h2 , EUVD-2026-12181
- cvss
- 0.0
- version 4.0, CNA
- cisa kev
- Not listed
- not in CISA's catalog
- epss
- 0.3%
- EPSS 0.3% chance of exploitation in 30 days, percentile 28%
- public exploits
- 0
- none known
Summary
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.
Patch / fix
CISA SSVC
- Exploitation
- none
- Automatable
- no
- Technical impact
- partial
- Assessed
- 7 mo ago
Exploit prediction
0.35% chance of exploitation in the next 30 days, higher than 28% of all scored CVEs (FIRST EPSS, 2026-11-08).
CVSS scores
| assigned by | version | score | vector |
|---|---|---|---|
| CNA | 4.0 | 0.0 | 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 |
| CNA | 4.0 | 0.0 | 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/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X |
Affected packages
| ecosystem | package | affected | fixed in |
|---|---|---|---|
| npm | @leanprover/unicode-input-component | <0.2.0 |
0.2.0 |
Affected products
- leanprover vscode-lean4
Classification
- Weakness
-
- CWE-80 Improper Neutralization of Script-Related HTML Tags in a Web Page
References
-
github.com
/leanprover/vscode-lean4/pull/735
web
-
github.com
/leanprover/vscode-lean4/security/advisories/GHSA-6ggm-pwr9-r5h2
web
-
leanprover.zulipchat.com
/#narrow/channel/113488-general/topic/weird.20behavior.20in.20loogle.20searchbar/near/578502003
web
-
nvd.nist.gov
/vuln/detail/CVE-2026-32732
advisory
-
github.com
/leanprover/vscode-lean4
package
Sources
- CVE List CVE-2026-32732
- GitHub Advisory GHSA-6ggm-pwr9-r5h2
- NVD CVE-2026-32732
Fencer Vulns keeps one entry per vulnerability: the CVE id wins, then GHSA, and records that alias each other are merged, except that two CVEs always keep separate entries. The same data is available as JSON.