原文

Linuxカーネルにおいて、以下の脆弱性が解決されました。bpf: task_vmaイテレータからVMAのスナップショットを返すBPFプログラムの本体でper-VMAロックを保持すると、ヘルパー関数がmmap_lockに依存するロックを取得する際にロックの順序問題が発生します。具体的には、vm_lock -＞ i_rwsem -＞ mmap_lock -＞ vm_lockの順序です。次のVMAは_per-VMAロック下で_memcpy()を使って_next()内でスナップショットを作成し、その後ロックを解放して返されます。BPFプログラムはスナップショットのみを参照します。検証器はvm_mmおよびvm_fileポインタのみを信頼し（verifier.cのBTF_TYPE_SAFE_TRUSTED_OR_NULLを参照）、vm_fileはロック下でget_file()によってリファレンスカウントされ、次のイテレーションまたは_destroy()でfput()により解放されます。vm_mmはlock_vma_under_rcu()がvma-＞vm_mm == mmを検証しているため、既に正しい状態にあります。その他のポインタは検証器によって信頼されないものとして扱われるため、そのままmemcpy()で保持されます。