PT-2026-25402 · Unknown · Lean 4 Vs Code Extension+1
Mhuisi
·
Publicado
2026-03-13
·
Atualizado
2026-03-16
·
CVE-2026-32732
CVSS v4.0
0.0
Nenhuma
| Vetor | 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 |
Name of the Vulnerable Software and Affected Versions
Lean 4 VS Code Extension versions 0.1.9 and lower
@leanprover/unicode-input-component versions 0.1.9 and lower
Description
Projects utilizing the
@leanprover/unicode-input-component are susceptible to a cross-site scripting (XSS) issue. The component improperly handles input, re-inserting text into the input element as unescaped HTML. This allows for the injection of malicious scripts. The issue is present in version 0.1.9 and earlier of the component.Recommendations
Update
@leanprover/unicode-input-component to version 0.2.0 or later.
As a workaround, replace the unicode input component with a basic HTML text field.Correção
XSS
Encontrou algum problema na descrição? Tem algo a acrescentar? Fique à vontade para nos escrever 👾
Enumeração de Fraquezas
Identificadores relacionados
Produtos afetados
@Leanprover/Unicode-Input-Component
Lean 4 Vs Code Extension