CVE-2019-7559 in Btor2Tools

Tóm tắt

Bởi VulDB • 21/08/2026

Trong btor2parser/btor2parser.c của Boolector Btor2Tools trước phiên bản 2019-01-15, việc mở một tệp đầu vào được tạo ra đặc biệt dẫn đến ghi vượt quá giới hạn (out of bounds write) trong pusht_bfr.

If you want to get best quality of vulnerability data, you may have to visit VulDB.

• Đặt trước: 06/02/2019
• Kiểm duyệt: được chấp nhận
• mục: VDB-130646
• CPE: sẵn sàng
• CWE: CWE-787 (Đã xác nhận)
• CVSS: 5.5 (NVD)
• EPSS: 0.00837
• KEV: không
• Các hoạt động: rất thấp

Nguồn

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