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


Groups > linux.kernel > #1355795

Re: [PATCH net-next] bpf: avoid copying junk bytes in bpf_get_current_comm()

From Daniel Borkmann <daniel@iogearbox.net>
Newsgroups linux.kernel
Subject Re: [PATCH net-next] bpf: avoid copying junk bytes in bpf_get_current_comm()
Date 2016-03-11 11:30 +0100
Message-ID <rbsuv-4D2-41@gated-at.bofh.it> (permalink)
References <rb05c-1w0-17@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


On 03/10/2016 05:02 AM, Alexei Starovoitov wrote:
> Lots of places in the kernel use memcpy(buf, comm, TASK_COMM_LEN); but
> the result is typically passed to print("%s", buf) and extra bytes
> after zero don't cause any harm.
> In bpf the result of bpf_get_current_comm() is used as the part of
> map key and was causing spurious hash map mismatches.
> Use strlcpy() to guarantee zero-terminated string.
> bpf verifier checks that output buffer is zero-initialized,

Sorry for late reply, more below:

> so even for short task names the output buffer don't have junk bytes.
> Note it's not a security concern, since kprobe+bpf is root only.
>
> Fixes: ffeedafbf023 ("bpf: introduce current->pid, tgid, uid, gid, comm accessors")
> Reported-by: Tobias Waldekranz <tobias@waldekranz.com>
> Signed-off-by: Alexei Starovoitov <ast@kernel.org>
[...]
> diff --git a/kernel/bpf/helpers.c b/kernel/bpf/helpers.c
> index 4504ca66118d..50da680c479f 100644
> --- a/kernel/bpf/helpers.c
> +++ b/kernel/bpf/helpers.c
> @@ -166,7 +166,7 @@ static u64 bpf_get_current_comm(u64 r1, u64 size, u64 r3, u64 r4, u64 r5)
>   	if (!task)
>   		return -EINVAL;
>
> -	memcpy(buf, task->comm, min_t(size_t, size, sizeof(task->comm)));
> +	strlcpy(buf, task->comm, min_t(size_t, size, sizeof(task->comm)));

If I see this correctly, __set_task_comm() makes sure comm is always zero
terminated, so that seems good, but isn't it already sufficient when switching
to strlcpy() to simply use:

     strlcpy(buf, task->comm, size);

The min_t() seems unnecessary work to me, why do we still need it? size
is guaranteed to be > 0 through the eBPF verifier, so strlcpy() should take
care of the rest.

Thanks,
Daniel

Back to linux.kernel | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

[PATCH net-next] bpf: avoid copying junk bytes in bpf_get_current_comm() Alexei Starovoitov <ast@fb.com> - 2016-03-10 05:10 +0100
  Re: [PATCH net-next] bpf: avoid copying junk bytes in  bpf_get_current_comm() David Miller <davem@davemloft.net> - 2016-03-10 05:30 +0100
  Re: [PATCH net-next] bpf: avoid copying junk bytes in bpf_get_current_comm() Daniel Borkmann <daniel@iogearbox.net> - 2016-03-11 11:30 +0100
    Re: [PATCH net-next] bpf: avoid copying junk bytes in  bpf_get_current_comm() Alexei Starovoitov <ast@fb.com> - 2016-03-11 18:30 +0100
      Re: [PATCH net-next] bpf: avoid copying junk bytes in bpf_get_current_comm() Daniel Borkmann <daniel@iogearbox.net> - 2016-03-11 19:10 +0100
        Re: [PATCH net-next] bpf: avoid copying junk bytes in  bpf_get_current_comm() Alexei Starovoitov <ast@fb.com> - 2016-03-11 19:40 +0100

csiph-web