CVE-2026-32732 in vscode-lean4
Resumen
por MITRE • 2026-03-16
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.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.