Approved changes feed: RSS · Atom
cpe:2.3:a:cvc5:cvc5:1.1.3:*:*:*:*:*:*:*part: a version: 1.1.3 update: *
| Vendor | Cvc5 (0588ea3f-5470-5c75-90e0-ed90c3f0e110) |
|---|---|
| Product | Cvc5 (cb64978b-43f1-555a-93ed-1a4d46d72f5e) |
| 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-2024-37795 |
vulnerable | 2026-06-08 06:39:48.094199 |
Details available
A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing the `set-logic` command with specific formatting errors.
Published: 2024-06-17T00:00:00.000Z
Updated: 2024-08-02T03:57:39.827Z Reference links |
Imported from gcve-enriched-dumps CVE data |
CVE:CVE-2024-37794 |
vulnerable | 2026-06-08 06:39:48.093759 |
Details available
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
Published: 2024-06-17T00:00:00.000Z
Updated: 2024-08-02T03:57:39.727Z Reference links |
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.