hex_decode_unchecked AVX2 path reads past src
faster_hex::hex_decode_unchecked is a safe function. On x86 and x86_64, when AVX2 is enabled, hex_decode_avx2 keeps decoding while dst.len() >= 32 and then loads 32 bytes from src and 32 bytes from src[32..]. Nothing in that loop requires src to contain 64 bytes.
A safe caller can pass a short src and a dst of at least 32 bytes. The AVX2 load then reads outside src.
The function has had this shape since 0.3.0. 0.10.0 is the last release with the unbounded AVX2 read. The maintainer agreed to this advisory and shipped the backport in 0.10.1 (pull request 74): the AVX2 loop now requires src.len() >= 64 before those loads. 1.0.0 rewrites hex_decode_unchecked so the decoded length is min(src.len() / 2, dst.len()). Both are covered by >= 0.10.1. Other architectures take the scalar fallback and are outside this advisory.
See advisory page for additional details.
faster-hex0.10.0faster_hex::hex_decode_uncheckedis a safe function. On x86 and x86_64, when AVX2 is enabled,hex_decode_avx2keeps decoding whiledst.len() >= 32and then loads 32 bytes fromsrcand 32 bytes fromsrc[32..]. Nothing in that loop requiressrcto contain 64 bytes.A safe caller can pass a short
srcand adstof at least 32 bytes. The AVX2 load then reads outsidesrc.The function has had this shape since 0.3.0. 0.10.0 is the last release with the unbounded AVX2 read. The maintainer agreed to this advisory and shipped the backport in 0.10.1 (pull request 74): the AVX2 loop now requires
src.len() >= 64before those loads. 1.0.0 rewriteshex_decode_uncheckedso the decoded length ismin(src.len() / 2, dst.len()). Both are covered by>= 0.10.1. Other architectures take the scalar fallback and are outside this advisory.See advisory page for additional details.