CVE-2019-7560

Опубликовано: 07 фев. 2019

Источник: debian

EPSS Низкий

Описание

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.

Пакет	Статус	Версия исправления	Релиз	Тип
boolector	not-affected			package

https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29
https://github.com/Boolector/boolector/commit/8d979d02e0482c7137c9f3a34e6d430dbfd1f5c5

EPSS

Процентиль: 43%

0.0021

Низкий

CVE-2019-7560

CVSS3: 5.5

ubuntu

около 7 лет назад

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.

CVE-2019-7560

CVSS3: 5.5

nvd

около 7 лет назад

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.

GHSA-g58x-799h-v9h6

CVSS3: 5.5

github

больше 3 лет назад

Boolector use after free

EPSS

Процентиль: 43%

0.0021

Низкий