llama.cpp 修復 ggml_roll 邊界檢查的有符號溢位
llama.cpp 修掉了 ggml_roll 邊界檢查裡的未定義行為:原先用 abs(shift) 校驗位移量,但 abs(INT_MIN) 本身就是有符號整數溢位,且在邊界檢查執行前就已求值,現改為符號安全的比較方式(#30375)。
找到 6 筆
llama.cpp 修掉了 ggml_roll 邊界檢查裡的未定義行為:原先用 abs(shift) 校驗位移量,但 abs(INT_MIN) 本身就是有符號整數溢位,且在邊界檢查執行前就已求值,現改為符號安全的比較方式(#30375)。
llama.cpp 發布 b11865 建置,唯一程式碼改動是在 RPC 的 rdma_recv 中增加邊界檢查(#30399),屬於對遠端呼叫收包路徑的加固。建置產物仍覆蓋 macOS/iOS、Linux(CUDA 12.8 與 13.4、ROCm 10.0、Vulkan、SYCL、OpenVINO)、Android 以及 Windows arm64 的 Snapdragon CPU/Adreno GPU/Hexagon NPU 等平台。
llama.cpp 發布 b11985,Metal 後端三項改動提速:MXFP4 矩陣向量核心改用 fp16 位技巧解碼 fp4 值、以對齊的 32 位字載入打包 nibble,不再佔用 threadgroup 記憶體;連續 unary/binary 與行廣播 binary 路徑改為每 threadgroup 最多 256 執行緒並對尾部做邊界檢查;GLU 的每行拆分到多個 threadgroup,單行 decode 不再只用一個 threadgroup。
llama.cpp 建置 b11727 為 gguf-split 和 export-lora 加上張量資料邊界檢查與短讀檢查,輸入 GGUF 檔案被截斷時直接拒絕,不再靜默產出損壞的張量資料。修復點位於 gguf-split.cpp 的 copy_file_to_file(split_strategy)與 export-lora.cpp 的 read_tensor_data,並附帶回歸測試,驗證截斷輸入被拒絕、合法張量資料仍被保留。
llama.cpp 發布 b12102,修復 ggml 檢視的越界檢查:此前用同形狀連續張量的大小校驗,導致行重疊但未越界的檢視被誤判、stride 過寬而越界的檢視反而通過;現在檢視函式把 stride 傳給張量建構函式,按實際到達的位元組數檢查。另新增斷言要求帶 stride 的檢視從 dim 0 連續元素開始,delta_net 的卷積視窗改為一次建立全部行,不再在檢查後擴寬。
華為 openJiuwen 團隊開源 Jiuwen Symbiosis 物理智慧體,並在電催化場景中把大模型設計的實驗方案下發到移液工作站、機械臂、移動機器人等物理裝置上執行。系統以感知—規劃—執行—反饋閉環動態編排任務,同一個實驗目標會隨現場裝置狀態生成不同方案,新增裝置只需宣告自身能力即可被納入。執行記憶把未經觀測確認的狀態一律視為未知,位置參照失效後自動要求重新確認;所有運動類指令在下發硬體前經過安全護欄邊界檢查,動作失敗則帶載回退到已知安全位姿。