CVE-2024-37795

See a problem?
Source
https://nvd.nist.gov/vuln/detail/CVE-2024-37795
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2024-37795.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2024-37795
Related
Published
2024-06-17T18:15:17Z
Modified
2024-09-18T03:26:26.351268Z
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

Debian:12 / cvc5

Package

Name
cvc5
Purl
pkg:deb/debian/cvc5?arch=source

Affected ranges

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

Affected versions

1.*

1.0.3-1
1.0.5-1
1.0.5-2
1.0.5-3
1.0.8-1
1.1.1-1
1.1.2-1
1.1.2-2

Ecosystem specific

{
    "urgency": "not yet assigned"
}

Debian:13 / cvc5

Package

Name
cvc5
Purl
pkg:deb/debian/cvc5?arch=source

Affected ranges

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

Affected versions

1.*

1.0.3-1
1.0.5-1
1.0.5-2
1.0.5-3
1.0.8-1
1.1.1-1
1.1.2-1
1.1.2-2

Ecosystem specific

{
    "urgency": "not yet assigned"
}