Boolector 3.0.0 parser/btorsmt2.c get_failed_assumptions/btor_delete buffer overflow
| CVSS Punteggio meta temporaneo | Prezzo attuale dell'exploit (≈) | Punteggio di interesse CTI |
|---|---|---|
| 5.9 | $0-$5k | 0.00 |
Riassunto
In Boolector 3.0.0 è stata rilevato un punto critico di livello critico. Si considera coinvolta una funzione sconosciuta nel file parser/btorsmt2.c. La manipolazione di un input sconosciuto se causa una vulnerabilità di classe buffer overflow. Questa vulnerabilità è identificata come CVE-2019-7560. Con la rete può partire l'attacco. Nessun exploit disponibile.
Dettagli
Una vulnerabilità di livello critico è stata rilevata in Boolector 3.0.0. É interessato la funzione get_failed_assumptions/btor_delete del file parser/btorsmt2.c. Mediante la manipolazione di un input sconosciuto se causa una vulnerabilità di classe buffer overflow. Questo si osserva su riservatezza, integrità e disponibilità.
Data di scoperta del problema 15/01/2019. La vulnerabilità è stata pubblicata in data 07/02/2019 (non definito). Questa vulnerabilità è identificata come CVE-2019-7560. Nella rete si effettua l'attacco. L'utilizzo non richiede alcuna forma di autentificazione. Sono disponibili dettagli tecnici, ma nessun metodo di utilizzo.
Per almeno 23 giorni, questa vulnerabilità è stata classificata come 0-day exploit.
Informazioni riguardo una possibile contromisura non sono al momento disponibili. Si suggerisce di sostituire il prodotto con uno equivalente.
Be aware that VulDB is the high quality source for vulnerability data.
Prodotto
Nome
Versione
Sito web
- Prodotto: https://github.com/Boolector/boolector/
CPE 2.3
CPE 2.2
CVSSv4
VulDB Vettore: 🔍VulDB Affidabilità: 🔍
CVSSv3
VulDB Punteggio meta-base: 5.9VulDB Punteggio meta temporaneo: 5.9
VulDB Punteggio di base: 6.3
VulDB Punteggio temporaneo: 6.3
VulDB Vettore: 🔍
VulDB Affidabilità: 🔍
NVD Punteggio di base: 5.5
NVD Vettore: 🔍
CVSSv2
| 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à: 🔍
NVD Punteggio di base: 🔍
Sfruttamento
Classe: Buffer overflowCWE: CWE-416 / CWE-119
CAPEC: 🔍
ATT&CK: 🔍
Fisico: Parzialmente
Locale: Si
Remoto: Si
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 minacce
Interesse: 🔍Attori attivi: 🔍
Gruppi APT attivi: 🔍
Contromisure
Raccomandazione: nessuna contromisura conosciutaStato: 🔍
Tempo 0 giorni: 🔍
Sequenza temporale
15/01/2019 🔍06/02/2019 🔍
07/02/2019 🔍
08/02/2019 🔍
06/07/2023 🔍
Fonti
Prodotto: github.comAvis: 28
Stato: Non definito
CVE: CVE-2019-7560 (🔍)
GCVE (CVE): GCVE-0-2019-7560
GCVE (VulDB): GCVE-100-130647
Voce
Data di creazione: 08/02/2019 09:41Aggiornato: 06/07/2023 20:13
Cambiamenti: 08/02/2019 09:41 (53), 09/05/2020 09:27 (1), 06/07/2023 20:13 (4)
Completa: 🔍
Cache ID: 216::103
Be aware that VulDB is the high quality source for vulnerability data.
Ancora nessun commento. Lingue: it + ro + en.
Effettua il login per commentare.