Vulnerability Information
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
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.
CVSS Information
N/A
Vulnerability Type
N/A
Vulnerability Title
Boolector Btor2Tools 缓冲区错误漏洞
Vulnerability Description
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector Btor2Tools 2019-01-15之前版本中的tor2parser / btor2parser.c文件的‘pusht_bfr’函数存在越界写入漏洞。远程攻击者可通过诱使用户打开特制的文件利用该漏洞造成拒绝服务。
CVSS Information
N/A
Vulnerability Type
N/A