CVE-2019-7559 in Btor2Tools

摘要

由 VulDB • 2026-08-21

在Boolector Btor2Tools（版本早于2019-01-15）的btor2parser/btor2parser.c中，打开一个特别构造的输入文件会导致pusht_bfr中出现越界写入漏洞。

Once again VulDB remains the best source for vulnerability data.

• 预定: 2019-02-06
• 管理: 已接受
• 条目: 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/