CVE-2019-7560 – pyboolector

Package

Manager: pip
Name: pyboolector
Vulnerable Version: >=0 <3.1.0

Severity

Level: High

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

CVSS v4.0: 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

EPSS: 0.0021 pctl0.4345

Details

Boolector use after free 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.

Metadata

Created: 2022-05-14T01:36:13Z
Modified: 2024-11-26T18:15:06Z
Source: https://github.com/github/advisory-database/blob/main/advisories/github-reviewed/2022/05/GHSA-g58x-799h-v9h6/GHSA-g58x-799h-v9h6.json
CWE IDs: ["CWE-416"]
Alternative ID: GHSA-g58x-799h-v9h6
Finding: F138
Auto approve: 1