Vulnerabilities > Boolector Project

DATE	CVE	VULNERABILITY TITLE	RISK
2019-02-07	CVE-2019-7560	Use After Free vulnerability in Boolector Project Boolector 3.0.0 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. local low complexity boolector-project CWE-416	5.5

CVE is a registered MITRE Corporation trademark and MITRE's CVE website is the authoritative source of CVE content. CWE is a registered MITRE Corporation trademark and MITRE's CWE website is the authoritative source of CWE content.

Vulnerabilities > Boolector Project {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Vulnerabilities","item":"https://cyber.vumetric.com/vulns/"},{"@type":"ListItem","position":2,"name":"Boolector Project"}]}

Vulnerabilities > Boolector Project