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