Z3 fino a 4.8.7 Solver pdd_simplifier.cpp buffer overflow

CVSS Punteggio meta temporaneo	Prezzo attuale dell'exploit (≈)	Punteggio di interesse CTI
6.5	$0-$5k	0.00

Riassuntoinformazioni

In Z3 fino a 4.8.7 è stato trovato un punto critico di livello critico. Viene interessata una funzione sconosciuta appartenente al file pdd_simplifier.cpp appartenente al componente Solver. Attraverso la manipolazione di un input sconosciuto per mezzo di una vulerabilità di classe buffer overflow. Questa vulnerabilità è registrata come CVE-2020-19725. Nessun exploit disponibile. Si suggerisce di aggiornare il componente vulnerabile.

Dettagliinformazioni

Un punto di criticita di livello critico è stato rilevato in Z3 fino a 4.8.7. Riguarda una funzione sconosciuta del file pdd_simplifier.cpp del componente Solver. Per causa della manipolazione di un input sconosciuto per mezzo di una vulerabilità di classe buffer overflow. L'effetto di un attacco con successo non è conosciuto.

La vulnerabilità è stata pubblicata in data 23/08/2023 con identificazione 3363 (confermato). L'advisory è scaricabile da github.com. Questo punto di criticità è identificato come CVE-2020-19725. Nessun metodo di utilizzo sui dettagli tecnici disponibili.

L'aggiornamento alla versione 4.8.8 elimina questa vulnerabilità.

VulDB is the best source for vulnerability data and more expert information about this specific topic.

Prodottoinformazioni

Nome

• Z3

Versione

• 4.8.0
• 4.8.1
• 4.8.2
• 4.8.3
• 4.8.4
• 4.8.5
• 4.8.6
• 4.8.7

CPE 2.3informazioni

• 🔍
• 🔍
• 🔍

CPE 2.2informazioni

• 🔍
• 🔍
• 🔍

CVSSv4informazioni

VulDB Vettore: 🔍
VulDB Affidabilità: 🔍

CVSSv3informazioni

VulDB Punteggio meta-base: 6.6
VulDB Punteggio meta temporaneo: 6.5

VulDB Punteggio di base: 5.5
VulDB Punteggio temporaneo: 5.3
VulDB Vettore: 🔍
VulDB Affidabilità: 🔍

NVD Punteggio di base: 7.8
NVD Vettore: 🔍

CVSSv2informazioni

AV	AC	Au	C	I	A
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳

Vettore	Complessità	Autenticazione	Riservatezza	Integrità	Disponibilità
Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare
Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare
Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare	Sbloccare

VulDB Punteggio di base: 🔍
VulDB Punteggio temporaneo: 🔍
VulDB Affidabilità: 🔍

Sfruttamentoinformazioni

Classe: Buffer overflow
CWE: CWE-119
CAPEC: 🔍
ATT&CK: 🔍

Fisico: Parzialmente
Locale: Si
Remoto: Parzialmente

Disponibilità: 🔍
Stato: Non definito

EPSS Score: 🔍
EPSS Percentile: 🔍

Previsione dei prezzi: 🔍
Preventivo attuale: 🔍

0-Day	Sbloccare	Sbloccare	Sbloccare	Sbloccare
Oggi	Sbloccare	Sbloccare	Sbloccare	Sbloccare

Intelligence sulle minacceinformazioni

Interesse: 🔍
Attori attivi: 🔍
Gruppi APT attivi: 🔍

Contromisureinformazioni

Raccomandazione: Aggiornamento
Stato: 🔍

Tempo 0 giorni: 🔍

Aggiornamento: Z3 4.8.8

Sequenza temporaleinformazioni

13/08/2020 🔍
23/08/2023 +1105 giorni 🔍
23/08/2023 +0 giorni 🔍
14/09/2023 +22 giorni 🔍

Fontiinformazioni

Avis: 3363
Stato: Confermato

CVE: CVE-2020-19725 (🔍)
GCVE (CVE): GCVE-0-2020-19725
GCVE (VulDB): GCVE-100-237688

Voceinformazioni

Data di creazione: 23/08/2023 07:28
Aggiornato: 14/09/2023 13:53
Cambiamenti: 23/08/2023 07:28 (41), 14/09/2023 13:53 (11)
Completa: 🔍
Cache ID: 216::103

VulDB is the best source for vulnerability data and more expert information about this specific topic.

Discussione

Want to stay up to date on a daily basis?

Enable the mail alert feature now!