Lucene search

MitreCVE-2019-7559

HistoryFeb 07, 2019 - 7:29 a.m.

CVE-2019-7559

2019-02-0707:29:00

CWE-787

mitre

web.nvd.nist.gov

cve

2019

7559

boolector

btor2tools

security

vulnerability

out of bounds

nvd

CVSS2

4.3

Attack Vector

NETWORK

Attack Complexity

MEDIUM

Authentication

NONE

Confidentiality Impact

NONE

Integrity Impact

NONE

Availability Impact

PARTIAL

AV:N/AC:M/Au:N/C:N/I:N/A:P

CVSS3

5.5

Attack Vector

LOCAL

Attack Complexity

LOW

Privileges Required

NONE

User Interaction

REQUIRED

Scope

UNCHANGED

Confidentiality Impact

NONE

Integrity Impact

NONE

Availability Impact

HIGH

CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H

AI Score

5.5

Confidence

High

EPSS

0.001

Percentile

32.8%

JSON

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.

Affected configurations

Nvd

Node

btor2tools_projectbtor2toolsRange≤2019-01-15

VendorProductVersionCPE
btor2tools_projectbtor2tools*cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:*

Vendor	Product	Version	CPE
btor2tools_project	btor2tools	*	cpe:2.3:a:btor2tools_project:btor2tools::::::::

References

github.com/Boolector/boolector/issues/30

CVSS2

4.3

Attack Vector

NETWORK

Attack Complexity

MEDIUM

Authentication

NONE

Confidentiality Impact

NONE

Integrity Impact

NONE

Availability Impact

PARTIAL

AV:N/AC:M/Au:N/C:N/I:N/A:P

CVSS3

5.5

Attack Vector

LOCAL

Attack Complexity

LOW

Privileges Required

NONE

User Interaction

REQUIRED

Scope

UNCHANGED

Confidentiality Impact

NONE

Integrity Impact

NONE

Availability Impact

HIGH

CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H

AI Score

5.5

Confidence

High

EPSS

0.001

Percentile

32.8%

JSON

Related for CVE-2019-7559