漏洞信息
尽管我们使用了先进的大模型技术,但其输出仍可能包含不准确或过时的信息。神龙努力确保数据的准确性,但请您根据实际情况进行核实和判断。
漏洞
N/A
漏洞信息
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.
漏洞信息
N/A
漏洞
N/A
漏洞
Boolector Btor2Tools 缓冲区错误漏洞
漏洞信息
Boolector是一款Satisfiability Modulo Theories(SMT,可满足性模块理论)求解器。 Boolector Btor2Tools 2019-01-15之前版本中的tor2parser / btor2parser.c文件的‘pusht_bfr’函数存在越界写入漏洞。远程攻击者可通过诱使用户打开特制的文件利用该漏洞造成拒绝服务。
漏洞信息
N/A
漏洞
N/A