Boolector 安全漏洞

CVE编号

CVE-2019-7560

利用情况

暂无

补丁情况

N/A

披露时间

2019-02-07

漏洞描述

Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector 3.0.0版本中的parser/btorsmt2.c文件的‘btor_delete’和‘get_failed_assumptions’函数存在释放后重用漏洞。远程攻击者可诱使用户打开特制文件利用该漏洞造成拒绝服务。

解决建议

建议您更新当前系统或软件至最新版，完成漏洞的修复。

参考链接
https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29

受影响软件情况

#	类型	厂商	产品	版本	影响面
1
	运行在以下环境
	应用	boolector_project	boolector	3.0.0	-

CVSS3评分 5.5

• 攻击路径 本地
• 攻击复杂度 低
• 权限要求 无
• 影响范围 未更改
• 用户交互 需要
• 可用性 高
• 保密性 无
• 完整性 无

CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H CWE-ID 漏洞类型 CWE-416 释放后使用