Bug 2215393 (CVE-2023-34453) - CVE-2023-34453 snappy-java: Integer overflow in shuffle leads to DoS
Summary: CVE-2023-34453 snappy-java: Integer overflow in shuffle leads to DoS
Keywords:
Status: NEW
Alias: CVE-2023-34453
Product: Security Response
Classification: Other
Component: vulnerability
Version: unspecified
Hardware: All
OS: Linux
medium
medium
Target Milestone: ---
Assignee: Nobody
QA Contact:
URL:
Whiteboard:
Depends On: 2215396 2215397 2215398 2216103 2216104
Blocks: 2215395
TreeView+ depends on / blocked
 
Reported: 2023-06-15 19:28 UTC by Guilherme de Almeida Suckevicz
Modified: 2023-08-08 16:55 UTC (History)
32 users (show)

Fixed In Version: snappy-java 1.1.10.1
Doc Type: If docs needed, set a value
Doc Text:
A flaw was found in Snappy-java's shuffle function, which does not check input sizes before beginning operations. This issue could allow an attacker to send malicious input to trigger an overflow error that crashes the program, resulting in a denial of service.
Clone Of:
Environment:
Last Closed:
Embargoed:


Attachments (Terms of Use)

Description Guilherme de Almeida Suckevicz 2023-06-15 19:28:15 UTC
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.

References:
https://github.com/xerial/snappy-java/blob/master/src/main/java/org/xerial/snappy/BitShuffle.java
https://github.com/xerial/snappy-java/security/advisories/GHSA-pqr6-cmr2-h8hf
https://github.com/xerial/snappy-java/commit/820e2e074c58748b41dbd547f4edba9e108ad905
https://github.com/xerial/snappy-java/blob/05c39b2ca9b5b7b39611529cc302d3d796329611/src/main/java/org/xerial/snappy/BitShuffle.java#L107


Note You need to log in before you can comment on or make changes to this bug.