CVE-2024-37794

See a problem?
Please try reporting it to the source first.

Source

https://nvd.nist.gov/vuln/detail/CVE-2024-37794

Import Source

JSON Data

https://api.osv.dev/v1/vulns/CVE-2024-37794

Downstream

Published

2024-06-17T18:15:17Z

Modified

2025-07-29T11:12:51.586397Z

Summary

[none]

Details

Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.

References

Affected packages

Type: ECOSYSTEM
Events: Introduced

0Unknown introduced version / All previous versions are affected

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

{
    "urgency": "unimportant"
}

Type: ECOSYSTEM
Events: Introduced

0Unknown introduced version / All previous versions are affected

1.1.2-2

{
    "urgency": "unimportant"
}