CVE Feed

    Dashboard / CVE / CVE-2024-37795

    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.

    Published:Jun 17, 2024
    Last Modified:Apr 15, 2026
    EPS:Jun 17, 2024
    EPSS Score:0.00188
    CVSS Score:7.5

    Affected Products

    Vendor
    Cvc5
    Product
    Cvc5

    Exploits

    No exploit reference

    Common Weakness Enumeration

    CWE-125 Out-of-bounds Read

    Common Attack Pattern Enumeration and Classification (CAPEC)

    CAPEC-540 Overread Buffers

    Common Vulnerability Scoring System

    Attack Vector
    Network
    Adjacent
    Local
    Physical
    Privileges Required
    None
    Low
    High
    User Interaction
    None
    Required
    Scope
    Unchanged
    Changed
    Confidentiality
    None
    Low
    High
    Integrity
    None
    Low
    High
    Availability
    None
    Low
    High