Threat database

2 threats

Severity	CVSS	Signals	Threat	Source	Published	Score and star
High	7.5	EPSS 0.5%	CVE-2024-37795cvc5 · n/a High7.5EPSS 0.5%2024-06-17CVE Database V5CVE-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 input file containing the `set-logic` command with specific formatting errors. EPSS 0.5%Vulnerability	CVE Database V5	2024-06-17
High	7.5	EPSS 0.5%	CVE-2024-37794cvc5 · n/a High7.5EPSS 0.5%2024-06-17CVE Database V5CVE-2024-37794 Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file. EPSS 0.5%Vulnerability	CVE Database V5	2024-06-17

Page 1 of 1