Lucene search
+L

CVE-2024-37795

🗓️ 17 Jun 2024 18:15:00Reported by ubuntu.comType 
ubuntucve
 ubuntucve
🔗 ubuntu.com👁 34 Views

A segmentation fault in CVC5 Solver v1.1.3 allows DoS via crafted SMT-LIB file with 'set-logic' command formatting error

Related
Packages
Refs
ReporterTitlePublishedViews
Family
cnnvd
CNNVD
CVC5 Solver Security Vulnerability
17 Jun 202400:00
–cnnvd
cve
CVE
CVE-2024-37795
17 Jun 202400:00
–cve
cvelist
Cvelist
CVE-2024-37795
17 Jun 202400:00
–cvelist
debiancve
Debian CVE
CVE-2024-37795
17 Jun 202400:00
–debiancve
mend
Mend
CVE-2024-37795
17 Jun 202400:00
–mend
nvd
NVD
CVE-2024-37795
17 Jun 202418:15
–nvd
osv_debian
osv_debian
DEBIAN-CVE-2024-37795
17 Jun 202418:15
–osv_debian
osv_ubuntu
osv_ubuntu
UBUNTU-CVE-2024-37795
17 Jun 202418:15
–osv_ubuntu
ptsecurity
Positive Technologies
PT-2024-27755 · Unknown +1 · Cvc5 Solver +1
17 Jun 202400:00
–ptsecurity
rapid7
Rapid7 Vulnerability Database (full)
CVE-2024-37795: Out-of-bounds Read
17 Jun 202400:00
–rapid7
Rows per page
OSOS VersionArchitecturePackagePackage VersionFilename
Ubuntu24.04allcvc50cvc5_0_all.deb
Ubuntu26.04allcvc50cvc5_0_all.deb

Data

Build on a solid foundation with Vulners data

We provide the essential building blocks for cybersecurity solutions with comprehensive, structured, and constantly updated vulnerability and exploits data

Api

Power your application with Vulners API

The Vulners REST API offers reliable, high-performance access to vulnerability intelligence, with 99.9% SLA uptime and CDN-backed data delivery for seamless global access

App

Assess and manage vulnerabilities with Vulners tools

Built on top of Vulners' database and SDK, end-user solutions give security professionals and developers lightweight and powerful tools for vulnerability remediation

11 Jul 2025 07:58Current
5.8Medium risk
Vulners AI Score5.8
CVSS 3.17.5
EPSS0.00467
SSVC
34