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.
_______________________________________________
debian-security-tracker-commits mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-security-tracker-commits
