netdev - Re: [net-next 01/14] lib: cpu_rmap: Avoid use after free on rmap->obj array entries

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <a0775e23-56dc-fe0d-f9fb-91e421a596c1@nvidia.com>
Date:   Wed, 22 Mar 2023 11:43:08 +0200
From:   Eli Cohen <elic@...dia.com>
To:     Jakub Kicinski <kuba@...nel.org>, Saeed Mahameed <saeed@...nel.org>
Cc:     "David S. Miller" <davem@...emloft.net>,
        Paolo Abeni <pabeni@...hat.com>,
        Eric Dumazet <edumazet@...gle.com>,
        Saeed Mahameed <saeedm@...dia.com>, netdev@...r.kernel.org,
        Tariq Toukan <tariqt@...dia.com>
Subject: Re: [net-next 01/14] lib: cpu_rmap: Avoid use after free on rmap->obj
 array entries


On 22/03/2023 5:38, Jakub Kicinski wrote:
> On Mon, 20 Mar 2023 10:51:31 -0700 Saeed Mahameed wrote:
>> From: Eli Cohen <elic@...dia.com>
>>
>> When calling irq_set_affinity_notifier() with NULL at the notify
>> argument, it will cause freeing of the glue pointer in the
>> corresponding array entry but will leave the pointer in the array. A
>> subsequent call to free_irq_cpu_rmap() will try to free this entry again
>> leading to possible use after free.
>>
>> Fix that by setting NULL to the array entry and checking that we have
>> non-zero at the array entry when iterating over the array in
>> free_irq_cpu_rmap().
> Commit message needs some work. Are you trying to make double
> free_irq_cpu_rmap() work fine because of callers?

Some callers may want to call irq_set_affinity_notifier() for a specific 
vector and then call free_irq_cpu_rmap() to to free the struct cpu_rmap 
allocation.  This is a valid scenario as both 
irq_set_affinity_notifier() are exported. This sequence. This sequence 
of calls does not happen in the current kernel but my other patches in 
the series do.

I will try to improve the commit message.

>   Are there problems
> with error path of irq_cpu_rmap_add()? I can tell what you're trying
> to prevent but not why.
No, as explained above.
>
>> Fixes: c39649c331c7 ("lib: cpu_rmap: CPU affinity reverse-mapping")
> What is this Fixes tag doing in a net-next patch :S
> If it can be triggered it needs to go to net.
It can't be triggered but with my subsequent patches it could.
>
>> Signed-off-by: Eli Cohen <elic@...dia.com>
>> Signed-off-by: Saeed Mahameed <saeedm@...dia.com>
>> ---
>>   lib/cpu_rmap.c | 5 ++++-
>>   1 file changed, 4 insertions(+), 1 deletion(-)
>>
>> diff --git a/lib/cpu_rmap.c b/lib/cpu_rmap.c
>> index f08d9c56f712..e77f12bb3c77 100644
>> --- a/lib/cpu_rmap.c
>> +++ b/lib/cpu_rmap.c
>> @@ -232,7 +232,8 @@ void free_irq_cpu_rmap(struct cpu_rmap *rmap)
>>   
>>   	for (index = 0; index < rmap->used; index++) {
> After looking at this code for 10min - isn't the problem that used
> is never decremented on the error path?
>
> I don't see a way to remove from the map so it can't be sparse.
This call, irq_set_affinity_notifier(glue->notify.irq, NULL) can be made 
by drivers.
>
>>   		glue = rmap->obj[index];
>> -		irq_set_affinity_notifier(glue->notify.irq, NULL);
>> +		if (glue)
>> +			irq_set_affinity_notifier(glue->notify.irq, NULL);
>>   	}
>>   
>>   	cpu_rmap_put(rmap);
>> @@ -268,6 +269,7 @@ static void irq_cpu_rmap_release(struct kref *ref)
>>   		container_of(ref, struct irq_glue, notify.kref);
>>   
>>   	cpu_rmap_put(glue->rmap);
>> +	glue->rmap->obj[glue->index] = NULL;
>>   	kfree(glue);
>>   }
>>   
>> @@ -297,6 +299,7 @@ int irq_cpu_rmap_add(struct cpu_rmap *rmap, int irq)
>>   	rc = irq_set_affinity_notifier(irq, &glue->notify);
>>   	if (rc) {
>>   		cpu_rmap_put(glue->rmap);
>> +		rmap->obj[glue->index] = NULL;
>>   		kfree(glue);
>>   	}
>>   	return rc;