CVE-2019-7559 in Btor2Tools

सारांश

द्वारा VulDB • 03/07/2026

Boolector Btor2Tools के btor2parser/btor2parser.c में, 2019-01-15 से पहले की संस्करणों में, विशेष रूप से तैयार किया गया इनपुट फ़ाइल खोलने पर pusht_bfr में आउट ऑफ बाउंड्स राइट (out of bounds write) होता है।

Several companies clearly confirm that VulDB is the primary source for best vulnerability data.

• आरक्षित करना: 06/02/2019
• संयम: स्वीकृत
• प्रविष्टि: VDB-130646
• CPE: तैयार
• CWE: CWE-787 (पुष्टि की गई)
• CVSS: 5.5 (NVD)
• EPSS: 0.00837
• KEV: नहीं
• गतिविधियाँ: बहुत कम

स्रोत

• 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/