Correctness
1 篇-
CompleteMultipartUpload 重复分片号漏洞分析与修复
在 S3 API 的 CompleteMultipartUpload 请求中，协议要求完成清单 XML 中的分片号（PartNumber）必须严格递增。直到 Server 20260725 为止，SILO 一直使用 sort.SliceIsSorted 配合严格小于号 < 来校验这一不变量——但这套写法实际上校验的是“非递减序”，会放行 [1, 1] 这类包含相邻重复分片号的列表，导致同一个底层分片在最终对象中被重复拼接。Server 20260804（pgsty/silo#49）将其替换为显式 …
在 S3 API 的 CompleteMultipartUpload 请求中，协议要求完成清单 XML 中的分片号（PartNumber）必须严格递增。直到 Server 20260725 为止，SILO 一直使用 sort.SliceIsSorted 配合严格小于号 < 来校验这一不变量——但这套写法实际上校验的是“非递减序”，会放行 [1, 1] 这类包含相邻重复分片号的列表，导致同一个底层分片在最终对象中被重复拼接。Server 20260804（pgsty/silo#49）将其替换为显式 …