PT-2019-18647 · None · Boolector

Publicado 2019-02-07 · Atualizado 2022-05-14 · CVE-2019-7560

Positive Technologies (AI Summary)

CVSS v4.0

7.1

Alta

Vetor base

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

Name of the Vulnerable Software and Affected Versions Boolector version 3.0.0

Description The issue arises in the parser/btorsmt2.c file of Boolector, where opening a specially crafted input file can lead to a use after free error in the get failed assumptions or btor delete functions.

Recommendations For Boolector version 3.0.0, consider avoiding the use of specially crafted input files until a patch is available. As a temporary workaround, restrict access to the get failed assumptions and btor delete functions to minimize the risk of exploitation. At the moment, there is no information about a newer version that contains a fix for this issue.

Exploit

Correção

Use After Free

Enumeração de Fraquezas

CWE-416

Identificadores relacionados

CVE-2019-7560

GHSA-G58X-799H-V9H6

PYSEC-2019-252

Produtos afetados

Boolector

Referências · 8

• 🔥 https://github.com/Boolector/boolector/issues/29 · Exploit
• 🔥 https://github.com/Boolector/boolector/issues/28 · Exploit
• https://github.com/boolector/boolector · Nota
• https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml · Nota
• https://nvd.nist.gov/vuln/detail/CVE-2019-7560 · Nota de Segurança
• https://osv.dev/vulnerability/PYSEC-2019-252 · Aviso do Fabricante
• https://osv.dev/vulnerability/CVE-2019-7560 · Aviso do Fabricante
• https://osv.dev/vulnerability/GHSA-g58x-799h-v9h6 · Aviso do Fabricante