[Git][security-tracker-team/security-tracker][master] Add CVE-2019-7560/boolector

[Salvatore Bonaccorso]

Salvatore Bonaccorso pushed to branch master at Debian Security Tracker / security-tracker


Commits:
579771f7 by Salvatore Bonaccorso at 2019-02-07T13:30:51Z
Add CVE-2019-7560/boolector

- - - - -


1 changed file:

- data/CVE/list


Changes:

=====================================
data/CVE/list
=====================================
@@ -51,7 +51,10 @@ CVE-2019-7562
 CVE-2019-7561
 	RESERVED
 CVE-2019-7560 (In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted ...)
-	TODO: check
+	- boolector <not-affected> (Vulnerable code introduced later)
+	NOTE: https://github.com/Boolector/boolector/issues/28
+	NOTE: https://github.com/Boolector/boolector/issues/29
+	NOTE: https://github.com/Boolector/boolector/commit/8d979d02e0482c7137c9f3a34e6d430dbfd1f5c5
 CVE-2019-7559 (In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, ...)
 	NOT-FOR-US: Boolector Btor2Tools
 CVE-2019-7558



View it on GitLab: https://salsa.debian.org/security-tracker-team/security-tracker/commit/579771f7262a2e177f884b8076ed8c454e177f04

-- 
View it on GitLab: https://salsa.debian.org/security-tracker-team/security-tracker/commit/579771f7262a2e177f884b8076ed8c454e177f04
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/debian-security-tracker-commits/attachments/20190207/c7f87f29/attachment.html>