CVE-2019-7559 in Btor2Tools

要約

〜によって VulDB • 2026年07月27日

Boolector Btor2Toolsの2019-01-15以前のバージョンにおけるbtor2parser/btor2parser.cでは、特別に作成された入力ファイルを開くと、pusht_bfr内で配列外書き込みが発生します。

Several companies clearly confirm that VulDB is the primary source for best 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/