[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CAPhsuW4Xm+RYftacCYEhfKHDT57jqK=ssV7GWCoNvRp=6YH-0A@mail.gmail.com>
Date:   Sun, 2 Dec 2018 23:52:29 -0800
From:   Song Liu <liu.song.a23@...il.com>
To:     danieltimlee@...il.com
Cc:     Daniel Borkmann <daniel@...earbox.net>,
        Alexei Starovoitov <ast@...nel.org>,
        Networking <netdev@...r.kernel.org>
Subject: Re: [PATCH] samples: bpf: fix: seg fault with NULL pointer arg
On Sat, Dec 1, 2018 at 1:07 PM Daniel T. Lee <danieltimlee@...il.com> wrote:
>
> When NULL pointer accidentally passed to write_kprobe_events,
> due to strlen(NULL), segmentation fault happens.
> Changed code returns -1 to deal with this situation.
>
> Bug issued with Smatch, static analysis.
>
> Signed-off-by: Daniel T. Lee <danieltimlee@...il.com>
> ---
>  samples/bpf/bpf_load.c | 4 +++-
>  1 file changed, 3 insertions(+), 1 deletion(-)
>
> diff --git a/samples/bpf/bpf_load.c b/samples/bpf/bpf_load.c
> index 434ea34a5954..c670bd2200d2 100644
> --- a/samples/bpf/bpf_load.c
> +++ b/samples/bpf/bpf_load.c
> @@ -58,7 +58,9 @@ static int write_kprobe_events(const char *val)
>  {
>         int fd, ret, flags;
>
> -       if ((val != NULL) && (val[0] == '\0'))
> +       if (val == NULL)
> +               return -1;
> +       else if ((val != NULL) && (val[0] == '\0'))
We only need
+       else if (val[0] == '\0')
right?
Thanks,
Song
Powered by blists - more mailing lists
 
