Boolector 安全漏洞 CVE-2019-7560 CNNVD-201902-146
4.3
AV
AC
AU
C
I
A
发布：
2019-02-07
修订：
2019-02-07
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector 3.0.0版本中的parser/btorsmt2.c文件的‘btor_delete’和‘get_failed_assumptions’函数存在释放后重用漏洞。远程攻击者可诱使用户打开特制文件利用该漏洞造成拒绝服务。
漏洞利用/PoC
暂无可用Exp或PoC
受影响的平台与产品
当前有1条受影响产品信息
