]> git.hungrycats.org Git - linux/commitdiff
xfrm: validate new SA's prefixlen using SA family when sel.family is unset
authorSabrina Dubroca <sd@queasysnail.net>
Tue, 1 Oct 2024 16:48:14 +0000 (18:48 +0200)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Fri, 8 Nov 2024 15:22:00 +0000 (16:22 +0100)
[ Upstream commit 3f0ab59e6537c6a8f9e1b355b48f9c05a76e8563 ]

This expands the validation introduced in commit 07bf7908950a ("xfrm:
Validate address prefix lengths in the xfrm selector.")

syzbot created an SA with
    usersa.sel.family = AF_UNSPEC
    usersa.sel.prefixlen_s = 128
    usersa.family = AF_INET

Because of the AF_UNSPEC selector, verify_newsa_info doesn't put
limits on prefixlen_{s,d}. But then copy_from_user_state sets
x->sel.family to usersa.family (AF_INET). Do the same conversion in
verify_newsa_info before validating prefixlen_{s,d}, since that's how
prefixlen is going to be used later on.

Reported-by: syzbot+cc39f136925517aed571@syzkaller.appspotmail.com
Fixes: 1da177e4c3f4 ("Linux-2.6.12-rc2")
Signed-off-by: Sabrina Dubroca <sd@queasysnail.net>
Signed-off-by: Steffen Klassert <steffen.klassert@secunet.com>
Signed-off-by: Antony Antony <antony.antony@secunet.com>
Signed-off-by: Sasha Levin <sashal@kernel.org>
net/xfrm/xfrm_user.c

index 070946d093817da6026ab5e1b0c84a3d36c435e2..e28e49499713f6f20de1d68f3e4fad5e48083acf 100644 (file)
@@ -149,6 +149,7 @@ static int verify_newsa_info(struct xfrm_usersa_info *p,
                             struct nlattr **attrs)
 {
        int err;
+       u16 family = p->sel.family;
 
        err = -EINVAL;
        switch (p->family) {
@@ -167,7 +168,10 @@ static int verify_newsa_info(struct xfrm_usersa_info *p,
                goto out;
        }
 
-       switch (p->sel.family) {
+       if (!family && !(p->flags & XFRM_STATE_AF_UNSPEC))
+               family = p->family;
+
+       switch (family) {
        case AF_UNSPEC:
                break;