High
cvc5 — security advisory
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.
- Products
- cvc5
- Affected versions
- 1.0.5-3, 1.1.1-1, 1.1.2-1, 1.1.2-1build1, 1.1.2-2build1, 1.1.2-3, 1.3.2-1, 1.3.2-1build1
- Fixed versions
- Not specified
- CVEs
- CVE-2024-37795
- Confirmed fixed CVEs
- Not specified
- Updated in this feed
- 31 Oct 2026, 01:08 UTC · Revision 1
Source evidence
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.
osv:UBUNTU-CVE-2024-37795
cvc5
Fixed versions: Not specified
cvc5
Fixed versions: Not specified
cvc5
Fixed versions: Not specified
cvc5
Fixed versions: Not specified
Complete source record
{
"id": "7ebfbf1a6da67aef504a738b9d7888395b65b1173091d0fc83146dc8386457b3",
"url": "https://osv.dev/vulnerability/UBUNTU-CVE-2024-37795",
"method": "structured",
"payload": {
"kind": "advisory",
"title": "UBUNTU-CVE-2024-37795",
"summary": "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.",
"evidence": "osv:UBUNTU-CVE-2024-37795",
"products": [
{
"name": {
"value": "cvc5",
"evidence": "/affected/0/package/name"
},
"prerequisites": [],
"fixed_versions": [],
"affected_versions": [
{
"value": "1.0.5-3",
"evidence": "/affected/0/versions"
},
{
"value": "1.1.1-1",
"evidence": "/affected/0/versions"
},
{
"value": "1.1.2-1",
"evidence": "/affected/0/versions"
},
{
"value": "1.1.2-1build1",
"evidence": "/affected/0/versions"
}
]
},
{
"name": {
"value": "cvc5",
"evidence": "/affected/1/package/name"
},
"prerequisites": [],
"fixed_versions": [],
"affected_versions": [
{
"value": "1.1.2-2build1",
"evidence": "/affected/1/versions"
}
]
},
{
"name": {
"value": "cvc5",
"evidence": "/affected/2/package/name"
},
"prerequisites": [],
"fixed_versions": [],
"affected_versions": [
{
"value": "1.3.2-1build1",
"evidence": "/affected/2/versions"
}
]
},
{
"name": {
"value": "cvc5",
"evidence": "/affected/3/package/name"
},
"prerequisites": [],
"fixed_versions": [],
"affected_versions": [
{
"value": "1.1.2-2build1",
"evidence": "/affected/3/versions"
},
{
"value": "1.1.2-3",
"evidence": "/affected/3/versions"
},
{
"value": "1.3.2-1",
"evidence": "/affected/3/versions"
},
{
"value": "1.3.2-1build1",
"evidence": "/affected/3/versions"
}
]
}
],
"severity": "high",
"structured": {
"id": "UBUNTU-CVE-2024-37795",
"aliases": [
"UBUNTU-CVE-2024-37795"
],
"metrics": [
{
"type": "CVSS_V3",
"score": "CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H"
},
{
"type": "Ubuntu",
"score": "low"
}
],
"affected": [
{
"ranges": [
{
"type": "ECOSYSTEM",
"events": [
{
"introduced": "0"
}
]
}
],
"package": {
"name": "cvc5",
"purl": "pkg:deb/ubuntu/cvc5?arch=source&distro=noble",
"ecosystem": "Ubuntu:24.04:LTS"
},
"versions": [
"1.0.5-3",
"1.1.1-1",
"1.1.2-1",
"1.1.2-1build1"
],
"database_specific": {
"source": "https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-CVE-2024-37795.json"
},
"ecosystem_specific": {
"binaries": [
{
"binary_name": "cvc5",
"binary_version": "1.1.2-1build1"
},
{
"binary_name": "libcvc5-1",
"binary_version": "1.1.2-1build1"
},
{
"binary_name": "libcvc5parser1",
"binary_version": "1.1.2-1build1"
},
{
"binary_name": "python3-cvc5",
"binary_version": "1.1.2-1build1"
}
],
"priority_reason": "CLI crash only."
}
},
{
"ranges": [
{
"type": "ECOSYSTEM",
"events": [
{
"introduced": "0"
}
]
}
],
"package": {
"name": "cvc5",
"purl": "pkg:deb/ubuntu/cvc5?arch=source&distro=questing",
"ecosystem": "Ubuntu:25.10"
},
"versions": [
"1.1.2-2build1"
],
"database_specific": {
"source": "https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-CVE-2024-37795.json"
},
"ecosystem_specific": {
"binaries": [
{
"binary_name": "cvc5",
"binary_version": "1.1.2-2build1"
},
{
"binary_name": "libcvc5-1",
"binary_version": "1.1.2-2build1"
},
{
"binary_name": "libcvc5parser1",
"binary_version": "1.1.2-2build1"
},
{
"binary_name": "python3-cvc5",
"binary_version": "1.1.2-2build1"
}
],
"priority_reason": "CLI crash only."
}
},
{
"ranges": [
{
"type": "ECOSYSTEM",
"events": [
{
"introduced": "0"
}
]
}
],
"package": {
"name": "cvc5",
"purl": "pkg:deb/ubuntu/cvc5?arch=source&distro=stonking",
"ecosystem": "Ubuntu:26.10"
},
"versions": [
"1.3.2-1build1"
],
"database_specific": {
"source": "https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-CVE-2024-37795.json"
},
"ecosystem_specific": {
"binaries": [
{
"binary_name": "cvc5",
"binary_version": "1.3.2-1build1"
},
{
"binary_name": "libcvc5-1",
"binary_version": "1.3.2-1build1"
},
{
"binary_name": "libcvc5parser1",
"binary_version": "1.3.2-1build1"
},
{
"binary_name": "python3-cvc5",
"binary_version": "1.3.2-1build1"
}
],
"priority_reason": "CLI crash only."
}
},
{
"ranges": [
{
"type": "ECOSYSTEM",
"events": [
{
"introduced": "0"
}
]
}
],
"package": {
"name": "cvc5",
"purl": "pkg:deb/ubuntu/cvc5?arch=source&distro=resolute",
"ecosystem": "Ubuntu:26.04:LTS"
},
"versions": [
"1.1.2-2build1",
"1.1.2-3",
"1.3.2-1",
"1.3.2-1build1"
],
"database_specific": {
"source": "https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-CVE-2024-37795.json"
},
"ecosystem_specific": {
"binaries": [
{
"binary_name": "cvc5",
"binary_version": "1.3.2-1build1"
},
{
"binary_name": "libcvc5-1",
"binary_version": "1.3.2-1build1"
},
{
"binary_name": "libcvc5parser1",
"binary_version": "1.3.2-1build1"
},
{
"binary_name": "python3-cvc5",
"binary_version": "1.3.2-1build1"
}
],
"priority_reason": "CLI crash only."
}
}
],
"modified": "2026-10-17T12:56:37.548867414Z",
"provider": "osv",
"upstream": [
"CVE-2024-37795"
],
"references": [
"https://ubuntu.com/security/CVE-2024-37795",
"https://www.cve.org/CVERecord?id=CVE-2024-37795"
]
},
"related_cves": [
{
"value": "CVE-2024-37795",
"evidence": "/upstream"
}
],
"security_relevant": true,
"severity_evidence": "/severity/0/score"
},
"source_id": "core-osv",
"document_id": 355868,
"published_at": "2024-06-17T18:15:00+00:00"
}