Серверная часть учетных данных защищенного хранилища PSA (subsys/net/lib/tls_credentials/tls_credentials_trusted.c) объявила свой мьютекс хранилища учетных данных как простую статическую структуру k_mutex credential_lock, заполненную нулями; и никогда не вызывал для него k_mutex_init(). Статически заполненный нулями k_mutex имеет неинициализированную очередь ожидания (ее заголовок/хвост dlist имеют NULL вместо самоссылающихся дозорных, которые устанавливаются k_mutex_init/K_MUTEX_DEFINE). Путь неконкурентной блокировки не затрагивает очередь ожидания, поэтому дефект является скрытым, и сериализованное использование ведет себя правильно.
Когда два контекста выполнения конкурируют за блокировку, k_mutex_lock() удерживает блокирующий поток в очереди ожидания через z_pend_curr(), который вызывает sys_dlist_append() в обнуленном списке и разыменовывает NULL-указатель хвоста (tail->next = node), вызывая ошибку ядра. Блокировка удерживается во время загрузки учетных данных подтверждения TLS и всех операций добавления, получения или удаления учетных данных, поэтому развертывание, выполняющее одновременные подтверждения TLS (например, сервер, обрабатывающий несколько одновременных подключений от удаленного узла), или операция управления учетными данными, совпадающая с подтверждением связи, может инициировать разыменование. Последствием является отказ в обслуживании: детерминированная паника ядра/перезагрузка устройства при первом конфликте.
Никакого повреждения памяти, кроме разыменования NULL, не происходит, и это не влияет на конфиденциальность или целостность; взаимное исключение на быстром пути остается правильным. Доступ ограничен сборками с включенным CONFIG_TLS_CREDENTIALS_BACKEND_PROTECTED_STORAGE (платформы PSA Protected Storage/TF-M); серверная часть энергозависимой оперативной памяти по умолчанию правильно инициализирует блокировку и не подвергается воздействию. Исправление статически инициализирует мьютекс с помощью K_MUTEX_DEFINE(credential_lock), обеспечивая действительную очередь ожидания, поэтому конкурирующий путь больше не касается NULL-списка.
Показать оригинальное описание (EN)
The PSA Protected Storage credential backend (subsys/net/lib/tls_credentials/tls_credentials_trusted.c) declared its credential-store mutex as a plain zero-filled static struct k_mutex credential_lock; and never called k_mutex_init() on it. A statically zero-filled k_mutex has an uninitialized wait queue (its dlist head/tail are NULL instead of the self-referential sentinels that k_mutex_init/K_MUTEX_DEFINE install). The uncontended lock path does not touch the wait queue, so the defect is latent and serialized use behaves correctly. When two execution contexts contend on the lock, k_mutex_lock() pends the blocking thread on the wait queue via z_pend_curr(), which calls sys_dlist_append() on the zeroed list and dereferences a NULL tail pointer (tail->next = node), faulting the kernel. The lock is held during TLS handshake credential loading and by all credential add/get/delete operations, so a deployment performing concurrent TLS handshakes (for example a server handling multiple simultaneous connections from a remote peer) or a credential-management operation concurrent with a handshake can trigger the dereference. The impact is a denial of service: a deterministic kernel panic / device reset on the first contention. There is no memory corruption beyond the NULL dereference and no confidentiality or integrity impact; mutual exclusion on the fast path remains correct. Exposure is limited to builds with CONFIG_TLS_CREDENTIALS_BACKEND_PROTECTED_STORAGE enabled (PSA Protected Storage / TF-M platforms); the default volatile RAM backend initializes its lock correctly and is unaffected. The fix initializes the mutex statically with K_MUTEX_DEFINE(credential_lock), providing a valid wait queue so the contended path no longer touches a NULL list.
Характеристики атаки
Последствия
Строка CVSS v3.1