[lvc-project] [PATCH] drivers: nvme: target: core: deref after null

[Fedor Pchelkin]

Здравствуйте, Александр!

Просьба направлять патчи сначала во внутренний список рассылки
lvc-patches at linuxtesting.org для предварительного мини-ревью.

On Fri, 07. Jun 16:38, Alexandr Sapozhnikov wrote:
> From: Alexandr Sapozhnikov <alsp705 at gmail.com>
> 
> After having been compared to a NULL value at core.c:813, 
> pointer '(**sq->ctrl).sqs' is dereferenced at core.c:838.

Мэйнтейнеры ядра, как правило, не приветствуют патчи, описание которых
состоит лишь из одного баг-репорта инструмента статического анализа.
Предупреждения, сообщаемые стат. анализатором, требуют дополнительных
исследований со стороны человека. Описание патча стоит дополнять своими
выводами: например, реальна ли проблемная ситуация, что требуется сделать
для её устранения и т.д.

Общие слова по оформлению патчей:
https://www.kernel.org/doc/html/latest/process/submitting-patches.html#the-canonical-patch-format

Название коммита "deref after null" совершенно не говорит о том, что делает
патч и какую проблему он решает. Также почему-то было отправлено два
одинаковых письма с разницей в пять минут.

Более того, в Svacer в ходе обсуждения патча пришли к тому, что проверка
ctrl->sqs на NULL в начале nvmet_sq_destroy() вообще изначально лишняя..
Почему вы её решили добавить и отправили патч на это?

  Review: Замечания устранены.
   merzlyakov
   08.04.2024 13:23
  
  Согласен, действительно излишняя проверка
   m.korotkov
   04.04.2024 10:49
  
  Не согласен, комментарий некорректен. На самом деле ctrl и ctrl->sqs
  инициализируются в одном месте(nvmet_alloc_ctrl) и проверка ctrl->sqs
  на 0 в строке 797 лишняя. При этом вердикт останется Confirmed, Minor.
  Прошу подтвердить согласие с моими рассуждениями.
   merzlyakov
   01.04.2024 16:01
  
  if (ctrl) -> if (ctrl && ctrl->sqs)
   m.korotkov
   29.03.2024 13:16

> 
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
> 
> Signed-off-by: Alexandr Sapozhnikov <alsp705 at gmail.com>
> ---
>  drivers/nvme/target/core.c | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/drivers/nvme/target/core.c b/drivers/nvme/target/core.c
> index 06f0c587f343..5a67d2bc0c55 100644
> --- a/drivers/nvme/target/core.c
> +++ b/drivers/nvme/target/core.c
> @@ -827,7 +827,7 @@ void nvmet_sq_destroy(struct nvmet_sq *sq)
>  	 */
>  	ctrl = sq->ctrl;
>  
> -	if (ctrl) {
> +	if (ctrl && ctrl->sqs) {
>  		/*
>  		 * The teardown flow may take some time, and the host may not
>  		 * send us keep-alive during this period, hence reset the
> -- 
> 2.39.2
>