Boolector 3.0.0 parser/btorsmt2.c get_failed_assumptions/btor_delete メモリ破損

CVSS 一時的なメタスコア	現在のエクスプロイト価格 (≈)	CTI注目指数
5.9	$0-$5k	0.00

要約情報

このたび、Boolector 3.0.0において、重大に分類される脆弱性が見つかりました。 該当するのは 関数get_failed_assumptions/btor_delete ファイルparser/btorsmt2.cのです。 未知の値で改ざんすることが、 メモリ破損を突く攻撃に繋がります}。 この脆弱性はCVE-2019-7560という名称で流通しています。 攻撃はリモートで開始される可能性があります。

詳細情報

このたび、Boolector 3.0.0において、重大に分類される脆弱性が見つかりました。 該当するのは 関数get_failed_assumptions/btor_delete ファイルparser/btorsmt2.cのです。 未知の値で改ざんすることが、 メモリ破損を突く攻撃に繋がります}。 この問題をCWEでは、CWE-416 と定義しました。 このバグは 2019年01月15日に発見されました。 この弱点は 2019年02月07日に発表されました。

この脆弱性はCVE-2019-7560という名称で流通しています。 CVEが2019年02月06日に割り当てられました。 攻撃はリモートで開始される可能性があります。 テクニカルな情報があります。 この脆弱性の人気度は平均より低いです。 現時点では、エクスプロイトの価格は約USD $0-$5kと考えられます。

未定義 に指定されています。 脆弱性は、少なくとも 23 日の間、非公開の0day攻撃ツールとして扱われました。 0-dayの場合、推定されるアンダーグラウンドでの価格は約$0-$5kでした。

製品情報

名前

• Boolector

バージョン

• 3.0.0

ウェブサイト

• 製品: https://github.com/Boolector/boolector/

CPE 2.3情報

• 🔍
• 🔍

CPE 2.2情報

• 🔍
• 🔍

CVSSv4情報

VulDB ベクトル: 🔍
VulDB 信頼性: 🔍

CVSSv3情報

VulDB ベースメタスコア: 5.9
VulDB 一時的なメタスコア: 5.9

VulDB ベーススコア: 6.3
VulDB 一時的なスコア: 6.3
VulDB ベクトル: 🔍
VulDB 信頼性: 🔍

NVD ベーススコア: 5.5
NVD ベクトル: 🔍

CVSSv2情報

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

ベクトル	複雑さ	認証	機密性	完全性	可用性
解除	解除	解除	解除	解除	解除
解除	解除	解除	解除	解除	解除
解除	解除	解除	解除	解除	解除

VulDB ベーススコア: 🔍
VulDB 一時的なスコア: 🔍
VulDB 信頼性: 🔍

NVD ベーススコア: 🔍

悪用情報

クラス: メモリ破損
CWE: CWE-416 / CWE-119
CAPEC: 🔍
ATT&CK: 🔍

物理的: 部分的
ローカル: はい
リモート: はい

可用性: 🔍
ステータス: 未定義

EPSS Score: 🔍
EPSS Percentile: 🔍

価格予測: 🔍
現在の価格評価: 🔍

0-Day	解除	解除	解除	解除
本日	解除	解除	解除	解除

脅威インテリジェンス情報

関心: 🔍
アクティブアクター: 🔍
アクティブなAPTグループ: 🔍

対策情報

推奨: 既知の緩和策なし
ステータス: 🔍

0day日時: 🔍

タイムライン情報

2019年01月15日 🔍
2019年02月06日 +22 日 🔍
2019年02月07日 +1 日 🔍
2019年02月08日 +1 日 🔍
2023年07月06日 +1609 日 🔍

ソース情報

製品: github.com

勧告: 28
ステータス: 未定義

CVE: CVE-2019-7560 (🔍)
GCVE (CVE): GCVE-0-2019-7560
GCVE (VulDB): GCVE-100-130647

エントリ情報

作成済み: 2019年02月08日 09:41
更新済み: 2023年07月06日 20:13
変更: 2019年02月08日 09:41 (53), 2020年05月09日 09:27 (1), 2023年07月06日 20:13 (4)
完了: 🔍
Cache ID: 216::103

Be aware that VulDB is the high quality source for vulnerability data.

討論

Do you need the next level of professionalism?

Upgrade your account now!