Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.kernel > #1364832 > unrolled thread

[PATCH] USB: whci-hcd: add more checks for dma mapping error

Started byAlexey Khoroshilov <khoroshilov@ispras.ru>
First post2016-03-25 21:30 +0100
Last post2016-03-30 09:50 +0200
Articles 6 — 2 participants

Back to article view | Back to linux.kernel

Contents

  [PATCH] USB: whci-hcd: add more checks for dma mapping error Alexey Khoroshilov <khoroshilov@ispras.ru> - 2016-03-25 21:30 +0100
    Re: [PATCH] USB: whci-hcd: add more checks for dma mapping error Vladimir Zapolskiy <vz@mleia.com> - 2016-03-25 23:10 +0100
      Re: [PATCH] USB: whci-hcd: add more checks for dma mapping error Alexey Khoroshilov <khoroshilov@ispras.ru> - 2016-03-26 00:00 +0100
        Re: [PATCH] USB: whci-hcd: add more checks for dma mapping error Vladimir Zapolskiy <vz@mleia.com> - 2016-03-26 01:30 +0100
          [PATCH v2] USB: whci-hcd: add more checks for dma mapping error Alexey Khoroshilov <khoroshilov@ispras.ru> - 2016-03-26 20:50 +0100
            Re: [PATCH v2] USB: whci-hcd: add more checks for dma mapping error Vladimir Zapolskiy <vz@mleia.com> - 2016-03-30 09:50 +0200

#1364832 — [PATCH] USB: whci-hcd: add more checks for dma mapping error

FromAlexey Khoroshilov <khoroshilov@ispras.ru>
Date2016-03-25 21:30 +0100
Subject[PATCH] USB: whci-hcd: add more checks for dma mapping error
Message-ID<rgGwO-7aX-3@gated-at.bofh.it>
Fixing checks for dma mapping error in qset_fill_page_list(),
I have missed two similar problems in qset_add_urb_sg() and
in qset_add_urb_sg_linearize().

Found by Linux Driver Verification project (linuxtesting.org).

Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>
---
 drivers/usb/host/whci/qset.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/drivers/usb/host/whci/qset.c b/drivers/usb/host/whci/qset.c
index 1a8e960d073b..a8e9b618e643 100644
--- a/drivers/usb/host/whci/qset.c
+++ b/drivers/usb/host/whci/qset.c
@@ -535,9 +535,11 @@ static int qset_add_urb_sg(struct whc *whc, struct whc_qset *qset, struct urb *u
 	list_for_each_entry(std, &qset->stds, list_node) {
 		if (std->ntds_remaining == -1) {
 			pl_len = std->num_pointers * sizeof(struct whc_page_list_entry);
-			std->ntds_remaining = ntds--;
 			std->dma_addr = dma_map_single(whc->wusbhc.dev, std->pl_virt,
 						       pl_len, DMA_TO_DEVICE);
+			if (dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
+				return -EFAULT;
+			std->ntds_remaining = ntds--;
 		}
 	}
 	return 0;
@@ -618,6 +620,8 @@ static int qset_add_urb_sg_linearize(struct whc *whc, struct whc_qset *qset,
 
 		std->dma_addr = dma_map_single(&whc->umc->dev, std->bounce_buf, std->len,
 					       is_out ? DMA_TO_DEVICE : DMA_FROM_DEVICE);
+		if (dma_mapping_error(&whc->umc->dev, std->dma_addr))
+			return -EFAULT;
 
 		if (qset_fill_page_list(whc, std, mem_flags) < 0)
 			return -ENOMEM;
-- 
1.9.1

[toc] | [next] | [standalone]

#1364856

FromVladimir Zapolskiy <vz@mleia.com>
Date2016-03-25 23:10 +0100
Message-ID<rgI5A-8hV-15@gated-at.bofh.it>
In reply to#1364832
On 25.03.2016 22:23, Alexey Khoroshilov wrote:
> Fixing checks for dma mapping error in qset_fill_page_list(),
> I have missed two similar problems in qset_add_urb_sg() and
> in qset_add_urb_sg_linearize().
> 
> Found by Linux Driver Verification project (linuxtesting.org).
> 
> Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>
> ---
>  drivers/usb/host/whci/qset.c | 6 +++++-
>  1 file changed, 5 insertions(+), 1 deletion(-)
> 
> diff --git a/drivers/usb/host/whci/qset.c b/drivers/usb/host/whci/qset.c
> index 1a8e960d073b..a8e9b618e643 100644
> --- a/drivers/usb/host/whci/qset.c
> +++ b/drivers/usb/host/whci/qset.c
> @@ -535,9 +535,11 @@ static int qset_add_urb_sg(struct whc *whc, struct whc_qset *qset, struct urb *u
>  	list_for_each_entry(std, &qset->stds, list_node) {
>  		if (std->ntds_remaining == -1) {
>  			pl_len = std->num_pointers * sizeof(struct whc_page_list_entry);
> -			std->ntds_remaining = ntds--;
>  			std->dma_addr = dma_map_single(whc->wusbhc.dev, std->pl_virt,
>  						       pl_len, DMA_TO_DEVICE);
> +			if (dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
> +				return -EFAULT;

Resources are leaked on error path:
* std->pl_virt  -- most probably, at least it is freed on error path above,
* dma mappings done in a loop before met error,

> +			std->ntds_remaining = ntds--;
>  		}
>  	}
>  	return 0;
> @@ -618,6 +620,8 @@ static int qset_add_urb_sg_linearize(struct whc *whc, struct whc_qset *qset,
>  
>  		std->dma_addr = dma_map_single(&whc->umc->dev, std->bounce_buf, std->len,
>  					       is_out ? DMA_TO_DEVICE : DMA_FROM_DEVICE);
> +		if (dma_mapping_error(&whc->umc->dev, std->dma_addr))
> +			return -EFAULT;
>  
>  		if (qset_fill_page_list(whc, std, mem_flags) < 0)
>  			return -ENOMEM;
> 


--
With best wishes,
Vladimir

[toc] | [prev] | [next] | [standalone]

#1364871

FromAlexey Khoroshilov <khoroshilov@ispras.ru>
Date2016-03-26 00:00 +0100
Message-ID<rgIRY-a2-9@gated-at.bofh.it>
In reply to#1364856
On 26.03.2016 01:03, Vladimir Zapolskiy wrote:
> On 25.03.2016 22:23, Alexey Khoroshilov wrote:
>> Fixing checks for dma mapping error in qset_fill_page_list(),
>> I have missed two similar problems in qset_add_urb_sg() and
>> in qset_add_urb_sg_linearize().
>>
>> Found by Linux Driver Verification project (linuxtesting.org).
>>
>> Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>
>> ---
>>   drivers/usb/host/whci/qset.c | 6 +++++-
>>   1 file changed, 5 insertions(+), 1 deletion(-)
>>
>> diff --git a/drivers/usb/host/whci/qset.c b/drivers/usb/host/whci/qset.c
>> index 1a8e960d073b..a8e9b618e643 100644
>> --- a/drivers/usb/host/whci/qset.c
>> +++ b/drivers/usb/host/whci/qset.c
>> @@ -535,9 +535,11 @@ static int qset_add_urb_sg(struct whc *whc, struct whc_qset *qset, struct urb *u
>>   	list_for_each_entry(std, &qset->stds, list_node) {
>>   		if (std->ntds_remaining == -1) {
>>   			pl_len = std->num_pointers * sizeof(struct whc_page_list_entry);
>> -			std->ntds_remaining = ntds--;
>>   			std->dma_addr = dma_map_single(whc->wusbhc.dev, std->pl_virt,
>>   						       pl_len, DMA_TO_DEVICE);
>> +			if (dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
>> +				return -EFAULT;
>
> Resources are leaked on error path:
> * std->pl_virt  -- most probably, at least it is freed on error path above,
> * dma mappings done in a loop before met error,
>

As far as I can see, it is not the case.
If qset_add_urb_sg() returns error code, the caller (qset_add_urb()) 
invokes qset_free_stds() that performs all resource deallocations.

As for the error path above, I consider it as a typical krealloc() 
pattern, since it does not frees memory allocated at previous iterations 
of the cycle.

Thank you,
Alexey

[toc] | [prev] | [next] | [standalone]

#1364885

FromVladimir Zapolskiy <vz@mleia.com>
Date2016-03-26 01:30 +0100
Message-ID<rgKh3-1eB-5@gated-at.bofh.it>
In reply to#1364871
On 26.03.2016 00:56, Alexey Khoroshilov wrote:
> On 26.03.2016 01:03, Vladimir Zapolskiy wrote:
>> On 25.03.2016 22:23, Alexey Khoroshilov wrote:
>>> Fixing checks for dma mapping error in qset_fill_page_list(),
>>> I have missed two similar problems in qset_add_urb_sg() and
>>> in qset_add_urb_sg_linearize().
>>>
>>> Found by Linux Driver Verification project (linuxtesting.org).
>>>
>>> Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>
>>> ---
>>>   drivers/usb/host/whci/qset.c | 6 +++++-
>>>   1 file changed, 5 insertions(+), 1 deletion(-)
>>>
>>> diff --git a/drivers/usb/host/whci/qset.c b/drivers/usb/host/whci/qset.c
>>> index 1a8e960d073b..a8e9b618e643 100644
>>> --- a/drivers/usb/host/whci/qset.c
>>> +++ b/drivers/usb/host/whci/qset.c
>>> @@ -535,9 +535,11 @@ static int qset_add_urb_sg(struct whc *whc, struct whc_qset *qset, struct urb *u
>>>   	list_for_each_entry(std, &qset->stds, list_node) {
>>>   		if (std->ntds_remaining == -1) {
>>>   			pl_len = std->num_pointers * sizeof(struct whc_page_list_entry);
>>> -			std->ntds_remaining = ntds--;
>>>   			std->dma_addr = dma_map_single(whc->wusbhc.dev, std->pl_virt,
>>>   						       pl_len, DMA_TO_DEVICE);
>>> +			if (dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
>>> +				return -EFAULT;
>>
>> Resources are leaked on error path:
>> * std->pl_virt  -- most probably, at least it is freed on error path above,
>> * dma mappings done in a loop before met error,
>>
> 
> As far as I can see, it is not the case.
> If qset_add_urb_sg() returns error code, the caller (qset_add_urb()) 
> invokes qset_free_stds() that performs all resource deallocations.

Ok, but qset_free_std() lacks dma_mapping_error() check for mappings,
will it try to unmap a nonexistent/invalid mapping?

> As for the error path above, I consider it as a typical krealloc() 
> pattern, since it does not frees memory allocated at previous iterations 
> of the cycle.
> 

The dynamically (re-)allocated memory is freed by qset_free_std(),
that said kfree() and pointer assignment to NULL in qset_add_urb_sg()
error path may be removed IMHO.

--
With best wishes,
Vladimir

[toc] | [prev] | [next] | [standalone]

#1364995 — [PATCH v2] USB: whci-hcd: add more checks for dma mapping error

FromAlexey Khoroshilov <khoroshilov@ispras.ru>
Date2016-03-26 20:50 +0100
Subject[PATCH v2] USB: whci-hcd: add more checks for dma mapping error
Message-ID<rh2nF-5qG-35@gated-at.bofh.it>
In reply to#1364885
Fixing checks for dma mapping error in qset_fill_page_list(),
I have missed two similar problems in qset_add_urb_sg() and
in qset_add_urb_sg_linearize().

v2: check validity of dma_addr with dma_mapping_error()
in qset_free_std() as suggested by Vladimir Zapolskiy.

Found by Linux Driver Verification project (linuxtesting.org).

Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>
---
 drivers/usb/host/whci/qset.c | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/drivers/usb/host/whci/qset.c b/drivers/usb/host/whci/qset.c
index 1a8e960d073b..c0e6812426b3 100644
--- a/drivers/usb/host/whci/qset.c
+++ b/drivers/usb/host/whci/qset.c
@@ -314,7 +314,7 @@ void qset_free_std(struct whc *whc, struct whc_std *std)
 		kfree(std->bounce_buf);
 	}
 	if (std->pl_virt) {
-		if (std->dma_addr)
+		if (!dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
 			dma_unmap_single(whc->wusbhc.dev, std->dma_addr,
 					 std->num_pointers * sizeof(struct whc_page_list_entry),
 					 DMA_TO_DEVICE);
@@ -535,9 +535,11 @@ static int qset_add_urb_sg(struct whc *whc, struct whc_qset *qset, struct urb *u
 	list_for_each_entry(std, &qset->stds, list_node) {
 		if (std->ntds_remaining == -1) {
 			pl_len = std->num_pointers * sizeof(struct whc_page_list_entry);
-			std->ntds_remaining = ntds--;
 			std->dma_addr = dma_map_single(whc->wusbhc.dev, std->pl_virt,
 						       pl_len, DMA_TO_DEVICE);
+			if (dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
+				return -EFAULT;
+			std->ntds_remaining = ntds--;
 		}
 	}
 	return 0;
@@ -618,6 +620,8 @@ static int qset_add_urb_sg_linearize(struct whc *whc, struct whc_qset *qset,
 
 		std->dma_addr = dma_map_single(&whc->umc->dev, std->bounce_buf, std->len,
 					       is_out ? DMA_TO_DEVICE : DMA_FROM_DEVICE);
+		if (dma_mapping_error(&whc->umc->dev, std->dma_addr))
+			return -EFAULT;
 
 		if (qset_fill_page_list(whc, std, mem_flags) < 0)
 			return -ENOMEM;
-- 
1.9.1

[toc] | [prev] | [next] | [standalone]

#1366963 — Re: [PATCH v2] USB: whci-hcd: add more checks for dma mapping error

FromVladimir Zapolskiy <vz@mleia.com>
Date2016-03-30 09:50 +0200
SubjectRe: [PATCH v2] USB: whci-hcd: add more checks for dma mapping error
Message-ID<rij35-27H-23@gated-at.bofh.it>
In reply to#1364995
Hi Alexey,

On 26.03.2016 21:42, Alexey Khoroshilov wrote:
> Fixing checks for dma mapping error in qset_fill_page_list(),
> I have missed two similar problems in qset_add_urb_sg() and
> in qset_add_urb_sg_linearize().
> 
> v2: check validity of dma_addr with dma_mapping_error()
> in qset_free_std() as suggested by Vladimir Zapolskiy.
> 
> Found by Linux Driver Verification project (linuxtesting.org).
> 
> Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>

Reviewed-by: Vladimir Zapolskiy <vz@mleia.com>

> ---
>  drivers/usb/host/whci/qset.c | 8 ++++++--
>  1 file changed, 6 insertions(+), 2 deletions(-)
> 
> diff --git a/drivers/usb/host/whci/qset.c b/drivers/usb/host/whci/qset.c
> index 1a8e960d073b..c0e6812426b3 100644
> --- a/drivers/usb/host/whci/qset.c
> +++ b/drivers/usb/host/whci/qset.c
> @@ -314,7 +314,7 @@ void qset_free_std(struct whc *whc, struct whc_std *std)
>  		kfree(std->bounce_buf);
>  	}
>  	if (std->pl_virt) {
> -		if (std->dma_addr)
> +		if (!dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
>  			dma_unmap_single(whc->wusbhc.dev, std->dma_addr,
>  					 std->num_pointers * sizeof(struct whc_page_list_entry),
>  					 DMA_TO_DEVICE);
> @@ -535,9 +535,11 @@ static int qset_add_urb_sg(struct whc *whc, struct whc_qset *qset, struct urb *u
>  	list_for_each_entry(std, &qset->stds, list_node) {
>  		if (std->ntds_remaining == -1) {
>  			pl_len = std->num_pointers * sizeof(struct whc_page_list_entry);
> -			std->ntds_remaining = ntds--;
>  			std->dma_addr = dma_map_single(whc->wusbhc.dev, std->pl_virt,
>  						       pl_len, DMA_TO_DEVICE);
> +			if (dma_mapping_error(whc->wusbhc.dev, std->dma_addr))
> +				return -EFAULT;
> +			std->ntds_remaining = ntds--;
>  		}
>  	}
>  	return 0;
> @@ -618,6 +620,8 @@ static int qset_add_urb_sg_linearize(struct whc *whc, struct whc_qset *qset,
>  
>  		std->dma_addr = dma_map_single(&whc->umc->dev, std->bounce_buf, std->len,
>  					       is_out ? DMA_TO_DEVICE : DMA_FROM_DEVICE);
> +		if (dma_mapping_error(&whc->umc->dev, std->dma_addr))
> +			return -EFAULT;

From whc_probe() looks like &whc->umc->dev is the same as whc->wusbhc.dev,
so the change is correct, but I would suggest to unify the pointer to a device.

Still the driver has many problems, e.g. double kfree() -- error path
in qset_fill_page_list() and qset_free_stds() etc.

>  		if (qset_fill_page_list(whc, std, mem_flags) < 0)
>  			return -ENOMEM;
> 

--
With best wishes,
Vladimir

[toc] | [prev] | [standalone]

Back to top | Article view | linux.kernel

csiph-web