Boolector Btor2Tools 缓冲区错误漏洞 CVE-2019-7559 CNNVD-201902-145
4.3
AV
AC
AU
C
I
A
发布：
2019-02-07
修订：
2019-02-08
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector Btor2Tools 2019-01-15之前版本中的tor2parser / btor2parser.c文件的‘pusht_bfr’函数存在越界写入漏洞。远程攻击者可通过诱使用户打开特制的文件利用该漏洞造成拒绝服务。
漏洞利用/PoC
暂无可用Exp或PoC
受影响的平台与产品
当前有1条受影响产品信息
