CVE-2019-7559
Get alerts for future matching vulnerabilitiesLog in to subscribe
I. Basic Information for CVE-2019-7559
Vulnerability Information
Have questions about the vulnerability? See if Shenlong's analysis helps!
View Shenlong Deep Dive ↗ Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.
Vulnerability Title
N/A
Source: NVD (National Vulnerability Database)
Vulnerability Description
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
Source: NVD (National Vulnerability Database)
CVSS Information
N/A
Source: NVD (National Vulnerability Database)
Vulnerability Type
N/A
Source: NVD (National Vulnerability Database)
Vulnerability Title
Boolector Btor2Tools 缓冲区错误漏洞
Source: CNNVD (China National Vulnerability Database)
Vulnerability Description
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector Btor2Tools 2019-01-15之前版本中的tor2parser / btor2parser.c文件的‘pusht_bfr’函数存在越界写入漏洞。远程攻击者可通过诱使用户打开特制的文件利用该漏洞造成拒绝服务。
Source: CNNVD (China National Vulnerability Database)
CVSS Information
N/A
Source: CNNVD (China National Vulnerability Database)
Vulnerability Type
N/A
Source: CNNVD (China National Vulnerability Database)
Affected Products
| Vendor | Product | Affected Versions | CPE | Subscribe |
|---|---|---|---|---|
| - | n/a | n/a | - |
II. Public POCs for CVE-2019-7559
| # | POC Description | Source Link | Shenlong Link |
|---|
AI-Generated POCPremium
No public POC found.
Login to generate AI POCIII. Intelligence Information for CVE-2019-7559
请登录查看更多情报信息。
- https://github.com/Boolector/boolector/issues/30x_refsource_MISC
- https://nvd.nist.gov/vuln/detail/CVE-2019-7559
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-7560 | Boolector 安全漏洞 | |
| 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. Related Vulnerabilities
Same vendor: 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. Comments for CVE-2019-7559
No comments yet