Lucene search
K
Database
Vendors
Products
Years
CVSS
Scanner
Agent Scanning
API Scanning
Manual Audit
Perimeter Scanner
Scanning
Projects
Email
Webhook
Plugins
Resources
Documents
Blog
Glossary
FAQ
Pricing
Contacts
About Us
Partners
Branding Guideline
nvd[email protected]NVD:CVE-2019-7560
HistoryFeb 07, 2019 - 7:29 a.m.

CVE-2019-7560

2019-02-0707:29:00
CWE-416
[email protected]
web.nvd.nist.gov
4

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

EPSS

0.001

Percentile

25.9%

JSON

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.

Affected configurations

Nvd
Node
boolector_projectboolectorMatch3.0.0
VendorProductVersionCPE
boolector_projectboolector3.0.0cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*

Related

cvelist 1
cve 1
debiancve 1
prion 1
ubuntucve 1
osv 1
cvelist
cvelist
CVE-2019-7560
2019-02-07 07:00:00
cve
cve
CVE-2019-7560
2019-02-07 07:29:00
debiancve
debiancve
CVE-2019-7560
2019-02-07 07:29:00
prion
prion
Design/Logic Flaw
2019-02-07 07:29:00
ubuntucve
ubuntucve
CVE-2019-7560
2019-02-07 00:00:00
osv
osv
CVE-2019-7560
2019-02-07 07:29:00

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

EPSS

0.001

Percentile

25.9%

JSON
Related for NVD:CVE-2019-7560
cvelist1cve1debiancve1prion1ubuntucve1osv1