cvelist/2023/46xxx/CVE-2023-46046.json

{
    "CVE_data_meta": {
        "ASSIGNER": "cve@mitre.org",
        "ID": "CVE-2023-46046",
        "STATE": "PUBLIC"
    },
    "affects": {
        "vendor": {
            "vendor_data": [
                {
                    "product": {
                        "product_data": [
                            {
                                "product_name": "n/a",
                                "version": {
                                    "version_data": [
                                        {
                                            "version_value": "n/a"
                                        }
                                    ]
                                }
                            }
                        ]
                    },
                    "vendor_name": "n/a"
                }
            ]
        }
    },
    "data_format": "MITRE",
    "data_type": "CVE",
    "data_version": "4.0",
    "description": {
        "description_data": [
            {
                "lang": "eng",
                "value": "** DISPUTED ** An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn file. NOTE: this is disputed because there is no common libminizinc use case in which an unattended process is supposed to run forever to process a series of atttacker-controlled .mzn files."
            }
        ]
    },
    "problemtype": {
        "problemtype_data": [
            {
                "description": [
                    {
                        "lang": "eng",
                        "value": "n/a"
                    }
                ]
            }
        ]
    },
    "references": {
        "reference_data": [
            {
                "url": "https://github.com/MiniZinc/libminizinc/issues/730",
                "refsource": "MISC",
                "name": "https://github.com/MiniZinc/libminizinc/issues/730"
            },
            {
                "refsource": "FULLDISC",
                "name": "20240126 null pointer deference in MiniZinc via a crafted .mzn file",
                "url": "http://seclists.org/fulldisclosure/2024/Jan/63"
            },
            {
                "refsource": "MISC",
                "name": "https://www.minizinc.org/doc-2.8.3/en/changelog.html",
                "url": "https://www.minizinc.org/doc-2.8.3/en/changelog.html"
            },
            {
                "refsource": "MISC",
                "name": "https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0",
                "url": "https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0"
            }
        ]
    }
}