CVE-2019-7560— Boolector 安全漏洞
新しい脆弱性情報の通知を購読するログインして購読
I. CVE-2019-7560の基本情報
脆弱性情報
脆弱性についてご質問がありますか？Shenlongの分析が参考になるかご確認ください！
Shenlongの10の質問を表示 ↗ 高度な大規模言語モデル技術を使用していますが、出力には不正確または古い情報が含まれる可能性があります。Shenlongはデータの正確性を確保するよう努めていますが、実際の状況に基づいて検証・判断してください。
脆弱性タイトル
N/A
ソース: NVD (National Vulnerability Database)
脆弱性説明
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 (National Vulnerability Database)
CVSS情報
N/A
ソース: NVD (National Vulnerability Database)
脆弱性タイプ
N/A
ソース: NVD (National Vulnerability Database)
脆弱性タイトル
Boolector 安全漏洞
ソース: CNNVD (China National Vulnerability Database)
脆弱性説明
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector 3.0.0版本中的parser/btorsmt2.c文件的‘btor_delete’和‘get_failed_assumptions’函数存在释放后重用漏洞。远程攻击者可诱使用户打开特制文件利用该漏洞造成拒绝服务。
ソース: CNNVD (China National Vulnerability Database)
CVSS情報
N/A
ソース: CNNVD (China National Vulnerability Database)
脆弱性タイプ
N/A
ソース: CNNVD (China National Vulnerability Database)
影響を受ける製品
| ベンダー | プロダクト | 影響を受けるバージョン | CPE | 購読 |
|---|---|---|---|---|
| - | n/a | n/a | - |
II. CVE-2019-7560の公開POC
| # | POC説明 | ソースリンク | Shenlongリンク |
|---|
AI生成POCプレミアム
公開POCは見つかりませんでした。
ログインしてAI POCを生成III. CVE-2019-7560のインテリジェンス情報
请登录查看更多情报信息。
- https://github.com/Boolector/boolector/issues/29x_refsource_MISC
- https://github.com/Boolector/boolector/issues/28x_refsource_MISC
- https://nvd.nist.gov/vuln/detail/CVE-2019-7560
Same Patch Batch · n/a · 2019-02-07 · 20 CVEs total
| CVE-2019-7567 | Waimai Super Cms 跨站脚本漏洞 | |
| CVE-2019-7587 | Bo-blog Wind SQL注入漏洞 | |
| CVE-2019-7585 | Waimai Super Cms SQL注入漏洞 | |
| CVE-2019-7582 | libming 缓冲区错误漏洞 | |
| CVE-2019-7581 | libming 缓冲区错误漏洞 | |
| CVE-2019-7580 | ThinkCMF 代码注入漏洞 | |
| CVE-2019-7535 | Gurock TestRail 信息泄露漏洞 | |
| CVE-2019-7570 | PbootCMS 跨站请求伪造漏洞 | |
| CVE-2019-7569 | DOYO 跨站请求伪造漏洞 | |
| CVE-2019-7568 | baijiacms SQL注入漏洞 | |
| CVE-2019-7572 | Simple DirectMedia Layer 缓冲区错误漏洞 | |
| CVE-2019-7566 | CSZ CMS 跨站请求伪造漏洞 | |
| CVE-2019-7559 | Boolector Btor2Tools 缓冲区错误漏洞 | |
| CVE-2019-7578 | Simple DirectMedia Layer 缓冲区错误漏洞 | |
| CVE-2019-7577 | Simple DirectMedia Layer 缓冲区错误漏洞 | |
| CVE-2019-7576 | Simple DirectMedia Layer 缓冲区错误漏洞 | |
| CVE-2019-7575 | Simple DirectMedia Layer 缓冲区错误漏洞 | |
| CVE-2019-7574 | Simple DirectMedia Layer 缓冲区错误漏洞 | |
| CVE-2019-7573 | Simple DirectMedia Layer 缓冲区错误漏洞 |
IV. 関連脆弱性
同じベンダー: n/a
- CVE-2026-8276
bettercap MySQL Server mysql_server.go integer coercion - CVE-2026-8275
bettercap zerogod IPP Service zerogod_ipp_primitives.go ippR - CVE-2026-8270
Open5GS SMF ogs_nas_parse_qos_rules denial of service - CVE-2026-8269
Open5GS SMF smf_nsmf_handle_create_sm_context denial of serv - CVE-2026-8268
Open5GS SMF OpenAPI_list_create denial of service
V. CVE-2019-7560へのコメント
まだコメントはありません