xerial の snappy-java における整数オーバーフローの脆弱性
タイトル xerial の snappy-java における整数オーバーフローの脆弱性
概要

xerial の snappy-java には、整数オーバーフローの脆弱性が存在します。

想定される影響 サービス運用妨害 (DoS) 状態にされる可能性があります。
対策

ベンダアドバイザリまたはパッチ情報が公開されています。参考情報を参照して適切な対策を実施してください。

公表日 2023年6月15日0:00
登録日 2023年12月8日18:21
最終更新日 2023年12月8日18:21
CVSS3.0 : 重要
スコア 7.5
ベクター CVSS:3.0/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H
影響を受けるシステム
xerial
snappy-java 1.1.10.1 未満
CVE (情報セキュリティ 共通脆弱性識別子)
CWE (共通脆弱性タイプ一覧)
その他
変更履歴
No 変更内容 変更日
1 [2023年12月08日]
  掲載
2023年12月8日18:21

NVD脆弱性情報
CVE-2023-34453
概要

snappy-java is a fast compressor/decompressor for Java. Due to unchecked multiplications, an integer overflow may occur in versions prior to 1.1.10.1, causing a fatal error.

The function `shuffle(int[] input)` in the file `BitShuffle.java` receives an array of integers and applies a bit shuffle on it. It does so by multiplying the length by 4 and passing it to the natively compiled shuffle function. Since the length is not tested, the multiplication by four can cause an integer overflow and become a smaller value than the true size, or even zero or negative. In the case of a negative value, a `java.lang.NegativeArraySizeException` exception will raise, which can crash the program. In a case of a value that is zero or too small, the code that afterwards references the shuffled array will assume a bigger size of the array, which might cause exceptions such as `java.lang.ArrayIndexOutOfBoundsException`.

The same issue exists also when using the `shuffle` functions that receive a double, float, long and short, each using a different multiplier that may cause the same issue.

Version 1.1.10.1 contains a patch for this vulnerability.

公表日 2023年6月16日2:15
登録日 2023年6月16日10:00
最終更新日 2024年11月21日17:07
影響を受けるソフトウェアの構成
構成1 以上 以下 より上 未満
cpe:2.3:a:xerial:snappy-java:*:*:*:*:*:*:*:* 1.1.10.1
関連情報、対策とツール
共通脆弱性一覧