Podatność CVE-2019-7560
Publikacja: 2019-02-07

Opis:
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.

Typ:

CWE-416

 (Use After Free)

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
Boolector project -> Boolector 

 Referencje:
https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29
Copyright 2024, cxsecurity.com

 

Back to Top