CVE:CVE-2019-7559
CNNVD:CNNVD-201902-145
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。
Boolector Btor2Tools 2019-01-15之前版本中的tor2parser / btor2parser.c文件的‘pusht_bfr’函数存在越界写入漏洞。远程攻击者可通过诱使用户打开特制的文件利用该漏洞造成拒绝服务。
solution:Upgrade btor2tools_project btor2tools to a higher version than 2019-01-15,and avoid the version (,2019-01-15]