В ядре Linux устранена следующая уязвимость:
lockd: закрепить следующий файл через блокировку nlm_inspect_file
nlm_traverse_files() закрепляет текущий файл с помощью f_count++
mutex_unlock для nlm_inspect_file(), но ничего не закрепляет сохраненные
следующий указатель. Одновременный вызов nlm_release_file() может освободить следующий
файл во время окна разблокировки, и итератор разыменовывает освобожденный
память на следующем шаге цикла. Закрепите текущий и следующий перед отключением блокировки.
Продвинуться по
меняя местами закрепленные курсоры в конце каждой итерации, так что дальше
всегда сохраняется при разблокировке. Всегда вызывайте nlm_file_release() после удаления контакта итерации.
независимо от того, соответствует ли файл предикату. Использование
nlm_file_inuse(), который выполняет живой обход списка блокировки индексного дескриптора,
вместо кэшированного поля f_locks, поэтому пропускаются файлы, которые никогда не
запущенный nlm_inspect_file() оцениваются правильно.
Поскольку каждый файл в хеш-корзине теперь закреплен и выпущен,
файлы, пропущенные предикатом is_failover_file и не имеющие
блокировки, блоки, общие ресурсы или внешние ссылки удаляются во время
обход. Старый код никогда не оценивал пропущенные файлы на предмет
уборка. Новое поведение является намеренным: такие файлы устарели.
и не должен сохраняться в таблице.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: lockd: pin next file across nlm_inspect_file lock-drop nlm_traverse_files() pins the current file with f_count++ across a mutex_unlock for nlm_inspect_file(), but nothing pins the saved next pointer. A concurrent nlm_release_file() can kfree the next file during the unlock window, and the iterator dereferences freed memory on the next loop step. Pin both current and next before the lock-drop. Advance by swapping the pinned cursors at the end of each iteration so next is always held alive across the unlock. Always call nlm_file_release() after dropping the iteration pin, regardless of whether the file matched the predicate. Use nlm_file_inuse(), which does a live walk of the inode lock list, rather than the cached f_locks field, so skipped files that never ran nlm_inspect_file() are evaluated correctly. Because every file in a hash bucket is now pinned and released, files skipped by the is_failover_file predicate that have no locks, blocks, shares, or external references are deleted during traversal. The old code never evaluated skipped files for cleanup. The new behavior is intentional: such files are stale and should not persist in the table.
Характеристики атаки
Последствия
Строка CVSS v3.1