You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The product receives input from an upstream component, but it does not neutralize or incorrectly neutralizes special characters such as <, >, and & that could be interpreted as web-scripting elements when they are sent to a downstream component that processes web pages.
Learn more on MITRE.
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.
References
Original report: #general > weird behavior in loogle searchbar @ 💬
Fix: #735