UnratednpmAmendedPublished
XSS in @leanprover/unicode-input-component
CVE-2026-32732 · GHSA-6ggm-pwr9-r5h2
- Affected
- npm @leanprover/unicode-input-component < 0.2.0
- Fixed in
- 0.2.0· Vendor fix available
- Issue
- Impact 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. Patches The issue has been resolved in 0.2.0. Workarounds Replace the unicode input component with a basic HTML text field.
Recommended action: Upgrade to 0.2.0 or later, then redeploy and verify.A vendor fix does not resolve your finding until you verify it in your own systems.