CVE:CVE-2019-7560
CNNVD:CNNVD-201902-146
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。
Boolector 3.0.0版本中的parser/btorsmt2.c文件的‘btor_delete’和‘get_failed_assumptions’函数存在释放后重用漏洞。远程攻击者可诱使用户打开特制文件利用该漏洞造成拒绝服务。
solution:Upgrade boolector_project boolector to a higher version than 3.0.0,and avoid the version 3.0.0