GHSA-6ggm-pwr9-r5h2Low

XSS in @leanprover/unicode-input-component

Published
March 16, 2026
Last Modified
March 16, 2026

🔗 CVE IDs covered (1)

📋 Description

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.

🎯 Affected products1

  • npm/@leanprover/unicode-input-component:< 0.2.0

🔗 References (5)