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.
This Cyber News was published on www.tenable.com. Publication date: Tue, 18 Jun 2024 18:52:02 +0000