原文

Linuxカーネルにおいて、以下の脆弱性が修正されました。mm/slabにおけるred zoningのみが有効な場合に、ゼロクリアをorig_sizeに制限しないように修正されました。割り当て時に初期化（ゼロクリア）が要求された場合、kmalloc()ではkrealloc()の__GFP_ZEROの保証を満たすために、要求サイズが小さくても通常はオブジェクト全体のサイズをゼロクリアする必要があります。しかし、要求サイズを追跡している場合は、krealloc()がその情報を使って適切に動作できるため、要求サイズのみをゼロクリアすれば十分です。さらに、red zoningが有効な場合は余剰サイズがred zoneの一部となるため、ゼロクリアしてはならず、要求サイズだけをゼロクリアする必要があります。しかし現在のチェックは正確ではなく、SLAB_STORE_USERを有効にしていない状態でSLAB_RED_ZONEのみが有効な場合にも誤ってトリガーされていました。これはred zoningのみを有効にすることで、krealloc()の__GFP_ZEROの契約が損なわれる可能性があることを意味しています。これを修正するために、要求サイズの追跡がされているかどうかを正確にチェックするslub_debug_orig_size()を使用するようにしました。そのため、red zoningが有効かどうかを気にする必要はありません。また、コメントも更新・拡充しています。