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 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.
CVSS Information
N/A
Vulnerability Type
N/A
Vulnerability Title
Boolector 安全漏洞
Vulnerability Description
Boolector是一款Satisfiability Modulo Theories（SMT，可满足性模块理论）求解器。 Boolector 3.0.0版本中的parser/btorsmt2.c文件的‘btor_delete’和‘get_failed_assumptions’函数存在释放后重用漏洞。远程攻击者可诱使用户打开特制文件利用该漏洞造成拒绝服务。
CVSS Information
N/A
Vulnerability Type
N/A