Detections
Analytics

SCA: security update for @leanprover/unicode-input-component (GHSA-6ggm-pwr9-r5h2)

info Tenable Self-Hosted Container Security Plugin ID 438834

Description

There are packages installed that are affected by a vulnerability referenced in the following CVE:

 - 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. (CVE-2026-32732)

Solution

Update the @leanprover/unicode-input-component library and its related packages to version 0.2.0 or later.

See Also

https://github.com/advisories/GHSA-6ggm-pwr9-r5h2

Plugin Details

Severity: Info

ID: 438834

Version: Revision 1.6

Type: Local

Family: SCA Checks

Published: 3/16/2026

Updated: 7/2/2026

Supported Sensors: Tenable Cloud Security, Tenable Self-Hosted Container Security

Risk Information

VPR

Risk Factor: Low

Score: 2.3

Percentile: 9.42

Vendor

Vendor Severity: Low

CVSS v2

Risk Factor: Medium

Base Score: 4.3

Temporal Score: 3.2

Vector: CVSS2#AV:N/AC:M/Au:N/C:N/I:P/A:N

CVSS Score Source: CVE-2026-32732

CVSS v3

Risk Factor: Medium

Base Score: 6.1

Temporal Score: 5.3

Vector: CVSS:3.0/AV:N/AC:L/PR:N/UI:R/S:C/C:L/I:L/A:N

Temporal Vector: CVSS:3.0/E:U/RL:O/RC:C

CVSS v4

Risk Factor: Info

Base Score: 0

Threat Score: 0

Threat Vector: CVSS:4.0/E:U

Vector: CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:A/VC:N/VI:N/VA:N/SC:N/SI:N/SA:N

Vulnerability Information

Exploit Ease: No known exploits are available

Patch Publication Date: 3/16/2026

Vulnerability Publication Date: 3/13/2026

Reference Information

CVE: CVE-2026-32732

cwe: CWE-80