Vulnerability Information
Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.
Vulnerability Title
N/A
Vulnerability Description
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.
CVSS Information
N/A
Vulnerability Type
N/A
Vulnerability Title
MiniZinc 安全漏洞
Vulnerability Description
MiniZinc是一种高级约束建模语言，用于轻松表达和解决离散优化问题。 MiniZinc 2.8.0之前版本存在安全漏洞，该漏洞源于允许通过特制的 .mzn 文件中的 ti_expr 进行 NULL 指针取消引用。
CVSS Information
N/A
Vulnerability Type
N/A