- Reported
-
- Issued
-
- Package
-
arrow-data
(crates.io)
- Type
-
INFO
Unsound
- Categories
-
- Keywords
-
#out-of-bounds-read
#validation
- Aliases
-
- References
-
- Patched
-
>=60.1.0
>=59.3.2, <60.0.0
>=58.4.1, <59.0.0
>=57.3.2, <58.0.0
- Unaffected
-
Description
Improper validation of RunEndEncoded arrays via ArrayData::validate_values can
allow reading data beyond the bounds of the child values array when reading the
last value via APIs such as TypedRunArray::value.
Patched versions now properly validate the contents of RunEndEncoded arrays to prevent
allowing reading out of bounds of the specified array data.
Credit to Adam Korczynski of Ada Logics for reporting this and Anthropic for finding
this.
Advisory available under CC0-1.0
license.