{"dataType":"CVE_RECORD","dataVersion":"5.2","cveMetadata":{"state":"PUBLISHED","cveId":"CVE-2023-46046","assignerOrgId":"8254265b-2729-46b6-b9e3-3dfca2d5bfca","assignerShortName":"mitre","dateUpdated":"2025-11-04T18:18:37.323Z","dateReserved":"2023-10-16T00:00:00.000Z","datePublished":"2024-03-27T00:00:00.000Z"},"containers":{"cna":{"providerMetadata":{"orgId":"8254265b-2729-46b6-b9e3-3dfca2d5bfca","shortName":"mitre","dateUpdated":"2024-03-27T04:54:21.950Z"},"descriptions":[{"lang":"en","value":"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."}],"tags":["disputed"],"affected":[{"vendor":"n/a","product":"n/a","versions":[{"version":"n/a","status":"affected"}]}],"references":[{"url":"https://github.com/MiniZinc/libminizinc/issues/730"},{"name":"20240126 null pointer deference in MiniZinc via a crafted .mzn file","tags":["mailing-list"],"url":"http://seclists.org/fulldisclosure/2024/Jan/63"},{"url":"https://www.minizinc.org/doc-2.8.3/en/changelog.html"},{"url":"https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0"}],"problemTypes":[{"descriptions":[{"type":"text","lang":"en","description":"n/a"}]}]},"adp":[{"problemTypes":[{"descriptions":[{"type":"CWE","cweId":"CWE-476","lang":"en","description":"CWE-476 NULL Pointer Dereference"}]}],"metrics":[{"cvssV3_1":{"scope":"UNCHANGED","version":"3.1","baseScore":5.5,"attackVector":"LOCAL","baseSeverity":"MEDIUM","vectorString":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:N/I:N/A:H","integrityImpact":"NONE","userInteraction":"NONE","attackComplexity":"LOW","availabilityImpact":"HIGH","privilegesRequired":"LOW","confidentialityImpact":"NONE"}},{"other":{"type":"ssvc","content":{"timestamp":"2024-04-17T03:12:01.295697Z","id":"CVE-2023-46046","options":[{"Exploitation":"none"},{"Automatable":"no"},{"Technical Impact":"partial"}],"role":"CISA Coordinator","version":"2.0.3"}}}],"title":"CISA ADP Vulnrichment","providerMetadata":{"orgId":"134c704f-9b21-4f2e-91b3-4a467353bcc0","shortName":"CISA-ADP","dateUpdated":"2024-11-05T15:23:01.937Z"}},{"title":"CVE Program Container","references":[{"url":"https://github.com/MiniZinc/libminizinc/issues/730","tags":["x_transferred"]},{"name":"20240126 null pointer deference in MiniZinc via a crafted .mzn file","tags":["mailing-list","x_transferred"],"url":"http://seclists.org/fulldisclosure/2024/Jan/63"},{"url":"https://www.minizinc.org/doc-2.8.3/en/changelog.html","tags":["x_transferred"]},{"url":"https://github.com/MiniZinc/libminizinc/commit/afe67acc20898e4308044b54c4acf7a08df544f0","tags":["x_transferred"]},{"url":"http://packetstormsecurity.com/files/176817/MiniZinc-2.7.6-Null-Pointer.html"}],"providerMetadata":{"orgId":"af854a3a-2127-422b-91ae-364da2661108","shortName":"CVE","dateUpdated":"2025-11-04T18:18:37.323Z"}}]}}