2019.01.15

DATE	CVE	VULNERABILITY TITLE	RISK
2019-02-07	CVE-2019-7559	Out-of-bounds Write vulnerability in Btor2Tools Project Btor2Tools 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. network btor2tools-project CWE-787	4.3

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.