[Git][security-tracker-team/security-tracker][master] Mark CVE-2019-7559 as NFU

[Salvatore Bonaccorso]

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


Commits:
15ce952b by Salvatore Bonaccorso at 2019-02-07T13:30:09Z
Mark CVE-2019-7559 as NFU

- - - - -


1 changed file:

- data/CVE/list


Changes:

=====================================
data/CVE/list
=====================================
@@ -53,7 +53,7 @@ CVE-2019-7561
 CVE-2019-7560 (In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted ...)
 	TODO: check
 CVE-2019-7559 (In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, ...)
-	TODO: check
+	NOT-FOR-US: Boolector Btor2Tools
 CVE-2019-7558
 	RESERVED
 CVE-2019-7557



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

-- 
View it on GitLab: https://salsa.debian.org/security-tracker-team/security-tracker/commit/15ce952bae69a7dee42981d28a75355f4762df2e
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/9ec2f1c7/attachment.html>