原文

Linuxカーネルにおいて、以下の脆弱性が修正されました。hfs/hfsplusのcheck_and_correct_requested_length関数内のu32オーバーフローの問題が修正されました。check_and_correct_requested_length()関数は、(off + len)をu32算術でnode_sizeと比較しています。呼び出し元が非常に大きなlen値（例：hfs_brec_remove()内のアンダーフローした減算による）を渡した場合、off + lenは2^32を超えて巻き戻り、小さな値となり、本来失敗すべき境界チェックを通過してしまいます。例えば、off=14かつlen=0xFFFFFFF2（hfs_brec_remove内のdata_off - keyoffset - sizeからのアンダーフロー）では、off + lenが6に巻き戻り、typicalなnode_sizeである512より小さくなるためチェックを通過し、その後のmemmoveがノードバッファの約4GB先まで読み取ってしまいます。この問題は、比較前に加算をu64に拡張することで修正されました。これによりu32の巻き戻りを防止しつつ、ロジックも明確なまま維持されています。