Vscode Lean4
Approved changes feed: RSS · Atom
cpe:2.3:a:leanprover:vscode-lean4:*:*:*:*:*:*:*:*part: a version: * update: *
| Vendor | Leanprover (db950cca-a0c3-52f1-894e-66cc98c34902) |
|---|---|
| Product | Vscode Lean4 (0e0845e6-c53d-5c87-ab08-1c95a9f79f99) |
| Edition | * |
| Language | * |
| Software edition | * |
| Target software | * |
| Target hardware | * |
| Other | * |
Notes
Imported from gcve-enriched-dumps CVE data
PURL mappings
| PURL | Source | Last updated |
|---|---|---|
| No PURL mappings for this CPE yet. | ||
Vulnerability references
| Identifier | cpeApplicability | Submitted | db.gcve.eu details | Rationale |
|---|---|---|---|---|
CVE:CVE-2026-32732 |
vulnerable | 2026-06-08 07:57:18.096528 |
XSS in @leanprover/unicode-input-component
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.
Published: 2026-03-13T21:43:22.209Z
Updated: 2026-03-16T20:22:43.428Z |
Imported from gcve-enriched-dumps CVE data |
Contribute
You can submit an edit proposal for this CPE entry or suggest a related product/vendor addition using the action button above.
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.