Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

[David Hildenbrand]

On 16.01.23 11:05, Esina Ekaterina wrote:
> Found by Astra Linux on behalf of Linux Verification Center
> (linuxtesting.org) with SVACE.

Please trim the subject and move details to the description.

What are the symptoms? How exactly does this BUG manifest? What is this 
patch fixing?


-- 
Thanks,

David / dhildenb

Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

[Екатерина Есина]

[-- Attachment #1: Type: text/plain, Size: 863 bytes --]

 
    

-----Original Message-----

From: David <david@redhat.com>
To: Esina <eesina@astralinux.ru>; Mike <mike.kravetz@oracle.com>
Cc: Andrew <akpm@linux-foundation.org>; linux-mm <linux-mm@kvack.org>; linux-kernel <linux-kernel@vger.kernel.org>; lvc-project <lvc-project@linuxtesting.org>
Date: Monday, 16 January 2023 4:24 PM MSK
Subject: Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

On 16.01.23 11:05, Esina Ekaterina wrote: 
> Found by Astra Linux on behalf of Linux Verification Center 
> (linuxtesting.org) with SVACE. 

Please trim the subject and move details to the description. 

What are the symptoms? How exactly does this BUG manifest? What is this 
patch fixing? 


-- 
Thanks, 

David / dhildenb      

[-- Attachment #2: Type: text/html, Size: 1650 bytes --]

Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

[Екатерина Есина]

[-- Attachment #1: Type: text/plain, Size: 1193 bytes --]


 Sorry, I've noticed that I'd sent the patch without description and sent version 2.   Function find_vma may return NULL, that's why its return value is usually checked for NULL. In this case vma and its fields also should be checked before dereferencing to avoid NULL pointer dereference   Best regards, Ekaterina Esina  
   
   

-----Original Message-----

From: David <david@redhat.com>
To: Esina <eesina@astralinux.ru>; Mike <mike.kravetz@oracle.com>
Cc: Andrew <akpm@linux-foundation.org>; linux-mm <linux-mm@kvack.org>; linux-kernel <linux-kernel@vger.kernel.org>; lvc-project <lvc-project@linuxtesting.org>
Date: Monday, 16 January 2023 4:24 PM MSK
Subject: Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

On 16.01.23 11:05, Esina Ekaterina wrote: 
> Found by Astra Linux on behalf of Linux Verification Center 
> (linuxtesting.org) with SVACE. 

Please trim the subject and move details to the description. 

What are the symptoms? How exactly does this BUG manifest? What is this 
patch fixing? 


-- 
Thanks, 

David / dhildenb 

  

[-- Attachment #2: Type: text/html, Size: 2397 bytes --]

Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

[David Hildenbrand]

On 16.01.23 16:10, Екатерина Есина wrote:
> Sorry, I've noticed that I'd sent the patch without description and sent 
> version 2.
> Function find_vma may return NULL, that's why its return value is 
> usually checked for NULL. In this case vma and its fields also should be 
> checked before dereferencing to avoid NULL pointer dereference

Thanks, but again

What are the symptoms? How exactly does this BUG manifest?

For example, does the kernel crash, and if so, how can it be triggered?

-- 
Thanks,

David / dhildenb

Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

[Matthew Wilcox]

On Mon, Jan 16, 2023 at 04:12:48PM +0100, David Hildenbrand wrote:
> On 16.01.23 16:10, Екатерина Есина wrote:
> > Sorry, I've noticed that I'd sent the patch without description and sent
> > version 2.
> > Function find_vma may return NULL, that's why its return value is
> > usually checked for NULL. In this case vma and its fields also should be
> > checked before dereferencing to avoid NULL pointer dereference
> 
> Thanks, but again
> 
> What are the symptoms? How exactly does this BUG manifest?
> 
> For example, does the kernel crash, and if so, how can it be triggered?

SVACE is a static analyser.  It's not very good, but the people who run
it are extremely persistent about submitting patches based solely on the
output of the tool and doing no human checks of their own.  Probably best
to just ignore them, or NACK them.