Description
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.
Fixed in Linux distributions
Distributions backport fixes, so the version that fixes this vulnerability differs per release — upgrade to at least the version shown. From the distributions' security trackers and advisories.
Debian
Security tracker ↗| Release | Package | Fixed in | Advisory |
|---|---|---|---|
| Debian 13 | cvc5 | No fix yet | — |
| Debian 12 | cvc5 | No fix yet | — |
Ubuntu
Security tracker ↗| Release | Package | Fixed in | Advisory |
|---|---|---|---|
| Ubuntu 26.10 | cvc5 | No fix yet | — |
| Ubuntu 26.04 LTS | cvc5 | No fix yet | — |
| Ubuntu 25.10 | cvc5 | No fix yet | — |
| Ubuntu 24.04 LTS | cvc5 | No fix yet | — |