UBUNTU-CVE-2024-37795

See a problem?
Please try reporting it to the source first.
Source
https://ubuntu.com/security/CVE-2024-37795
Import Source
https://github.com/canonical/ubuntu-security-notices/blob/main/osv/cve/2024/UBUNTU-CVE-2024-37795.json
JSON Data
https://api.osv.dev/v1/vulns/UBUNTU-CVE-2024-37795
Upstream
Published
2024-06-17T18:15:00Z
Modified
2025-10-10T15:19:40Z
Severity
  • 7.5 (High) CVSS_V3 - CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H CVSS Calculator
  • Ubuntu - low
Summary
[none]
Details

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.

References

Affected packages

Ubuntu:24.04:LTS / cvc5

Package

Name
cvc5
Purl
pkg:deb/ubuntu/cvc5@1.1.2-1build1?arch=source&distro=noble

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected

Affected versions

1.*

1.0.5-3
1.1.1-1
1.1.2-1
1.1.2-1build1

Ecosystem specific 

{
    "priority_reason": "CLI crash only.",
    "binaries": [
        {
            "binary_version": "1.1.2-1build1",
            "binary_name": "cvc5"
        },
        {
            "binary_version": "1.1.2-1build1",
            "binary_name": "libcvc5-1"
        },
        {
            "binary_version": "1.1.2-1build1",
            "binary_name": "libcvc5-dev"
        },
        {
            "binary_version": "1.1.2-1build1",
            "binary_name": "libcvc5parser1"
        },
        {
            "binary_version": "1.1.2-1build1",
            "binary_name": "python3-cvc5"
        }
    ]
}

Ubuntu:25.10 / cvc5

Package

Name
cvc5
Purl
pkg:deb/ubuntu/cvc5@1.1.2-2build1?arch=source&distro=questing

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected

Affected versions

1.*

1.1.2-2build1

Ecosystem specific 

{
    "priority_reason": "CLI crash only.",
    "binaries": [
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "cvc5"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "libcvc5-1"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "libcvc5-dev"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "libcvc5parser1"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "python3-cvc5"
        }
    ]
}

Ubuntu:25.04 / cvc5

Package

Name
cvc5
Purl
pkg:deb/ubuntu/cvc5@1.1.2-2build1?arch=source&distro=plucky

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected

Affected versions

1.*

1.1.2-2
1.1.2-2build1

Ecosystem specific 

{
    "priority_reason": "CLI crash only.",
    "binaries": [
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "cvc5"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "libcvc5-1"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "libcvc5-dev"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "libcvc5parser1"
        },
        {
            "binary_version": "1.1.2-2build1",
            "binary_name": "python3-cvc5"
        }
    ]
}