Lucene search
Veracode Vulnerability DatabaseVERACODE:46246HistoryApr 06, 2024 - 6:18 a.m.
NULL Pointer Dereference
2024-04-0606:18:33
Veracode Vulnerability Database
sca.analysiscenter.veracode.com
4
minizinc
vulnerability
null pointer dereference
ti_expr
crafted file
attackers
MiniZinc is vulnerable to a NULL pointer dereference via ti_expr in a crafted .mzn file. This vulnerability arises due to improper handling of ti_expr, allowing attackers to trigger a NULL pointer dereference by providing a specially crafted .mzn file.
| CPE | Name | Operator | Version |
|---|---|---|---|
| minizinc:sid | eq | 2.5.3+dfsg1-1 | |
| minizinc:sid | eq | 2.5.2+dfsg1-1 | |
| minizinc:sid | eq | 2.5.3+dfsg1-1 | |
| minizinc:sid | eq | 2.5.2+dfsg1-1 |
Related
ubuntucve
ubuntucve
CVE-2023-46046
2024-03-27 00:00:00
debiancve
debiancve
CVE-2023-46046
2024-03-27 05:15:47
nvd
nvd
CVE-2023-46046
2024-03-27 05:15:47
cvelist
cvelist
CVE-2023-46046
2024-03-27 00:00:00
cve
cve
CVE-2023-46046
2024-03-27 05:15:47