CVE-2026-32732
Vulnérabilité non évaluée dans vscode-lean4 (leanprover)
CVSS 0.0 · Non évaluée
EPSS 0.5%
leanprover•vscode-lean4•Versions : < 0.2.0
Description
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.
Gravité et risque d'exploitation
CVE-2026-32732 obtient un score CVSS de 0.0/10, soit une gravité non évaluée. Selon le modèle EPSS, la probabilité qu'elle soit exploitée dans les 30 prochains jours est de 0.54 %, ce qui la place devant 44.3 % des CVE référencées.
Que faire ?
- Vérifiez si vscode-lean4 (versions < 0.2.0) est présent sur votre parc.
- Appliquez le correctif ou la version corrigée indiqués dans les références de l'éditeur.
- À défaut de correctif, limitez l'exposition (filtrage réseau, désactivation du composant).
- Automatisez la détection : les agents CVE Heimdall (gratuits, open source) corrèlent l'inventaire de vos serveurs avec la base CVE.