netdev - Re: KASAN: use-after-free Read in sctp_transport_get

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]

Date:   Fri, 24 Aug 2018 23:27:39 +0800
From:   Xin Long <lucien.xin@...il.com>
To:     Marcelo Ricardo Leitner <marcelo.leitner@...il.com>
Cc:     syzbot+fe62a0c9aa6a85c6de16@...kaller.appspotmail.com,
        davem <davem@...emloft.net>, LKML <linux-kernel@...r.kernel.org>,
        linux-sctp@...r.kernel.org, network dev <netdev@...r.kernel.org>,
        Neil Horman <nhorman@...driver.com>,
        syzkaller-bugs <syzkaller-bugs@...glegroups.com>,
        Vlad Yasevich <vyasevich@...il.com>
Subject: Re: KASAN: use-after-free Read in sctp_transport_get_next

On Fri, Aug 24, 2018 at 8:51 PM Marcelo Ricardo Leitner
<marcelo.leitner@...il.com> wrote:
>
> On Fri, Aug 24, 2018 at 12:40:03AM -0700, syzbot wrote:
> > CPU: 1 PID: 12694 Comm: syz-executor0 Not tainted 4.18.0+ #107
> > Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS
> > Google 01/01/2011
> > Call Trace:
> >  __dump_stack lib/dump_stack.c:77 [inline]
> >  dump_stack+0x1c9/0x2b4 lib/dump_stack.c:113
> >  print_address_description+0x6c/0x20b mm/kasan/report.c:256
> >  kasan_report_error mm/kasan/report.c:354 [inline]
> >  kasan_report.cold.7+0x242/0x30d mm/kasan/report.c:412
> >  __asan_report_load8_noabort+0x14/0x20 mm/kasan/report.c:433
> >  sctp_transport_get_next+0x11c/0x140 net/sctp/socket.c:5008
> >  sctp_transport_get_idx net/sctp/socket.c:5022 [inline]
>
> It is iterating over transports but then also accessing the
> association directly, without checking any refcnts before that.
>
> struct sctp_transport *sctp_transport_get_next(struct net *net,
>                                                struct rhashtable_iter *iter)
> {
>         struct sctp_transport *t;
>
>         t = rhashtable_walk_next(iter);
>         for (; t; t = rhashtable_walk_next(iter)) {
>                 if (IS_ERR(t)) {
>                         if (PTR_ERR(t) == -EAGAIN)
>                                 continue;
>                         break;
>                 }
>
>                 if (net_eq(sock_net(t->asoc->base.sk), net) &&
>                     t->asoc->peer.primary_path == t)
>                         break;
>
> and these t->asoc->  are risky because transport may be laying dead on
> the water already, as transports are freed by RCU and associations are
> not.
Thanks,
I will move sctp_transport_hold into sctp_transport_get_next():
diff --git a/net/sctp/socket.c b/net/sctp/socket.c
index ce620e8..4bd5c2d 100644
--- a/net/sctp/socket.c
+++ b/net/sctp/socket.c
@@ -4881,9 +4881,14 @@ struct sctp_transport
*sctp_transport_get_next(struct net *net,
                        break;
                }

+               if (!sctp_transport_hold(t))
+                       continue;
+
                if (net_eq(sock_net(t->asoc->base.sk), net) &&
                    t->asoc->peer.primary_path == t)
                        break;
+
+               sctp_transport_put(t);
        }

        return t;
@@ -4896,8 +4901,10 @@ struct sctp_transport
*sctp_transport_get_idx(struct net *net,
        void *obj = SEQ_START_TOKEN;

        while (pos && (obj = sctp_transport_get_next(net, iter)) &&
-              !IS_ERR(obj))
+              !IS_ERR(obj)) {
                pos--;
+               sctp_transport_put(obj);
+       }

        return obj;
 }
@@ -4958,8 +4965,6 @@ int sctp_for_each_transport(int (*cb)(struct
sctp_transport *, void *),

        tsp = sctp_transport_get_idx(net, &hti, *pos + 1);
        for (; !IS_ERR_OR_NULL(tsp); tsp = sctp_transport_get_next(net, &hti)) {
-               if (!sctp_transport_hold(tsp))
-                       continue;
                ret = cb(tsp, p);
                if (ret)
                        break;