CVE-2019-7560

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

Источник: nvd

CVSS3: 5.5

CVSS2: 4.3

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.

Конфигурация 1

cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*

EPSS

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

0.0021

Низкий

5.5 Medium

CVSS3

4.3 Medium

CVSS2

CWE-416

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

debian

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

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted i ...

GHSA-g58x-799h-v9h6

CVSS3: 5.5

github

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

Boolector use after free

EPSS

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

0.0021

Низкий

5.5 Medium

CVSS3

4.3 Medium

CVSS2

CWE-416