Detections
Analytics

SCA: security update for pyboolector (GHSA-g58x-799h-v9h6)

high Tenable Cloud Security Plugin ID 432709

Description

There are packages installed that are affected by a vulnerability referenced in the following CVE:

 - 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)

See Also

https://github.com/advisories/GHSA-g58x-799h-v9h6

Plugin Details

Severity: High

ID: 432709

Version: Revision 1.3

Type: Local

Family: SCA Checks

Published: 8/11/2025

Updated: 7/2/2026

Supported Sensors: Tenable Cloud Security, Tenable Self-Hosted Container Security

Risk Information

VPR

Risk Factor: Low

Score: 3

Percentile: 23.18

Vendor

Vendor Severity: High

CVSS v2

Risk Factor: Medium

Base Score: 4.3

Temporal Score: 3.4

Vector: CVSS2#AV:N/AC:M/Au:N/C:N/I:N/A:P

CVSS Score Source: CVE-2019-7560

CVSS v3

Risk Factor: Medium

Base Score: 5.5

Temporal Score: 5

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

Temporal Vector: CVSS:3.0/E:P/RL:O/RC:C

CVSS v4

Risk Factor: High

Base Score: 7.1

Threat Score: 5.7

Threat Vector: CVSS:4.0/E:P

Vector: CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:P/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N

Vulnerability Information

Exploit Available: true

Exploit Ease: Exploits are available

Patch Publication Date: 5/14/2022

Vulnerability Publication Date: 2/7/2019

Reference Information

CVE: CVE-2019-7560

cwe: CWE-416