正文

Boolector 安全漏洞

admin
admin V管理员 /0 评论 /13 阅读
0222
此篇文章发布距今已超过1166天，您需要注意文章的内容或图片是否可用！

漏洞信息详情

Boolector 安全漏洞

  • CNNVD编号：CNNVD-201902-146
    • <!--
  • 危害等级： 中危-->
  • 危害等级： 中危
  • CVE编号： CVE-2019-7560
  • 漏洞类型： 资料不足
  • 发布时间： 2019-02-07
  • 威胁类型： 本地
  • 更新时间： 2019-04-01
  • 厂        商：
  • 漏洞来源：

漏洞简介

Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。

Boolector 3.0.0版本中的parser/btorsmt2.c文件的‘btor_delete’和‘get_failed_assumptions’函数存在释放后重用漏洞。远程攻击者可诱使用户打开特制文件利用该漏洞造成拒绝服务。

漏洞公告

目前厂商暂未发布修复措施解决此安全问题，建议使用此软件的用户随时关注厂商主页或参考网址以获取解决办法：

https://github.com/Boolector/boolector

参考网址

来源:github.com

链接:https://github.com/Boolector/boolector/issues/29ExploitPatchThird Party Advisory

来源:github.com

链接:https://github.com/Boolector/boolector/issues/28ExploitPatchThird Party Advisory

来源:nvd.nist.gov

链接:https://nvd.nist.gov/vuln/detail/CVE-2019-7560

受影响实体

    暂无


补丁

    暂无