3 matches found
MINI-WRC4-RPX4-CVC5
Bulletin has no description...
7.5CVSS4.8AI score0.0034EPSS
SaveExploits0
DEBIAN-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...
7.5CVSS5.3AI score0.00467EPSS
SaveExploits0References1
UBUNTU-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...
7.5CVSS5.8AI score0.00467EPSS
SaveExploits0References2
20