5 matches found
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 input file containing the set-logic command with specific formatting errors...
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 input file containing the set-logic command with specific formatting errors...
CVC5 Solver Security Vulnerability
cvc5 is a tool in the cvc5 open source. It is used to determine the satisfiability of first-order formulas modulo first-order theories or combinations of these theories. A security vulnerability exists in CVC5 Solver version v1.1.3, which stems from a segmentation error that allows an attacker to...
CVE-2024-37795
A segmentation fault in CVC5 Solver v1.1.3 enables an attacker to trigger a Denial of Service (DoS) . The vulnerability is caused by specific formatting errors within a crafted SMT-LIB input file when processing the set-logic command. While some Linux distributions may list the package as unpatch...
