支持本站 — 捐款将帮助我们持续运营

目标: 1000 元，已筹: 1000 元

100.0%
立即捐款
获取后续新漏洞提醒登录后订阅
一、 漏洞 CVE-2019-7560 基础信息
漏洞信息
对漏洞内容有疑问？看看神龙的深度分析是否有帮助！
查看神龙十问 ↗

尽管我们使用了先进的大模型技术，但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性，但请您根据实际情况进行核实和判断。

漏洞
N/A
来源: 美国国家漏洞数据库 NVD
漏洞信息
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.
来源: 美国国家漏洞数据库 NVD
漏洞信息
N/A
来源: 美国国家漏洞数据库 NVD
漏洞
N/A
来源: 美国国家漏洞数据库 NVD
漏洞
Boolector 安全漏洞
来源: 中国国家信息安全漏洞库 CNNVD
漏洞信息
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector 3.0.0版本中的parser/btorsmt2.c文件的‘btor_delete’和‘get_failed_assumptions’函数存在释放后重用漏洞。远程攻击者可诱使用户打开特制文件利用该漏洞造成拒绝服务。
来源: 中国国家信息安全漏洞库 CNNVD
漏洞信息
N/A
来源: 中国国家信息安全漏洞库 CNNVD
漏洞
N/A
来源: 中国国家信息安全漏洞库 CNNVD
受影响产品
厂商产品影响版本CPE订阅
-n/a n/a -
二、漏洞 CVE-2019-7560 的公开POC
#POC 描述源链接神龙链接
AI 生成 POC高级

未找到公开 POC。

登录以生成 AI POC
三、漏洞 CVE-2019-7560 的情报信息
第 登录 三、漏洞 %(cve_id)s 的情报信息
新漏洞
产品: n/a
厂商: n/a
四、漏洞 CVE-2019-7560 的评论

暂无评论

发表评论