Skip to content
OpenAdvisories

Package · Ubuntu

cvc5

2 known vulnerabilities.

All Critical High Medium Low Exploited only Public exploit

2 results · Feed

  • High 7.5
    CVE-2024-37795

    A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB in…

    cvc5 cvc5 Debian Ubuntu
  • High 7.5
    CVE-2024-37794

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

    cvc5 cvc5 Debian Ubuntu