正文

Boolector Btor2Tools 缓冲区错误漏洞

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

漏洞信息详情

Boolector Btor2Tools 缓冲区错误漏洞

  • CNNVD编号：CNNVD-201902-145
    • <!--
  • 危害等级： 中危-->
  • 危害等级： 中危
  • CVE编号： CVE-2019-7559
  • 漏洞类型： 缓冲区错误
  • 发布时间： 2019-02-07
  • 威胁类型： 本地
  • 更新时间： 2019-04-01
  • 厂        商：
  • 漏洞来源：

漏洞简介

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

Boolector Btor2Tools 2019-01-15之前版本中的tor2parser / btor2parser.c文件的‘pusht_bfr’函数存在越界写入漏洞。远程攻击者可通过诱使用户打开特制的文件利用该漏洞造成拒绝服务。

漏洞公告

目前厂商已发布升级补丁以修复漏洞，补丁获取链接：

https://github.com/Boolector/boolector/issues/30

参考网址

来源:github.com

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

来源:nvd.nist.gov

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

受影响实体

    暂无


补丁

  • 安全漏洞的修复措施
    <!--
    2019-2-7
    -->