diff mbox series

tracing/probes: fix traceprobe out-of-bounds argument allocation

Message ID 20240813172546.3151-1-ffmancera@riseup.net (mailing list archive)
State Superseded
Delegated to: Masami Hiramatsu
Headers show
Series tracing/probes: fix traceprobe out-of-bounds argument allocation | expand

Commit Message

Fernando F. Mancera Aug. 13, 2024, 5:25 p.m. UTC
When initializing trace_probes::nr_args, make sure the maximum number of
probe arguments is honored. Oherwise, we can hit a NULL pointer
dereferences in multiple situations like on traceprobe_set_print_fmt().

Link: https://bugzilla.redhat.com/2303876

Fixes: 035ba76014c0 ("tracing/probes: cleanup: Set trace_probe::nr_args at trace_probe_init")
Signed-off-by: Fernando Fernandez Mancera <ffmancera@riseup.net>
---
 kernel/trace/trace_probe.c | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

Comments

Masami Hiramatsu (Google) Aug. 25, 2024, 7:41 a.m. UTC | #1
Hi,

On Tue, 13 Aug 2024 13:25:40 -0400
Fernando Fernandez Mancera <ffmancera@riseup.net> wrote:

> When initializing trace_probes::nr_args, make sure the maximum number of
> probe arguments is honored. Oherwise, we can hit a NULL pointer
> dereferences in multiple situations like on traceprobe_set_print_fmt().
> 
> Link: https://bugzilla.redhat.com/2303876

Sorry for replying later. I'm not sure why but I did not found this in my mbox...

Anyway, trace_probe_init() should return -E2BIG in this case because
it is actuall wrong value.

Can you update your patch?

Thank you,


> 
> Fixes: 035ba76014c0 ("tracing/probes: cleanup: Set trace_probe::nr_args at trace_probe_init")
> Signed-off-by: Fernando Fernandez Mancera <ffmancera@riseup.net>
> ---
>  kernel/trace/trace_probe.c | 8 ++++++--
>  1 file changed, 6 insertions(+), 2 deletions(-)
> 
> diff --git a/kernel/trace/trace_probe.c b/kernel/trace/trace_probe.c
> index 39877c80d6cb..f577b5e71026 100644
> --- a/kernel/trace/trace_probe.c
> +++ b/kernel/trace/trace_probe.c
> @@ -2043,10 +2043,14 @@ int trace_probe_init(struct trace_probe *tp, const char *event,
>  		goto error;
>  	}
>  
> -	tp->nr_args = nargs;
> +	if (nargs > MAX_TRACE_ARGS)
> +		tp->nr_args = MAX_TRACE_ARGS;
> +	else
> +		tp->nr_args = nargs;
> +
>  	/* Make sure pointers in args[] are NULL */
>  	if (nargs)
> -		memset(tp->args, 0, sizeof(tp->args[0]) * nargs);
> +		memset(tp->args, 0, sizeof(tp->args[0]) * tp->nr_args);
>  
>  	return 0;
>
Fernando F. Mancera Aug. 25, 2024, 5:06 p.m. UTC | #2
Hi,

On 25/08/2024 09:41, Masami Hiramatsu (Google) wrote:
> Hi,
> 
> On Tue, 13 Aug 2024 13:25:40 -0400
> Fernando Fernandez Mancera <ffmancera@riseup.net> wrote:
> 
>> When initializing trace_probes::nr_args, make sure the maximum number of
>> probe arguments is honored. Oherwise, we can hit a NULL pointer
>> dereferences in multiple situations like on traceprobe_set_print_fmt().
>>
>> Link: https://bugzilla.redhat.com/2303876
> 
> Sorry for replying later. I'm not sure why but I did not found this in my mbox...
> 

No worries!

> Anyway, trace_probe_init() should return -E2BIG in this case because
> it is actuall wrong value.
> 
> Can you update your patch?
> 

I agree this is the right solution but it would mean a change in 
behavior. Is that fine? Before merging 035ba76014c0, it was writing up 
to the maximum number of arguments and ignoring the rest. If you confirm 
it is fine to change the behavior, I will update the patch.

Thank you!

> Thank you,
> 
> 
>>
>> Fixes: 035ba76014c0 ("tracing/probes: cleanup: Set trace_probe::nr_args at trace_probe_init")
>> Signed-off-by: Fernando Fernandez Mancera <ffmancera@riseup.net>
>> ---
>>   kernel/trace/trace_probe.c | 8 ++++++--
>>   1 file changed, 6 insertions(+), 2 deletions(-)
>>
>> diff --git a/kernel/trace/trace_probe.c b/kernel/trace/trace_probe.c
>> index 39877c80d6cb..f577b5e71026 100644
>> --- a/kernel/trace/trace_probe.c
>> +++ b/kernel/trace/trace_probe.c
>> @@ -2043,10 +2043,14 @@ int trace_probe_init(struct trace_probe *tp, const char *event,
>>   		goto error;
>>   	}
>>   
>> -	tp->nr_args = nargs;
>> +	if (nargs > MAX_TRACE_ARGS)
>> +		tp->nr_args = MAX_TRACE_ARGS;
>> +	else
>> +		tp->nr_args = nargs;
>> +
>>   	/* Make sure pointers in args[] are NULL */
>>   	if (nargs)
>> -		memset(tp->args, 0, sizeof(tp->args[0]) * nargs);
>> +		memset(tp->args, 0, sizeof(tp->args[0]) * tp->nr_args);
>>   
>>   	return 0;
>>   
> 
>
Masami Hiramatsu (Google) Aug. 25, 2024, 11:56 p.m. UTC | #3
On Sun, 25 Aug 2024 19:06:22 +0200
"Fernando F. Mancera" <ffmancera@riseup.net> wrote:

> Hi,
> 
> On 25/08/2024 09:41, Masami Hiramatsu (Google) wrote:
> > Hi,
> > 
> > On Tue, 13 Aug 2024 13:25:40 -0400
> > Fernando Fernandez Mancera <ffmancera@riseup.net> wrote:
> > 
> >> When initializing trace_probes::nr_args, make sure the maximum number of
> >> probe arguments is honored. Oherwise, we can hit a NULL pointer
> >> dereferences in multiple situations like on traceprobe_set_print_fmt().
> >>
> >> Link: https://bugzilla.redhat.com/2303876
> > 
> > Sorry for replying later. I'm not sure why but I did not found this in my mbox...
> > 
> 
> No worries!
> 
> > Anyway, trace_probe_init() should return -E2BIG in this case because
> > it is actuall wrong value.
> > 
> > Can you update your patch?
> > 
> 
> I agree this is the right solution but it would mean a change in 
> behavior. Is that fine? Before merging 035ba76014c0, it was writing up 
> to the maximum number of arguments and ignoring the rest. If you confirm 
> it is fine to change the behavior, I will update the patch.

Yes, I think this is the better behavior for users too, rather than
silently droping some arguments.
We also need to handle this error code in callsite and log an error,
and add a testcase in the syntax error testcase. But that should be done
in another series. We should fix this first.

Thank you,


> 
> Thank you!
> 
> > Thank you,
> > 
> > 
> >>
> >> Fixes: 035ba76014c0 ("tracing/probes: cleanup: Set trace_probe::nr_args at trace_probe_init")
> >> Signed-off-by: Fernando Fernandez Mancera <ffmancera@riseup.net>
> >> ---
> >>   kernel/trace/trace_probe.c | 8 ++++++--
> >>   1 file changed, 6 insertions(+), 2 deletions(-)
> >>
> >> diff --git a/kernel/trace/trace_probe.c b/kernel/trace/trace_probe.c
> >> index 39877c80d6cb..f577b5e71026 100644
> >> --- a/kernel/trace/trace_probe.c
> >> +++ b/kernel/trace/trace_probe.c
> >> @@ -2043,10 +2043,14 @@ int trace_probe_init(struct trace_probe *tp, const char *event,
> >>   		goto error;
> >>   	}
> >>   
> >> -	tp->nr_args = nargs;
> >> +	if (nargs > MAX_TRACE_ARGS)
> >> +		tp->nr_args = MAX_TRACE_ARGS;
> >> +	else
> >> +		tp->nr_args = nargs;
> >> +
> >>   	/* Make sure pointers in args[] are NULL */
> >>   	if (nargs)
> >> -		memset(tp->args, 0, sizeof(tp->args[0]) * nargs);
> >> +		memset(tp->args, 0, sizeof(tp->args[0]) * tp->nr_args);
> >>   
> >>   	return 0;
> >>   
> > 
> >
Fernando F. Mancera Aug. 26, 2024, 2:58 p.m. UTC | #4
On 26/08/2024 01:56, Masami Hiramatsu (Google) wrote:
> On Sun, 25 Aug 2024 19:06:22 +0200
> "Fernando F. Mancera" <ffmancera@riseup.net> wrote:
> 
>> Hi,
>>
>> On 25/08/2024 09:41, Masami Hiramatsu (Google) wrote:
>>> Hi,
>>>
>>> On Tue, 13 Aug 2024 13:25:40 -0400
>>> Fernando Fernandez Mancera <ffmancera@riseup.net> wrote:
>>>
>>>> When initializing trace_probes::nr_args, make sure the maximum number of
>>>> probe arguments is honored. Oherwise, we can hit a NULL pointer
>>>> dereferences in multiple situations like on traceprobe_set_print_fmt().
>>>>
>>>> Link: https://bugzilla.redhat.com/2303876
>>>
>>> Sorry for replying later. I'm not sure why but I did not found this in my mbox...
>>>
>>
>> No worries!
>>
>>> Anyway, trace_probe_init() should return -E2BIG in this case because
>>> it is actuall wrong value.
>>>
>>> Can you update your patch?
>>>
>>
>> I agree this is the right solution but it would mean a change in
>> behavior. Is that fine? Before merging 035ba76014c0, it was writing up
>> to the maximum number of arguments and ignoring the rest. If you confirm
>> it is fine to change the behavior, I will update the patch.
> 
> Yes, I think this is the better behavior for users too, rather than
> silently droping some arguments.
> We also need to handle this error code in callsite and log an error,
> and add a testcase in the syntax error testcase. But that should be done
> in another series. We should fix this first.
> 

Thanks I will update the patch. If you don't mind I would also like to 
do the follow up patch series.

> Thank you,
> 
> 
>>
>> Thank you!
>>
>>> Thank you,
>>>
>>>
>>>>
>>>> Fixes: 035ba76014c0 ("tracing/probes: cleanup: Set trace_probe::nr_args at trace_probe_init")
>>>> Signed-off-by: Fernando Fernandez Mancera <ffmancera@riseup.net>
>>>> ---
>>>>    kernel/trace/trace_probe.c | 8 ++++++--
>>>>    1 file changed, 6 insertions(+), 2 deletions(-)
>>>>
>>>> diff --git a/kernel/trace/trace_probe.c b/kernel/trace/trace_probe.c
>>>> index 39877c80d6cb..f577b5e71026 100644
>>>> --- a/kernel/trace/trace_probe.c
>>>> +++ b/kernel/trace/trace_probe.c
>>>> @@ -2043,10 +2043,14 @@ int trace_probe_init(struct trace_probe *tp, const char *event,
>>>>    		goto error;
>>>>    	}
>>>>    
>>>> -	tp->nr_args = nargs;
>>>> +	if (nargs > MAX_TRACE_ARGS)
>>>> +		tp->nr_args = MAX_TRACE_ARGS;
>>>> +	else
>>>> +		tp->nr_args = nargs;
>>>> +
>>>>    	/* Make sure pointers in args[] are NULL */
>>>>    	if (nargs)
>>>> -		memset(tp->args, 0, sizeof(tp->args[0]) * nargs);
>>>> +		memset(tp->args, 0, sizeof(tp->args[0]) * tp->nr_args);
>>>>    
>>>>    	return 0;
>>>>    
>>>
>>>
> 
>
Fernando F. Mancera Sept. 4, 2024, 10:19 p.m. UTC | #5
Hi,

On 26/08/2024 01:56, Masami Hiramatsu (Google) wrote:
> On Sun, 25 Aug 2024 19:06:22 +0200
> "Fernando F. Mancera" <ffmancera@riseup.net> wrote:
> 
>> Hi,
>>
>> On 25/08/2024 09:41, Masami Hiramatsu (Google) wrote:
>>> Hi,
>>>
>>> On Tue, 13 Aug 2024 13:25:40 -0400
>>> Fernando Fernandez Mancera <ffmancera@riseup.net> wrote:
>>>
>>>> When initializing trace_probes::nr_args, make sure the maximum number of
>>>> probe arguments is honored. Oherwise, we can hit a NULL pointer
>>>> dereferences in multiple situations like on traceprobe_set_print_fmt().
>>>>
>>>> Link: https://bugzilla.redhat.com/2303876
>>>
>>> Sorry for replying later. I'm not sure why but I did not found this in my mbox...
>>>
>>
>> No worries!
>>
>>> Anyway, trace_probe_init() should return -E2BIG in this case because
>>> it is actuall wrong value.
>>>
>>> Can you update your patch?
>>>
>>
>> I agree this is the right solution but it would mean a change in
>> behavior. Is that fine? Before merging 035ba76014c0, it was writing up
>> to the maximum number of arguments and ignoring the rest. If you confirm
>> it is fine to change the behavior, I will update the patch.
> 
> Yes, I think this is the better behavior for users too, rather than
> silently droping some arguments.
> We also need to handle this error code in callsite and log an error,
> and add a testcase in the syntax error testcase. But that should be done
> in another series. We should fix this first.
> 

Just in case this fell through the cracks, I've sent a V2 patch. In 
addition I also have a series ready for the logging and syntax error 
testcase in kselftest but I didn't send it because it requires this 
patch to be applied.

Thank you,
Fernando.

> Thank you,
> 
> 
>>
>> Thank you!
>>
>>> Thank you,
>>>
>>>
>>>>
>>>> Fixes: 035ba76014c0 ("tracing/probes: cleanup: Set trace_probe::nr_args at trace_probe_init")
>>>> Signed-off-by: Fernando Fernandez Mancera <ffmancera@riseup.net>
>>>> ---
>>>>    kernel/trace/trace_probe.c | 8 ++++++--
>>>>    1 file changed, 6 insertions(+), 2 deletions(-)
>>>>
>>>> diff --git a/kernel/trace/trace_probe.c b/kernel/trace/trace_probe.c
>>>> index 39877c80d6cb..f577b5e71026 100644
>>>> --- a/kernel/trace/trace_probe.c
>>>> +++ b/kernel/trace/trace_probe.c
>>>> @@ -2043,10 +2043,14 @@ int trace_probe_init(struct trace_probe *tp, const char *event,
>>>>    		goto error;
>>>>    	}
>>>>    
>>>> -	tp->nr_args = nargs;
>>>> +	if (nargs > MAX_TRACE_ARGS)
>>>> +		tp->nr_args = MAX_TRACE_ARGS;
>>>> +	else
>>>> +		tp->nr_args = nargs;
>>>> +
>>>>    	/* Make sure pointers in args[] are NULL */
>>>>    	if (nargs)
>>>> -		memset(tp->args, 0, sizeof(tp->args[0]) * nargs);
>>>> +		memset(tp->args, 0, sizeof(tp->args[0]) * tp->nr_args);
>>>>    
>>>>    	return 0;
>>>>    
>>>
>>>
> 
>
diff mbox series

Patch

diff --git a/kernel/trace/trace_probe.c b/kernel/trace/trace_probe.c
index 39877c80d6cb..f577b5e71026 100644
--- a/kernel/trace/trace_probe.c
+++ b/kernel/trace/trace_probe.c
@@ -2043,10 +2043,14 @@  int trace_probe_init(struct trace_probe *tp, const char *event,
 		goto error;
 	}
 
-	tp->nr_args = nargs;
+	if (nargs > MAX_TRACE_ARGS)
+		tp->nr_args = MAX_TRACE_ARGS;
+	else
+		tp->nr_args = nargs;
+
 	/* Make sure pointers in args[] are NULL */
 	if (nargs)
-		memset(tp->args, 0, sizeof(tp->args[0]) * nargs);
+		memset(tp->args, 0, sizeof(tp->args[0]) * tp->nr_args);
 
 	return 0;