Podatność CVE-2019-7559

Podatność CVE-2019-7559

Publikacja: 2019-02-07

Opis:

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.

Typ:

CWE-787

CVSS2 => (AV:N/AC:M/Au:N/C:N/I:N/A:P)

Ogólna skala CVSS	Znaczenie	Łatwość wykorzystania
4.3/10	2.9/10	8.6/10

Wymagany dostęp	Złożoność ataku	Autoryzacja
Zdalny	Średnia	Nie wymagana
Wpływ na poufność	Wpływ na integralność	Wpływ na dostępność
Brak	Brak	Częściowy

Affected software
Btor2tools project -> Btor2tools

Referencje:

https://github.com/Boolector/boolector/issues/30

Copyright 2024, cxsecurity.com