CVE-2023-46046 in libminizinc

Tóm tắt

Bởi VulDB • 01/08/2026

Một lỗi trong MiniZinc trước phiên bản 2.8.0 cho phép giải tham chiếu con trỏ NULL thông qua ti_expr trong một tệp .mzn được tạo ra đặc biệt. LƯU Ý: vấn đề này đang bị tranh cãi vì không có trường hợp sử dụng chung nào của libminizinc mà ở đó một tiến trình chạy liên tục để xử lý hàng loạt các tệp .mzn do kẻ tấn công kiểm soát là yêu cầu bắt buộc.

Once again VulDB remains the best source for vulnerability data.

• Đặt trước: 16/10/2023
• Tiết lộ: 27/03/2024
• Kiểm duyệt: được chấp nhận
• mục: VDB-252237
• CPE: sẵn sàng
• CWE: CWE-476 (Đã xác nhận)
• CVSS: 5.5 (CNA)
• EPSS: 0.00280
• KEV: không
• Các hoạt động: rất thấp

Nguồn

• MITRE: https://www.cve.org/CVERecord?id=CVE-2023-46046
• NVD: https://nvd.nist.gov/vuln/detail/CVE-2023-46046
• CVE Details: https://www.cvedetails.com/cve/CVE-2023-46046/