net/netfilter/x_tables.c

   1 // SPDX-License-Identifier: GPL-2.0-only
   2 /*
   3  * x_tables core - Backend for {ip,ip6,arp}_tables
   4  *
   5  * Copyright (C) 2006-2006 Harald Welte <[email protected]>
   6  * Copyright (C) 2006-2012 Patrick McHardy <[email protected]>
   7  *
   8  * Based on existing ip_tables code which is
   9  *   Copyright (C) 1999 Paul `Rusty' Russell & Michael J. Neuling
  10  *   Copyright (C) 2000-2005 Netfilter Core Team <[email protected]>
  11  */
  12 #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
  13 #include <linux/kernel.h>
  14 #include <linux/module.h>
  15 #include <linux/socket.h>
  16 #include <linux/net.h>
  17 #include <linux/proc_fs.h>
  18 #include <linux/seq_file.h>
  19 #include <linux/string.h>
  20 #include <linux/vmalloc.h>
  21 #include <linux/mutex.h>
  22 #include <linux/mm.h>
  23 #include <linux/slab.h>
  24 #include <linux/audit.h>
  25 #include <linux/user_namespace.h>
  26 #include <net/net_namespace.h>
  27
  28 #include <linux/netfilter/x_tables.h>
  29 #include <linux/netfilter_arp.h>
  30 #include <linux/netfilter_ipv4/ip_tables.h>
  31 #include <linux/netfilter_ipv6/ip6_tables.h>
  32 #include <linux/netfilter_arp/arp_tables.h>
  33
  34 MODULE_LICENSE("GPL");
  35 MODULE_AUTHOR("Harald Welte <[email protected]>");
  36 MODULE_DESCRIPTION("{ip,ip6,arp,eb}_tables backend module");
  37
  38 #define XT_PCPU_BLOCK_SIZE 4096
  39 #define XT_MAX_TABLE_SIZE       (512 * 1024 * 1024)
  40
  41 struct compat_delta {
  42         unsigned int offset; /* offset in kernel */
  43         int delta; /* delta in 32bit user land */
  44 };
  45
  46 struct xt_af {
  47         struct mutex mutex;
  48         struct list_head match;
  49         struct list_head target;
  50 #ifdef CONFIG_COMPAT
  51         struct mutex compat_mutex;
  52         struct compat_delta *compat_tab;
  53         unsigned int number; /* number of slots in compat_tab[] */
  54         unsigned int cur; /* number of used slots in compat_tab[] */
  55 #endif
  56 };
  57
  58 static struct xt_af *xt;
  59
  60 static const char *const xt_prefix[NFPROTO_NUMPROTO] = {
  61         [NFPROTO_UNSPEC] = "x",
  62         [NFPROTO_IPV4]   = "ip",
  63         [NFPROTO_ARP]    = "arp",
  64         [NFPROTO_BRIDGE] = "eb",
  65         [NFPROTO_IPV6]   = "ip6",
  66 };
  67
  68 /* Registration hooks for targets. */
  69 int xt_register_target(struct xt_target *target)
  70 {
  71         u_int8_t af = target->family;
  72
  73         mutex_lock(&xt[af].mutex);
  74         list_add(&target->list, &xt[af].target);
  75         mutex_unlock(&xt[af].mutex);
  76         return 0;
  77 }
  78 EXPORT_SYMBOL(xt_register_target);
  79
  80 void
  81 xt_unregister_target(struct xt_target *target)
  82 {
  83         u_int8_t af = target->family;
  84
  85         mutex_lock(&xt[af].mutex);
  86         list_del(&target->list);
  87         mutex_unlock(&xt[af].mutex);
  88 }
  89 EXPORT_SYMBOL(xt_unregister_target);
  90
  91 int
  92 xt_register_targets(struct xt_target *target, unsigned int n)
  93 {
  94         unsigned int i;
  95         int err = 0;
  96
  97         for (i = 0; i < n; i++) {
  98                 err = xt_register_target(&target[i]);
  99                 if (err)
 100                         goto err;
 101         }
 102         return err;
 103
 104 err:
 105         if (i > 0)
 106                 xt_unregister_targets(target, i);
 107         return err;
 108 }
 109 EXPORT_SYMBOL(xt_register_targets);
 110
 111 void
 112 xt_unregister_targets(struct xt_target *target, unsigned int n)
 113 {
 114         while (n-- > 0)
 115                 xt_unregister_target(&target[n]);
 116 }
 117 EXPORT_SYMBOL(xt_unregister_targets);
 118
 119 int xt_register_match(struct xt_match *match)
 120 {
 121         u_int8_t af = match->family;
 122
 123         mutex_lock(&xt[af].mutex);
 124         list_add(&match->list, &xt[af].match);
 125         mutex_unlock(&xt[af].mutex);
 126         return 0;
 127 }
 128 EXPORT_SYMBOL(xt_register_match);
 129
 130 void
 131 xt_unregister_match(struct xt_match *match)
 132 {
 133         u_int8_t af = match->family;
 134
 135         mutex_lock(&xt[af].mutex);
 136         list_del(&match->list);
 137         mutex_unlock(&xt[af].mutex);
 138 }
 139 EXPORT_SYMBOL(xt_unregister_match);
 140
 141 int
 142 xt_register_matches(struct xt_match *match, unsigned int n)
 143 {
 144         unsigned int i;
 145         int err = 0;
 146
 147         for (i = 0; i < n; i++) {
 148                 err = xt_register_match(&match[i]);
 149                 if (err)
 150                         goto err;
 151         }
 152         return err;
 153
 154 err:
 155         if (i > 0)
 156                 xt_unregister_matches(match, i);
 157         return err;
 158 }
 159 EXPORT_SYMBOL(xt_register_matches);
 160
 161 void
 162 xt_unregister_matches(struct xt_match *match, unsigned int n)
 163 {
 164         while (n-- > 0)
 165                 xt_unregister_match(&match[n]);
 166 }
 167 EXPORT_SYMBOL(xt_unregister_matches);
 168
 169
 170 /*
 171  * These are weird, but module loading must not be done with mutex
 172  * held (since they will register), and we have to have a single
 173  * function to use.
 174  */
 175
 176 /* Find match, grabs ref.  Returns ERR_PTR() on error. */
 177 struct xt_match *xt_find_match(u8 af, const char *name, u8 revision)
 178 {
 179         struct xt_match *m;
 180         int err = -ENOENT;
 181
 182         if (strnlen(name, XT_EXTENSION_MAXNAMELEN) == XT_EXTENSION_MAXNAMELEN)
 183                 return ERR_PTR(-EINVAL);
 184
 185         mutex_lock(&xt[af].mutex);
 186         list_for_each_entry(m, &xt[af].match, list) {
 187                 if (strcmp(m->name, name) == 0) {
 188                         if (m->revision == revision) {
 189                                 if (try_module_get(m->me)) {
 190                                         mutex_unlock(&xt[af].mutex);
 191                                         return m;
 192                                 }
 193                         } else
 194                                 err = -EPROTOTYPE; /* Found something. */
 195                 }
 196         }
 197         mutex_unlock(&xt[af].mutex);
 198
 199         if (af != NFPROTO_UNSPEC)
 200                 /* Try searching again in the family-independent list */
 201                 return xt_find_match(NFPROTO_UNSPEC, name, revision);
 202
 203         return ERR_PTR(err);
 204 }
 205 EXPORT_SYMBOL(xt_find_match);
 206
 207 struct xt_match *
 208 xt_request_find_match(uint8_t nfproto, const char *name, uint8_t revision)
 209 {
 210         struct xt_match *match;
 211
 212         if (strnlen(name, XT_EXTENSION_MAXNAMELEN) == XT_EXTENSION_MAXNAMELEN)
 213                 return ERR_PTR(-EINVAL);
 214
 215         match = xt_find_match(nfproto, name, revision);
 216         if (IS_ERR(match)) {
 217                 request_module("%st_%s", xt_prefix[nfproto], name);
 218                 match = xt_find_match(nfproto, name, revision);
 219         }
 220
 221         return match;
 222 }
 223 EXPORT_SYMBOL_GPL(xt_request_find_match);
 224
 225 /* Find target, grabs ref.  Returns ERR_PTR() on error. */
 226 static struct xt_target *xt_find_target(u8 af, const char *name, u8 revision)
 227 {
 228         struct xt_target *t;
 229         int err = -ENOENT;
 230
 231         if (strnlen(name, XT_EXTENSION_MAXNAMELEN) == XT_EXTENSION_MAXNAMELEN)
 232                 return ERR_PTR(-EINVAL);
 233
 234         mutex_lock(&xt[af].mutex);
 235         list_for_each_entry(t, &xt[af].target, list) {
 236                 if (strcmp(t->name, name) == 0) {
 237                         if (t->revision == revision) {
 238                                 if (try_module_get(t->me)) {
 239                                         mutex_unlock(&xt[af].mutex);
 240                                         return t;
 241                                 }
 242                         } else
 243                                 err = -EPROTOTYPE; /* Found something. */
 244                 }
 245         }
 246         mutex_unlock(&xt[af].mutex);
 247
 248         if (af != NFPROTO_UNSPEC)
 249                 /* Try searching again in the family-independent list */
 250                 return xt_find_target(NFPROTO_UNSPEC, name, revision);
 251
 252         return ERR_PTR(err);
 253 }
 254
 255 struct xt_target *xt_request_find_target(u8 af, const char *name, u8 revision)
 256 {
 257         struct xt_target *target;
 258
 259         if (strnlen(name, XT_EXTENSION_MAXNAMELEN) == XT_EXTENSION_MAXNAMELEN)
 260                 return ERR_PTR(-EINVAL);
 261
 262         target = xt_find_target(af, name, revision);
 263         if (IS_ERR(target)) {
 264                 request_module("%st_%s", xt_prefix[af], name);
 265                 target = xt_find_target(af, name, revision);
 266         }
 267
 268         return target;
 269 }
 270 EXPORT_SYMBOL_GPL(xt_request_find_target);
 271
 272
 273 static int xt_obj_to_user(u16 __user *psize, u16 size,
 274                           void __user *pname, const char *name,
 275                           u8 __user *prev, u8 rev)
 276 {
 277         if (put_user(size, psize))
 278                 return -EFAULT;
 279         if (copy_to_user(pname, name, strlen(name) + 1))
 280                 return -EFAULT;
 281         if (put_user(rev, prev))
 282                 return -EFAULT;
 283
 284         return 0;
 285 }
 286
 287 #define XT_OBJ_TO_USER(U, K, TYPE, C_SIZE)                              \
 288         xt_obj_to_user(&U->u.TYPE##_size, C_SIZE ? : K->u.TYPE##_size,  \
 289                        U->u.user.name, K->u.kernel.TYPE->name,          \
 290                        &U->u.user.revision, K->u.kernel.TYPE->revision)
 291
 292 int xt_data_to_user(void __user *dst, const void *src,
 293                     int usersize, int size, int aligned_size)
 294 {
 295         usersize = usersize ? : size;
 296         if (copy_to_user(dst, src, usersize))
 297                 return -EFAULT;
 298         if (usersize != aligned_size &&
 299             clear_user(dst + usersize, aligned_size - usersize))
 300                 return -EFAULT;
 301
 302         return 0;
 303 }
 304 EXPORT_SYMBOL_GPL(xt_data_to_user);
 305
 306 #define XT_DATA_TO_USER(U, K, TYPE)                                     \
 307         xt_data_to_user(U->data, K->data,                               \
 308                         K->u.kernel.TYPE->usersize,                     \
 309                         K->u.kernel.TYPE->TYPE##size,                   \
 310                         XT_ALIGN(K->u.kernel.TYPE->TYPE##size))
 311
 312 int xt_match_to_user(const struct xt_entry_match *m,
 313                      struct xt_entry_match __user *u)
 314 {
 315         return XT_OBJ_TO_USER(u, m, match, 0) ||
 316                XT_DATA_TO_USER(u, m, match);
 317 }
 318 EXPORT_SYMBOL_GPL(xt_match_to_user);
 319
 320 int xt_target_to_user(const struct xt_entry_target *t,
 321                       struct xt_entry_target __user *u)
 322 {
 323         return XT_OBJ_TO_USER(u, t, target, 0) ||
 324                XT_DATA_TO_USER(u, t, target);
 325 }
 326 EXPORT_SYMBOL_GPL(xt_target_to_user);
 327
 328 static int match_revfn(u8 af, const char *name, u8 revision, int *bestp)
 329 {
 330         const struct xt_match *m;
 331         int have_rev = 0;
 332
 333         list_for_each_entry(m, &xt[af].match, list) {
 334                 if (strcmp(m->name, name) == 0) {
 335                         if (m->revision > *bestp)
 336                                 *bestp = m->revision;
 337                         if (m->revision == revision)
 338                                 have_rev = 1;
 339                 }
 340         }
 341
 342         if (af != NFPROTO_UNSPEC && !have_rev)
 343                 return match_revfn(NFPROTO_UNSPEC, name, revision, bestp);
 344
 345         return have_rev;
 346 }
 347
 348 static int target_revfn(u8 af, const char *name, u8 revision, int *bestp)
 349 {
 350         const struct xt_target *t;
 351         int have_rev = 0;
 352
 353         list_for_each_entry(t, &xt[af].target, list) {
 354                 if (strcmp(t->name, name) == 0) {
 355                         if (t->revision > *bestp)
 356                                 *bestp = t->revision;
 357                         if (t->revision == revision)
 358                                 have_rev = 1;
 359                 }
 360         }
 361
 362         if (af != NFPROTO_UNSPEC && !have_rev)
 363                 return target_revfn(NFPROTO_UNSPEC, name, revision, bestp);
 364
 365         return have_rev;
 366 }
 367
 368 /* Returns true or false (if no such extension at all) */
 369 int xt_find_revision(u8 af, const char *name, u8 revision, int target,
 370                      int *err)
 371 {
 372         int have_rev, best = -1;
 373
 374         mutex_lock(&xt[af].mutex);
 375         if (target == 1)
 376                 have_rev = target_revfn(af, name, revision, &best);
 377         else
 378                 have_rev = match_revfn(af, name, revision, &best);
 379         mutex_unlock(&xt[af].mutex);
 380
 381         /* Nothing at all?  Return 0 to try loading module. */
 382         if (best == -1) {
 383                 *err = -ENOENT;
 384                 return 0;
 385         }
 386
 387         *err = best;
 388         if (!have_rev)
 389                 *err = -EPROTONOSUPPORT;
 390         return 1;
 391 }
 392 EXPORT_SYMBOL_GPL(xt_find_revision);
 393
 394 static char *
 395 textify_hooks(char *buf, size_t size, unsigned int mask, uint8_t nfproto)
 396 {
 397         static const char *const inetbr_names[] = {
 398                 "PREROUTING", "INPUT", "FORWARD",
 399                 "OUTPUT", "POSTROUTING", "BROUTING",
 400         };
 401         static const char *const arp_names[] = {
 402                 "INPUT", "FORWARD", "OUTPUT",
 403         };
 404         const char *const *names;
 405         unsigned int i, max;
 406         char *p = buf;
 407         bool np = false;
 408         int res;
 409
 410         names = (nfproto == NFPROTO_ARP) ? arp_names : inetbr_names;
 411         max   = (nfproto == NFPROTO_ARP) ? ARRAY_SIZE(arp_names) :
 412                                            ARRAY_SIZE(inetbr_names);
 413         *p = '\0';
 414         for (i = 0; i < max; ++i) {
 415                 if (!(mask & (1 << i)))
 416                         continue;
 417                 res = snprintf(p, size, "%s%s", np ? "/" : "", names[i]);
 418                 if (res > 0) {
 419                         size -= res;
 420                         p += res;
 421                 }
 422                 np = true;
 423         }
 424
 425         return buf;
 426 }
 427
 428 /**
 429  * xt_check_proc_name - check that name is suitable for /proc file creation
 430  *
 431  * @name: file name candidate
 432  * @size: length of buffer
 433  *
 434  * some x_tables modules wish to create a file in /proc.
 435  * This function makes sure that the name is suitable for this
 436  * purpose, it checks that name is NUL terminated and isn't a 'special'
 437  * name, like "..".
 438  *
 439  * returns negative number on error or 0 if name is useable.
 440  */
 441 int xt_check_proc_name(const char *name, unsigned int size)
 442 {
 443         if (name[0] == '\0')
 444                 return -EINVAL;
 445
 446         if (strnlen(name, size) == size)
 447                 return -ENAMETOOLONG;
 448
 449         if (strcmp(name, ".") == 0 ||
 450             strcmp(name, "..") == 0 ||
 451             strchr(name, '/'))
 452                 return -EINVAL;
 453
 454         return 0;
 455 }
 456 EXPORT_SYMBOL(xt_check_proc_name);
 457
 458 int xt_check_match(struct xt_mtchk_param *par,
 459                    unsigned int size, u16 proto, bool inv_proto)
 460 {
 461         int ret;
 462
 463         if (XT_ALIGN(par->match->matchsize) != size &&
 464             par->match->matchsize != -1) {
 465                 /*
 466                  * ebt_among is exempt from centralized matchsize checking
 467                  * because it uses a dynamic-size data set.
 468                  */
 469                 pr_err_ratelimited("%s_tables: %s.%u match: invalid size %u (kernel) != (user) %u\n",
 470                                    xt_prefix[par->family], par->match->name,
 471                                    par->match->revision,
 472                                    XT_ALIGN(par->match->matchsize), size);
 473                 return -EINVAL;
 474         }
 475         if (par->match->table != NULL &&
 476             strcmp(par->match->table, par->table) != 0) {
 477                 pr_info_ratelimited("%s_tables: %s match: only valid in %s table, not %s\n",
 478                                     xt_prefix[par->family], par->match->name,
 479                                     par->match->table, par->table);
 480                 return -EINVAL;
 481         }
 482         if (par->match->hooks && (par->hook_mask & ~par->match->hooks) != 0) {
 483                 char used[64], allow[64];
 484
 485                 pr_info_ratelimited("%s_tables: %s match: used from hooks %s, but only valid from %s\n",
 486                                     xt_prefix[par->family], par->match->name,
 487                                     textify_hooks(used, sizeof(used),
 488                                                   par->hook_mask, par->family),
 489                                     textify_hooks(allow, sizeof(allow),
 490                                                   par->match->hooks,
 491                                                   par->family));
 492                 return -EINVAL;
 493         }
 494         if (par->match->proto && (par->match->proto != proto || inv_proto)) {
 495                 pr_info_ratelimited("%s_tables: %s match: only valid for protocol %u\n",
 496                                     xt_prefix[par->family], par->match->name,
 497                                     par->match->proto);
 498                 return -EINVAL;
 499         }
 500         if (par->match->checkentry != NULL) {
 501                 ret = par->match->checkentry(par);
 502                 if (ret < 0)
 503                         return ret;
 504                 else if (ret > 0)
 505                         /* Flag up potential errors. */
 506                         return -EIO;
 507         }
 508         return 0;
 509 }
 510 EXPORT_SYMBOL_GPL(xt_check_match);
 511
 512 /** xt_check_entry_match - check that matches end before start of target
 513  *
 514  * @match: beginning of xt_entry_match
 515  * @target: beginning of this rules target (alleged end of matches)
 516  * @alignment: alignment requirement of match structures
 517  *
 518  * Validates that all matches add up to the beginning of the target,
 519  * and that each match covers at least the base structure size.
 520  *
 521  * Return: 0 on success, negative errno on failure.
 522  */
 523 static int xt_check_entry_match(const char *match, const char *target,
 524                                 const size_t alignment)
 525 {
 526         const struct xt_entry_match *pos;
 527         int length = target - match;
 528
 529         if (length == 0) /* no matches */
 530                 return 0;
 531
 532         pos = (struct xt_entry_match *)match;
 533         do {
 534                 if ((unsigned long)pos % alignment)
 535                         return -EINVAL;
 536
 537                 if (length < (int)sizeof(struct xt_entry_match))
 538                         return -EINVAL;
 539
 540                 if (pos->u.match_size < sizeof(struct xt_entry_match))
 541                         return -EINVAL;
 542
 543                 if (pos->u.match_size > length)
 544                         return -EINVAL;
 545
 546                 length -= pos->u.match_size;
 547                 pos = ((void *)((char *)(pos) + (pos)->u.match_size));
 548         } while (length > 0);
 549
 550         return 0;
 551 }
 552
 553 /** xt_check_table_hooks - check hook entry points are sane
 554  *
 555  * @info xt_table_info to check
 556  * @valid_hooks - hook entry points that we can enter from
 557  *
 558  * Validates that the hook entry and underflows points are set up.
 559  *
 560  * Return: 0 on success, negative errno on failure.
 561  */
 562 int xt_check_table_hooks(const struct xt_table_info *info, unsigned int valid_hooks)
 563 {
 564         const char *err = "unsorted underflow";
 565         unsigned int i, max_uflow, max_entry;
 566         bool check_hooks = false;
 567
 568         BUILD_BUG_ON(ARRAY_SIZE(info->hook_entry) != ARRAY_SIZE(info->underflow));
 569
 570         max_entry = 0;
 571         max_uflow = 0;
 572
 573         for (i = 0; i < ARRAY_SIZE(info->hook_entry); i++) {
 574                 if (!(valid_hooks & (1 << i)))
 575                         continue;
 576
 577                 if (info->hook_entry[i] == 0xFFFFFFFF)
 578                         return -EINVAL;
 579                 if (info->underflow[i] == 0xFFFFFFFF)
 580                         return -EINVAL;
 581
 582                 if (check_hooks) {
 583                         if (max_uflow > info->underflow[i])
 584                                 goto error;
 585
 586                         if (max_uflow == info->underflow[i]) {
 587                                 err = "duplicate underflow";
 588                                 goto error;
 589                         }
 590                         if (max_entry > info->hook_entry[i]) {
 591                                 err = "unsorted entry";
 592                                 goto error;
 593                         }
 594                         if (max_entry == info->hook_entry[i]) {
 595                                 err = "duplicate entry";
 596                                 goto error;
 597                         }
 598                 }
 599                 max_entry = info->hook_entry[i];
 600                 max_uflow = info->underflow[i];
 601                 check_hooks = true;
 602         }
 603
 604         return 0;
 605 error:
 606         pr_err_ratelimited("%s at hook %d\n", err, i);
 607         return -EINVAL;
 608 }
 609 EXPORT_SYMBOL(xt_check_table_hooks);
 610
 611 static bool verdict_ok(int verdict)
 612 {
 613         if (verdict > 0)
 614                 return true;
 615
 616         if (verdict < 0) {
 617                 int v = -verdict - 1;
 618
 619                 if (verdict == XT_RETURN)
 620                         return true;
 621
 622                 switch (v) {
 623                 case NF_ACCEPT: return true;
 624                 case NF_DROP: return true;
 625                 case NF_QUEUE: return true;
 626                 default:
 627                         break;
 628                 }
 629
 630                 return false;
 631         }
 632
 633         return false;
 634 }
 635
 636 static bool error_tg_ok(unsigned int usersize, unsigned int kernsize,
 637                         const char *msg, unsigned int msglen)
 638 {
 639         return usersize == kernsize && strnlen(msg, msglen) < msglen;
 640 }
 641
 642 #ifdef CONFIG_COMPAT
 643 int xt_compat_add_offset(u_int8_t af, unsigned int offset, int delta)
 644 {
 645         struct xt_af *xp = &xt[af];
 646
 647         WARN_ON(!mutex_is_locked(&xt[af].compat_mutex));
 648
 649         if (WARN_ON(!xp->compat_tab))
 650                 return -ENOMEM;
 651
 652         if (xp->cur >= xp->number)
 653                 return -EINVAL;
 654
 655         if (xp->cur)
 656                 delta += xp->compat_tab[xp->cur - 1].delta;
 657         xp->compat_tab[xp->cur].offset = offset;
 658         xp->compat_tab[xp->cur].delta = delta;
 659         xp->cur++;
 660         return 0;
 661 }
 662 EXPORT_SYMBOL_GPL(xt_compat_add_offset);
 663
 664 void xt_compat_flush_offsets(u_int8_t af)
 665 {
 666         WARN_ON(!mutex_is_locked(&xt[af].compat_mutex));
 667
 668         if (xt[af].compat_tab) {
 669                 vfree(xt[af].compat_tab);
 670                 xt[af].compat_tab = NULL;
 671                 xt[af].number = 0;
 672                 xt[af].cur = 0;
 673         }
 674 }
 675 EXPORT_SYMBOL_GPL(xt_compat_flush_offsets);
 676
 677 int xt_compat_calc_jump(u_int8_t af, unsigned int offset)
 678 {
 679         struct compat_delta *tmp = xt[af].compat_tab;
 680         int mid, left = 0, right = xt[af].cur - 1;
 681
 682         while (left <= right) {
 683                 mid = (left + right) >> 1;
 684                 if (offset > tmp[mid].offset)
 685                         left = mid + 1;
 686                 else if (offset < tmp[mid].offset)
 687                         right = mid - 1;
 688                 else
 689                         return mid ? tmp[mid - 1].delta : 0;
 690         }
 691         return left ? tmp[left - 1].delta : 0;
 692 }
 693 EXPORT_SYMBOL_GPL(xt_compat_calc_jump);
 694
 695 int xt_compat_init_offsets(u8 af, unsigned int number)
 696 {
 697         size_t mem;
 698
 699         WARN_ON(!mutex_is_locked(&xt[af].compat_mutex));
 700
 701         if (!number || number > (INT_MAX / sizeof(struct compat_delta)))
 702                 return -EINVAL;
 703
 704         if (WARN_ON(xt[af].compat_tab))
 705                 return -EINVAL;
 706
 707         mem = sizeof(struct compat_delta) * number;
 708         if (mem > XT_MAX_TABLE_SIZE)
 709                 return -ENOMEM;
 710
 711         xt[af].compat_tab = vmalloc(mem);
 712         if (!xt[af].compat_tab)
 713                 return -ENOMEM;
 714
 715         xt[af].number = number;
 716         xt[af].cur = 0;
 717
 718         return 0;
 719 }
 720 EXPORT_SYMBOL(xt_compat_init_offsets);
 721
 722 int xt_compat_match_offset(const struct xt_match *match)
 723 {
 724         u_int16_t csize = match->compatsize ? : match->matchsize;
 725         return XT_ALIGN(match->matchsize) - COMPAT_XT_ALIGN(csize);
 726 }
 727 EXPORT_SYMBOL_GPL(xt_compat_match_offset);
 728
 729 void xt_compat_match_from_user(struct xt_entry_match *m, void **dstptr,
 730                                unsigned int *size)
 731 {
 732         const struct xt_match *match = m->u.kernel.match;
 733         struct compat_xt_entry_match *cm = (struct compat_xt_entry_match *)m;
 734         int pad, off = xt_compat_match_offset(match);
 735         u_int16_t msize = cm->u.user.match_size;
 736         char name[sizeof(m->u.user.name)];
 737
 738         m = *dstptr;
 739         memcpy(m, cm, sizeof(*cm));
 740         if (match->compat_from_user)
 741                 match->compat_from_user(m->data, cm->data);
 742         else
 743                 memcpy(m->data, cm->data, msize - sizeof(*cm));
 744         pad = XT_ALIGN(match->matchsize) - match->matchsize;
 745         if (pad > 0)
 746                 memset(m->data + match->matchsize, 0, pad);
 747
 748         msize += off;
 749         m->u.user.match_size = msize;
 750         strlcpy(name, match->name, sizeof(name));
 751         module_put(match->me);
 752         strncpy(m->u.user.name, name, sizeof(m->u.user.name));
 753
 754         *size += off;
 755         *dstptr += msize;
 756 }
 757 EXPORT_SYMBOL_GPL(xt_compat_match_from_user);
 758
 759 #define COMPAT_XT_DATA_TO_USER(U, K, TYPE, C_SIZE)                      \
 760         xt_data_to_user(U->data, K->data,                               \
 761                         K->u.kernel.TYPE->usersize,                     \
 762                         C_SIZE,                                         \
 763                         COMPAT_XT_ALIGN(C_SIZE))
 764
 765 int xt_compat_match_to_user(const struct xt_entry_match *m,
 766                             void __user **dstptr, unsigned int *size)
 767 {
 768         const struct xt_match *match = m->u.kernel.match;
 769         struct compat_xt_entry_match __user *cm = *dstptr;
 770         int off = xt_compat_match_offset(match);
 771         u_int16_t msize = m->u.user.match_size - off;
 772
 773         if (XT_OBJ_TO_USER(cm, m, match, msize))
 774                 return -EFAULT;
 775
 776         if (match->compat_to_user) {
 777                 if (match->compat_to_user((void __user *)cm->data, m->data))
 778                         return -EFAULT;
 779         } else {
 780                 if (COMPAT_XT_DATA_TO_USER(cm, m, match, msize - sizeof(*cm)))
 781                         return -EFAULT;
 782         }
 783
 784         *size -= off;
 785         *dstptr += msize;
 786         return 0;
 787 }
 788 EXPORT_SYMBOL_GPL(xt_compat_match_to_user);
 789
 790 /* non-compat version may have padding after verdict */
 791 struct compat_xt_standard_target {
 792         struct compat_xt_entry_target t;
 793         compat_uint_t verdict;
 794 };
 795
 796 struct compat_xt_error_target {
 797         struct compat_xt_entry_target t;
 798         char errorname[XT_FUNCTION_MAXNAMELEN];
 799 };
 800
 801 int xt_compat_check_entry_offsets(const void *base, const char *elems,
 802                                   unsigned int target_offset,
 803                                   unsigned int next_offset)
 804 {
 805         long size_of_base_struct = elems - (const char *)base;
 806         const struct compat_xt_entry_target *t;
 807         const char *e = base;
 808
 809         if (target_offset < size_of_base_struct)
 810                 return -EINVAL;
 811
 812         if (target_offset + sizeof(*t) > next_offset)
 813                 return -EINVAL;
 814
 815         t = (void *)(e + target_offset);
 816         if (t->u.target_size < sizeof(*t))
 817                 return -EINVAL;
 818
 819         if (target_offset + t->u.target_size > next_offset)
 820                 return -EINVAL;
 821
 822         if (strcmp(t->u.user.name, XT_STANDARD_TARGET) == 0) {
 823                 const struct compat_xt_standard_target *st = (const void *)t;
 824
 825                 if (COMPAT_XT_ALIGN(target_offset + sizeof(*st)) != next_offset)
 826                         return -EINVAL;
 827
 828                 if (!verdict_ok(st->verdict))
 829                         return -EINVAL;
 830         } else if (strcmp(t->u.user.name, XT_ERROR_TARGET) == 0) {
 831                 const struct compat_xt_error_target *et = (const void *)t;
 832
 833                 if (!error_tg_ok(t->u.target_size, sizeof(*et),
 834                                  et->errorname, sizeof(et->errorname)))
 835                         return -EINVAL;
 836         }
 837
 838         /* compat_xt_entry match has less strict alignment requirements,
 839          * otherwise they are identical.  In case of padding differences
 840          * we need to add compat version of xt_check_entry_match.
 841          */
 842         BUILD_BUG_ON(sizeof(struct compat_xt_entry_match) != sizeof(struct xt_entry_match));
 843
 844         return xt_check_entry_match(elems, base + target_offset,
 845                                     __alignof__(struct compat_xt_entry_match));
 846 }
 847 EXPORT_SYMBOL(xt_compat_check_entry_offsets);
 848 #endif /* CONFIG_COMPAT */
 849
 850 /**
 851  * xt_check_entry_offsets - validate arp/ip/ip6t_entry
 852  *
 853  * @base: pointer to arp/ip/ip6t_entry
 854  * @elems: pointer to first xt_entry_match, i.e. ip(6)t_entry->elems
 855  * @target_offset: the arp/ip/ip6_t->target_offset
 856  * @next_offset: the arp/ip/ip6_t->next_offset
 857  *
 858  * validates that target_offset and next_offset are sane and that all
 859  * match sizes (if any) align with the target offset.
 860  *
 861  * This function does not validate the targets or matches themselves, it
 862  * only tests that all the offsets and sizes are correct, that all
 863  * match structures are aligned, and that the last structure ends where
 864  * the target structure begins.
 865  *
 866  * Also see xt_compat_check_entry_offsets for CONFIG_COMPAT version.
 867  *
 868  * The arp/ip/ip6t_entry structure @base must have passed following tests:
 869  * - it must point to a valid memory location
 870  * - base to base + next_offset must be accessible, i.e. not exceed allocated
 871  *   length.
 872  *
 873  * A well-formed entry looks like this:
 874  *
 875  * ip(6)t_entry   match [mtdata]  match [mtdata] target [tgdata] ip(6)t_entry
 876  * e->elems[]-----'                              |               |
 877  *                matchsize                      |               |
 878  *                                matchsize      |               |
 879  *                                               |               |
 880  * target_offset---------------------------------'               |
 881  * next_offset---------------------------------------------------'
 882  *
 883  * elems[]: flexible array member at end of ip(6)/arpt_entry struct.
 884  *          This is where matches (if any) and the target reside.
 885  * target_offset: beginning of target.
 886  * next_offset: start of the next rule; also: size of this rule.
 887  * Since targets have a minimum size, target_offset + minlen <= next_offset.
 888  *
 889  * Every match stores its size, sum of sizes must not exceed target_offset.
 890  *
 891  * Return: 0 on success, negative errno on failure.
 892  */
 893 int xt_check_entry_offsets(const void *base,
 894                            const char *elems,
 895                            unsigned int target_offset,
 896                            unsigned int next_offset)
 897 {
 898         long size_of_base_struct = elems - (const char *)base;
 899         const struct xt_entry_target *t;
 900         const char *e = base;
 901
 902         /* target start is within the ip/ip6/arpt_entry struct */
 903         if (target_offset < size_of_base_struct)
 904                 return -EINVAL;
 905
 906         if (target_offset + sizeof(*t) > next_offset)
 907                 return -EINVAL;
 908
 909         t = (void *)(e + target_offset);
 910         if (t->u.target_size < sizeof(*t))
 911                 return -EINVAL;
 912
 913         if (target_offset + t->u.target_size > next_offset)
 914                 return -EINVAL;
 915
 916         if (strcmp(t->u.user.name, XT_STANDARD_TARGET) == 0) {
 917                 const struct xt_standard_target *st = (const void *)t;
 918
 919                 if (XT_ALIGN(target_offset + sizeof(*st)) != next_offset)
 920                         return -EINVAL;
 921
 922                 if (!verdict_ok(st->verdict))
 923                         return -EINVAL;
 924         } else if (strcmp(t->u.user.name, XT_ERROR_TARGET) == 0) {
 925                 const struct xt_error_target *et = (const void *)t;
 926
 927                 if (!error_tg_ok(t->u.target_size, sizeof(*et),
 928                                  et->errorname, sizeof(et->errorname)))
 929                         return -EINVAL;
 930         }
 931
 932         return xt_check_entry_match(elems, base + target_offset,
 933                                     __alignof__(struct xt_entry_match));
 934 }
 935 EXPORT_SYMBOL(xt_check_entry_offsets);
 936
 937 /**
 938  * xt_alloc_entry_offsets - allocate array to store rule head offsets
 939  *
 940  * @size: number of entries
 941  *
 942  * Return: NULL or zeroed kmalloc'd or vmalloc'd array
 943  */
 944 unsigned int *xt_alloc_entry_offsets(unsigned int size)
 945 {
 946         if (size > XT_MAX_TABLE_SIZE / sizeof(unsigned int))
 947                 return NULL;
 948
 949         return kvcalloc(size, sizeof(unsigned int), GFP_KERNEL);
 950
 951 }
 952 EXPORT_SYMBOL(xt_alloc_entry_offsets);
 953
 954 /**
 955  * xt_find_jump_offset - check if target is a valid jump offset
 956  *
 957  * @offsets: array containing all valid rule start offsets of a rule blob
 958  * @target: the jump target to search for
 959  * @size: entries in @offset
 960  */
 961 bool xt_find_jump_offset(const unsigned int *offsets,
 962                          unsigned int target, unsigned int size)
 963 {
 964         int m, low = 0, hi = size;
 965
 966         while (hi > low) {
 967                 m = (low + hi) / 2u;
 968
 969                 if (offsets[m] > target)
 970                         hi = m;
 971                 else if (offsets[m] < target)
 972                         low = m + 1;
 973                 else
 974                         return true;
 975         }
 976
 977         return false;
 978 }
 979 EXPORT_SYMBOL(xt_find_jump_offset);
 980
 981 int xt_check_target(struct xt_tgchk_param *par,
 982                     unsigned int size, u16 proto, bool inv_proto)
 983 {
 984         int ret;
 985
 986         if (XT_ALIGN(par->target->targetsize) != size) {
 987                 pr_err_ratelimited("%s_tables: %s.%u target: invalid size %u (kernel) != (user) %u\n",
 988                                    xt_prefix[par->family], par->target->name,
 989                                    par->target->revision,
 990                                    XT_ALIGN(par->target->targetsize), size);
 991                 return -EINVAL;
 992         }
 993         if (par->target->table != NULL &&
 994             strcmp(par->target->table, par->table) != 0) {
 995                 pr_info_ratelimited("%s_tables: %s target: only valid in %s table, not %s\n",
 996                                     xt_prefix[par->family], par->target->name,
 997                                     par->target->table, par->table);
 998                 return -EINVAL;
 999         }
1000         if (par->target->hooks && (par->hook_mask & ~par->target->hooks) != 0) {
1001                 char used[64], allow[64];
1002
1003                 pr_info_ratelimited("%s_tables: %s target: used from hooks %s, but only usable from %s\n",
1004                                     xt_prefix[par->family], par->target->name,
1005                                     textify_hooks(used, sizeof(used),
1006                                                   par->hook_mask, par->family),
1007                                     textify_hooks(allow, sizeof(allow),
1008                                                   par->target->hooks,
1009                                                   par->family));
1010                 return -EINVAL;
1011         }
1012         if (par->target->proto && (par->target->proto != proto || inv_proto)) {
1013                 pr_info_ratelimited("%s_tables: %s target: only valid for protocol %u\n",
1014                                     xt_prefix[par->family], par->target->name,
1015                                     par->target->proto);
1016                 return -EINVAL;
1017         }
1018         if (par->target->checkentry != NULL) {
1019                 ret = par->target->checkentry(par);
1020                 if (ret < 0)
1021                         return ret;
1022                 else if (ret > 0)
1023                         /* Flag up potential errors. */
1024                         return -EIO;
1025         }
1026         return 0;
1027 }
1028 EXPORT_SYMBOL_GPL(xt_check_target);
1029
1030 /**
1031  * xt_copy_counters_from_user - copy counters and metadata from userspace
1032  *
1033  * @user: src pointer to userspace memory
1034  * @len: alleged size of userspace memory
1035  * @info: where to store the xt_counters_info metadata
1036  *
1037  * Copies counter meta data from @user and stores it in @info.
1038  *
1039  * vmallocs memory to hold the counters, then copies the counter data
1040  * from @user to the new memory and returns a pointer to it.
1041  *
1042  * If called from a compat syscall, @info gets converted automatically to the
1043  * 64bit representation.
1044  *
1045  * The metadata associated with the counters is stored in @info.
1046  *
1047  * Return: returns pointer that caller has to test via IS_ERR().
1048  * If IS_ERR is false, caller has to vfree the pointer.
1049  */
1050 void *xt_copy_counters_from_user(const void __user *user, unsigned int len,
1051                                  struct xt_counters_info *info)
1052 {
1053         void *mem;
1054         u64 size;
1055
1056 #ifdef CONFIG_COMPAT
1057         if (in_compat_syscall()) {
1058                 /* structures only differ in size due to alignment */
1059                 struct compat_xt_counters_info compat_tmp;
1060
1061                 if (len <= sizeof(compat_tmp))
1062                         return ERR_PTR(-EINVAL);
1063
1064                 len -= sizeof(compat_tmp);
1065                 if (copy_from_user(&compat_tmp, user, sizeof(compat_tmp)) != 0)
1066                         return ERR_PTR(-EFAULT);
1067
1068                 memcpy(info->name, compat_tmp.name, sizeof(info->name) - 1);
1069                 info->num_counters = compat_tmp.num_counters;
1070                 user += sizeof(compat_tmp);
1071         } else
1072 #endif
1073         {
1074                 if (len <= sizeof(*info))
1075                         return ERR_PTR(-EINVAL);
1076
1077                 len -= sizeof(*info);
1078                 if (copy_from_user(info, user, sizeof(*info)) != 0)
1079                         return ERR_PTR(-EFAULT);
1080
1081                 user += sizeof(*info);
1082         }
1083         info->name[sizeof(info->name) - 1] = '\0';
1084
1085         size = sizeof(struct xt_counters);
1086         size *= info->num_counters;
1087
1088         if (size != (u64)len)
1089                 return ERR_PTR(-EINVAL);
1090
1091         mem = vmalloc(len);
1092         if (!mem)
1093                 return ERR_PTR(-ENOMEM);
1094
1095         if (copy_from_user(mem, user, len) == 0)
1096                 return mem;
1097
1098         vfree(mem);
1099         return ERR_PTR(-EFAULT);
1100 }
1101 EXPORT_SYMBOL_GPL(xt_copy_counters_from_user);
1102
1103 #ifdef CONFIG_COMPAT
1104 int xt_compat_target_offset(const struct xt_target *target)
1105 {
1106         u_int16_t csize = target->compatsize ? : target->targetsize;
1107         return XT_ALIGN(target->targetsize) - COMPAT_XT_ALIGN(csize);
1108 }
1109 EXPORT_SYMBOL_GPL(xt_compat_target_offset);
1110
1111 void xt_compat_target_from_user(struct xt_entry_target *t, void **dstptr,
1112                                 unsigned int *size)
1113 {
1114         const struct xt_target *target = t->u.kernel.target;
1115         struct compat_xt_entry_target *ct = (struct compat_xt_entry_target *)t;
1116         int pad, off = xt_compat_target_offset(target);
1117         u_int16_t tsize = ct->u.user.target_size;
1118         char name[sizeof(t->u.user.name)];
1119
1120         t = *dstptr;
1121         memcpy(t, ct, sizeof(*ct));
1122         if (target->compat_from_user)
1123                 target->compat_from_user(t->data, ct->data);
1124         else
1125                 memcpy(t->data, ct->data, tsize - sizeof(*ct));
1126         pad = XT_ALIGN(target->targetsize) - target->targetsize;
1127         if (pad > 0)
1128                 memset(t->data + target->targetsize, 0, pad);
1129
1130         tsize += off;
1131         t->u.user.target_size = tsize;
1132         strlcpy(name, target->name, sizeof(name));
1133         module_put(target->me);
1134         strncpy(t->u.user.name, name, sizeof(t->u.user.name));
1135
1136         *size += off;
1137         *dstptr += tsize;
1138 }
1139 EXPORT_SYMBOL_GPL(xt_compat_target_from_user);
1140
1141 int xt_compat_target_to_user(const struct xt_entry_target *t,
1142                              void __user **dstptr, unsigned int *size)
1143 {
1144         const struct xt_target *target = t->u.kernel.target;
1145         struct compat_xt_entry_target __user *ct = *dstptr;
1146         int off = xt_compat_target_offset(target);
1147         u_int16_t tsize = t->u.user.target_size - off;
1148
1149         if (XT_OBJ_TO_USER(ct, t, target, tsize))
1150                 return -EFAULT;
1151
1152         if (target->compat_to_user) {
1153                 if (target->compat_to_user((void __user *)ct->data, t->data))
1154                         return -EFAULT;
1155         } else {
1156                 if (COMPAT_XT_DATA_TO_USER(ct, t, target, tsize - sizeof(*ct)))
1157                         return -EFAULT;
1158         }
1159
1160         *size -= off;
1161         *dstptr += tsize;
1162         return 0;
1163 }
1164 EXPORT_SYMBOL_GPL(xt_compat_target_to_user);
1165 #endif
1166
1167 struct xt_table_info *xt_alloc_table_info(unsigned int size)
1168 {
1169         struct xt_table_info *info = NULL;
1170         size_t sz = sizeof(*info) + size;
1171
1172         if (sz < sizeof(*info) || sz >= XT_MAX_TABLE_SIZE)
1173                 return NULL;
1174
1175         info = kvmalloc(sz, GFP_KERNEL_ACCOUNT);
1176         if (!info)
1177                 return NULL;
1178
1179         memset(info, 0, sizeof(*info));
1180         info->size = size;
1181         return info;
1182 }
1183 EXPORT_SYMBOL(xt_alloc_table_info);
1184
1185 void xt_free_table_info(struct xt_table_info *info)
1186 {
1187         int cpu;
1188
1189         if (info->jumpstack != NULL) {
1190                 for_each_possible_cpu(cpu)
1191                         kvfree(info->jumpstack[cpu]);
1192                 kvfree(info->jumpstack);
1193         }
1194
1195         kvfree(info);
1196 }
1197 EXPORT_SYMBOL(xt_free_table_info);
1198
1199 /* Find table by name, grabs mutex & ref.  Returns ERR_PTR on error. */
1200 struct xt_table *xt_find_table_lock(struct net *net, u_int8_t af,
1201                                     const char *name)
1202 {
1203         struct xt_table *t, *found = NULL;
1204
1205         mutex_lock(&xt[af].mutex);
1206         list_for_each_entry(t, &net->xt.tables[af], list)
1207                 if (strcmp(t->name, name) == 0 && try_module_get(t->me))
1208                         return t;
1209
1210         if (net == &init_net)
1211                 goto out;
1212
1213         /* Table doesn't exist in this netns, re-try init */
1214         list_for_each_entry(t, &init_net.xt.tables[af], list) {
1215                 int err;
1216
1217                 if (strcmp(t->name, name))
1218                         continue;
1219                 if (!try_module_get(t->me))
1220                         goto out;
1221                 mutex_unlock(&xt[af].mutex);
1222                 err = t->table_init(net);
1223                 if (err < 0) {
1224                         module_put(t->me);
1225                         return ERR_PTR(err);
1226                 }
1227
1228                 found = t;
1229
1230                 mutex_lock(&xt[af].mutex);
1231                 break;
1232         }
1233
1234         if (!found)
1235                 goto out;
1236
1237         /* and once again: */
1238         list_for_each_entry(t, &net->xt.tables[af], list)
1239                 if (strcmp(t->name, name) == 0)
1240                         return t;
1241
1242         module_put(found->me);
1243  out:
1244         mutex_unlock(&xt[af].mutex);
1245         return ERR_PTR(-ENOENT);
1246 }
1247 EXPORT_SYMBOL_GPL(xt_find_table_lock);
1248
1249 struct xt_table *xt_request_find_table_lock(struct net *net, u_int8_t af,
1250                                             const char *name)
1251 {
1252         struct xt_table *t = xt_find_table_lock(net, af, name);
1253
1254 #ifdef CONFIG_MODULES
1255         if (IS_ERR(t)) {
1256                 int err = request_module("%stable_%s", xt_prefix[af], name);
1257                 if (err < 0)
1258                         return ERR_PTR(err);
1259                 t = xt_find_table_lock(net, af, name);
1260         }
1261 #endif
1262
1263         return t;
1264 }
1265 EXPORT_SYMBOL_GPL(xt_request_find_table_lock);
1266
1267 void xt_table_unlock(struct xt_table *table)
1268 {
1269         mutex_unlock(&xt[table->af].mutex);
1270 }
1271 EXPORT_SYMBOL_GPL(xt_table_unlock);
1272
1273 #ifdef CONFIG_COMPAT
1274 void xt_compat_lock(u_int8_t af)
1275 {
1276         mutex_lock(&xt[af].compat_mutex);
1277 }
1278 EXPORT_SYMBOL_GPL(xt_compat_lock);
1279
1280 void xt_compat_unlock(u_int8_t af)
1281 {
1282         mutex_unlock(&xt[af].compat_mutex);
1283 }
1284 EXPORT_SYMBOL_GPL(xt_compat_unlock);
1285 #endif
1286
1287 DEFINE_PER_CPU(seqcount_t, xt_recseq);
1288 EXPORT_PER_CPU_SYMBOL_GPL(xt_recseq);
1289
1290 struct static_key xt_tee_enabled __read_mostly;
1291 EXPORT_SYMBOL_GPL(xt_tee_enabled);
1292
1293 static int xt_jumpstack_alloc(struct xt_table_info *i)
1294 {
1295         unsigned int size;
1296         int cpu;
1297
1298         size = sizeof(void **) * nr_cpu_ids;
1299         if (size > PAGE_SIZE)
1300                 i->jumpstack = kvzalloc(size, GFP_KERNEL);
1301         else
1302                 i->jumpstack = kzalloc(size, GFP_KERNEL);
1303         if (i->jumpstack == NULL)
1304                 return -ENOMEM;
1305
1306         /* ruleset without jumps -- no stack needed */
1307         if (i->stacksize == 0)
1308                 return 0;
1309
1310         /* Jumpstack needs to be able to record two full callchains, one
1311          * from the first rule set traversal, plus one table reentrancy
1312          * via -j TEE without clobbering the callchain that brought us to
1313          * TEE target.
1314          *
1315          * This is done by allocating two jumpstacks per cpu, on reentry
1316          * the upper half of the stack is used.
1317          *
1318          * see the jumpstack setup in ipt_do_table() for more details.
1319          */
1320         size = sizeof(void *) * i->stacksize * 2u;
1321         for_each_possible_cpu(cpu) {
1322                 i->jumpstack[cpu] = kvmalloc_node(size, GFP_KERNEL,
1323                         cpu_to_node(cpu));
1324                 if (i->jumpstack[cpu] == NULL)
1325                         /*
1326                          * Freeing will be done later on by the callers. The
1327                          * chain is: xt_replace_table -> __do_replace ->
1328                          * do_replace -> xt_free_table_info.
1329                          */
1330                         return -ENOMEM;
1331         }
1332
1333         return 0;
1334 }
1335
1336 struct xt_counters *xt_counters_alloc(unsigned int counters)
1337 {
1338         struct xt_counters *mem;
1339
1340         if (counters == 0 || counters > INT_MAX / sizeof(*mem))
1341                 return NULL;
1342
1343         counters *= sizeof(*mem);
1344         if (counters > XT_MAX_TABLE_SIZE)
1345                 return NULL;
1346
1347         return vzalloc(counters);
1348 }
1349 EXPORT_SYMBOL(xt_counters_alloc);
1350
1351 struct xt_table_info *
1352 xt_replace_table(struct xt_table *table,
1353               unsigned int num_counters,
1354               struct xt_table_info *newinfo,
1355               int *error)
1356 {
1357         struct xt_table_info *private;
1358         unsigned int cpu;
1359         int ret;
1360
1361         ret = xt_jumpstack_alloc(newinfo);
1362         if (ret < 0) {
1363                 *error = ret;
1364                 return NULL;
1365         }
1366
1367         /* Do the substitution. */
1368         local_bh_disable();
1369         private = table->private;
1370
1371         /* Check inside lock: is the old number correct? */
1372         if (num_counters != private->number) {
1373                 pr_debug("num_counters != table->private->number (%u/%u)\n",
1374                          num_counters, private->number);
1375                 local_bh_enable();
1376                 *error = -EAGAIN;
1377                 return NULL;
1378         }
1379
1380         newinfo->initial_entries = private->initial_entries;
1381         /*
1382          * Ensure contents of newinfo are visible before assigning to
1383          * private.
1384          */
1385         smp_wmb();
1386         table->private = newinfo;
1387
1388         /* make sure all cpus see new ->private value */
1389         smp_wmb();
1390
1391         /*
1392          * Even though table entries have now been swapped, other CPU's
1393          * may still be using the old entries...
1394          */
1395         local_bh_enable();
1396
1397         /* ... so wait for even xt_recseq on all cpus */
1398         for_each_possible_cpu(cpu) {
1399                 seqcount_t *s = &per_cpu(xt_recseq, cpu);
1400                 u32 seq = raw_read_seqcount(s);
1401
1402                 if (seq & 1) {
1403                         do {
1404                                 cond_resched();
1405                                 cpu_relax();
1406                         } while (seq == raw_read_seqcount(s));
1407                 }
1408         }
1409
1410         audit_log_nfcfg(table->name, table->af, private->number,
1411                         !private->number ? AUDIT_XT_OP_REGISTER :
1412                                            AUDIT_XT_OP_REPLACE);
1413         return private;
1414 }
1415 EXPORT_SYMBOL_GPL(xt_replace_table);
1416
1417 struct xt_table *xt_register_table(struct net *net,
1418                                    const struct xt_table *input_table,
1419                                    struct xt_table_info *bootstrap,
1420                                    struct xt_table_info *newinfo)
1421 {
1422         int ret;
1423         struct xt_table_info *private;
1424         struct xt_table *t, *table;
1425
1426         /* Don't add one object to multiple lists. */
1427         table = kmemdup(input_table, sizeof(struct xt_table), GFP_KERNEL);
1428         if (!table) {
1429                 ret = -ENOMEM;
1430                 goto out;
1431         }
1432
1433         mutex_lock(&xt[table->af].mutex);
1434         /* Don't autoload: we'd eat our tail... */
1435         list_for_each_entry(t, &net->xt.tables[table->af], list) {
1436                 if (strcmp(t->name, table->name) == 0) {
1437                         ret = -EEXIST;
1438                         goto unlock;
1439                 }
1440         }
1441
1442         /* Simplifies replace_table code. */
1443         table->private = bootstrap;
1444
1445         if (!xt_replace_table(table, 0, newinfo, &ret))
1446                 goto unlock;
1447
1448         private = table->private;
1449         pr_debug("table->private->number = %u\n", private->number);
1450
1451         /* save number of initial entries */
1452         private->initial_entries = private->number;
1453
1454         list_add(&table->list, &net->xt.tables[table->af]);
1455         mutex_unlock(&xt[table->af].mutex);
1456         return table;
1457
1458 unlock:
1459         mutex_unlock(&xt[table->af].mutex);
1460         kfree(table);
1461 out:
1462         return ERR_PTR(ret);
1463 }
1464 EXPORT_SYMBOL_GPL(xt_register_table);
1465
1466 void *xt_unregister_table(struct xt_table *table)
1467 {
1468         struct xt_table_info *private;
1469
1470         mutex_lock(&xt[table->af].mutex);
1471         private = table->private;
1472         list_del(&table->list);
1473         mutex_unlock(&xt[table->af].mutex);
1474         audit_log_nfcfg(table->name, table->af, private->number,
1475                         AUDIT_XT_OP_UNREGISTER);
1476         kfree(table);
1477
1478         return private;
1479 }
1480 EXPORT_SYMBOL_GPL(xt_unregister_table);
1481
1482 #ifdef CONFIG_PROC_FS
1483 static void *xt_table_seq_start(struct seq_file *seq, loff_t *pos)
1484 {
1485         struct net *net = seq_file_net(seq);
1486         u_int8_t af = (unsigned long)PDE_DATA(file_inode(seq->file));
1487
1488         mutex_lock(&xt[af].mutex);
1489         return seq_list_start(&net->xt.tables[af], *pos);
1490 }
1491
1492 static void *xt_table_seq_next(struct seq_file *seq, void *v, loff_t *pos)
1493 {
1494         struct net *net = seq_file_net(seq);
1495         u_int8_t af = (unsigned long)PDE_DATA(file_inode(seq->file));
1496
1497         return seq_list_next(v, &net->xt.tables[af], pos);
1498 }
1499
1500 static void xt_table_seq_stop(struct seq_file *seq, void *v)
1501 {
1502         u_int8_t af = (unsigned long)PDE_DATA(file_inode(seq->file));
1503
1504         mutex_unlock(&xt[af].mutex);
1505 }
1506
1507 static int xt_table_seq_show(struct seq_file *seq, void *v)
1508 {
1509         struct xt_table *table = list_entry(v, struct xt_table, list);
1510
1511         if (*table->name)
1512                 seq_printf(seq, "%s\n", table->name);
1513         return 0;
1514 }
1515
1516 static const struct seq_operations xt_table_seq_ops = {
1517         .start  = xt_table_seq_start,
1518         .next   = xt_table_seq_next,
1519         .stop   = xt_table_seq_stop,
1520         .show   = xt_table_seq_show,
1521 };
1522
1523 /*
1524  * Traverse state for ip{,6}_{tables,matches} for helping crossing
1525  * the multi-AF mutexes.
1526  */
1527 struct nf_mttg_trav {
1528         struct list_head *head, *curr;
1529         uint8_t class;
1530 };
1531
1532 enum {
1533         MTTG_TRAV_INIT,
1534         MTTG_TRAV_NFP_UNSPEC,
1535         MTTG_TRAV_NFP_SPEC,
1536         MTTG_TRAV_DONE,
1537 };
1538
1539 static void *xt_mttg_seq_next(struct seq_file *seq, void *v, loff_t *ppos,
1540     bool is_target)
1541 {
1542         static const uint8_t next_class[] = {
1543                 [MTTG_TRAV_NFP_UNSPEC] = MTTG_TRAV_NFP_SPEC,
1544                 [MTTG_TRAV_NFP_SPEC]   = MTTG_TRAV_DONE,
1545         };
1546         uint8_t nfproto = (unsigned long)PDE_DATA(file_inode(seq->file));
1547         struct nf_mttg_trav *trav = seq->private;
1548
1549         if (ppos != NULL)
1550                 ++(*ppos);
1551
1552         switch (trav->class) {
1553         case MTTG_TRAV_INIT:
1554                 trav->class = MTTG_TRAV_NFP_UNSPEC;
1555                 mutex_lock(&xt[NFPROTO_UNSPEC].mutex);
1556                 trav->head = trav->curr = is_target ?
1557                         &xt[NFPROTO_UNSPEC].target : &xt[NFPROTO_UNSPEC].match;
1558                 break;
1559         case MTTG_TRAV_NFP_UNSPEC:
1560                 trav->curr = trav->curr->next;
1561                 if (trav->curr != trav->head)
1562                         break;
1563                 mutex_unlock(&xt[NFPROTO_UNSPEC].mutex);
1564                 mutex_lock(&xt[nfproto].mutex);
1565                 trav->head = trav->curr = is_target ?
1566                         &xt[nfproto].target : &xt[nfproto].match;
1567                 trav->class = next_class[trav->class];
1568                 break;
1569         case MTTG_TRAV_NFP_SPEC:
1570                 trav->curr = trav->curr->next;
1571                 if (trav->curr != trav->head)
1572                         break;
1573                 /* fall through */
1574         default:
1575                 return NULL;
1576         }
1577         return trav;
1578 }
1579
1580 static void *xt_mttg_seq_start(struct seq_file *seq, loff_t *pos,
1581     bool is_target)
1582 {
1583         struct nf_mttg_trav *trav = seq->private;
1584         unsigned int j;
1585
1586         trav->class = MTTG_TRAV_INIT;
1587         for (j = 0; j < *pos; ++j)
1588                 if (xt_mttg_seq_next(seq, NULL, NULL, is_target) == NULL)
1589                         return NULL;
1590         return trav;
1591 }
1592
1593 static void xt_mttg_seq_stop(struct seq_file *seq, void *v)
1594 {
1595         uint8_t nfproto = (unsigned long)PDE_DATA(file_inode(seq->file));
1596         struct nf_mttg_trav *trav = seq->private;
1597
1598         switch (trav->class) {
1599         case MTTG_TRAV_NFP_UNSPEC:
1600                 mutex_unlock(&xt[NFPROTO_UNSPEC].mutex);
1601                 break;
1602         case MTTG_TRAV_NFP_SPEC:
1603                 mutex_unlock(&xt[nfproto].mutex);
1604                 break;
1605         }
1606 }
1607
1608 static void *xt_match_seq_start(struct seq_file *seq, loff_t *pos)
1609 {
1610         return xt_mttg_seq_start(seq, pos, false);
1611 }
1612
1613 static void *xt_match_seq_next(struct seq_file *seq, void *v, loff_t *ppos)
1614 {
1615         return xt_mttg_seq_next(seq, v, ppos, false);
1616 }
1617
1618 static int xt_match_seq_show(struct seq_file *seq, void *v)
1619 {
1620         const struct nf_mttg_trav *trav = seq->private;
1621         const struct xt_match *match;
1622
1623         switch (trav->class) {
1624         case MTTG_TRAV_NFP_UNSPEC:
1625         case MTTG_TRAV_NFP_SPEC:
1626                 if (trav->curr == trav->head)
1627                         return 0;
1628                 match = list_entry(trav->curr, struct xt_match, list);
1629                 if (*match->name)
1630                         seq_printf(seq, "%s\n", match->name);
1631         }
1632         return 0;
1633 }
1634
1635 static const struct seq_operations xt_match_seq_ops = {
1636         .start  = xt_match_seq_start,
1637         .next   = xt_match_seq_next,
1638         .stop   = xt_mttg_seq_stop,
1639         .show   = xt_match_seq_show,
1640 };
1641
1642 static void *xt_target_seq_start(struct seq_file *seq, loff_t *pos)
1643 {
1644         return xt_mttg_seq_start(seq, pos, true);
1645 }
1646
1647 static void *xt_target_seq_next(struct seq_file *seq, void *v, loff_t *ppos)
1648 {
1649         return xt_mttg_seq_next(seq, v, ppos, true);
1650 }
1651
1652 static int xt_target_seq_show(struct seq_file *seq, void *v)
1653 {
1654         const struct nf_mttg_trav *trav = seq->private;
1655         const struct xt_target *target;
1656
1657         switch (trav->class) {
1658         case MTTG_TRAV_NFP_UNSPEC:
1659         case MTTG_TRAV_NFP_SPEC:
1660                 if (trav->curr == trav->head)
1661                         return 0;
1662                 target = list_entry(trav->curr, struct xt_target, list);
1663                 if (*target->name)
1664                         seq_printf(seq, "%s\n", target->name);
1665         }
1666         return 0;
1667 }
1668
1669 static const struct seq_operations xt_target_seq_ops = {
1670         .start  = xt_target_seq_start,
1671         .next   = xt_target_seq_next,
1672         .stop   = xt_mttg_seq_stop,
1673         .show   = xt_target_seq_show,
1674 };
1675
1676 #define FORMAT_TABLES   "_tables_names"
1677 #define FORMAT_MATCHES  "_tables_matches"
1678 #define FORMAT_TARGETS  "_tables_targets"
1679
1680 #endif /* CONFIG_PROC_FS */
1681
1682 /**
1683  * xt_hook_ops_alloc - set up hooks for a new table
1684  * @table:      table with metadata needed to set up hooks
1685  * @fn:         Hook function
1686  *
1687  * This function will create the nf_hook_ops that the x_table needs
1688  * to hand to xt_hook_link_net().
1689  */
1690 struct nf_hook_ops *
1691 xt_hook_ops_alloc(const struct xt_table *table, nf_hookfn *fn)
1692 {
1693         unsigned int hook_mask = table->valid_hooks;
1694         uint8_t i, num_hooks = hweight32(hook_mask);
1695         uint8_t hooknum;
1696         struct nf_hook_ops *ops;
1697
1698         if (!num_hooks)
1699                 return ERR_PTR(-EINVAL);
1700
1701         ops = kcalloc(num_hooks, sizeof(*ops), GFP_KERNEL);
1702         if (ops == NULL)
1703                 return ERR_PTR(-ENOMEM);
1704
1705         for (i = 0, hooknum = 0; i < num_hooks && hook_mask != 0;
1706              hook_mask >>= 1, ++hooknum) {
1707                 if (!(hook_mask & 1))
1708                         continue;
1709                 ops[i].hook     = fn;
1710                 ops[i].pf       = table->af;
1711                 ops[i].hooknum  = hooknum;
1712                 ops[i].priority = table->priority;
1713                 ++i;
1714         }
1715
1716         return ops;
1717 }
1718 EXPORT_SYMBOL_GPL(xt_hook_ops_alloc);
1719
1720 int xt_proto_init(struct net *net, u_int8_t af)
1721 {
1722 #ifdef CONFIG_PROC_FS
1723         char buf[XT_FUNCTION_MAXNAMELEN];
1724         struct proc_dir_entry *proc;
1725         kuid_t root_uid;
1726         kgid_t root_gid;
1727 #endif
1728
1729         if (af >= ARRAY_SIZE(xt_prefix))
1730                 return -EINVAL;
1731
1732
1733 #ifdef CONFIG_PROC_FS
1734         root_uid = make_kuid(net->user_ns, 0);
1735         root_gid = make_kgid(net->user_ns, 0);
1736
1737         strlcpy(buf, xt_prefix[af], sizeof(buf));
1738         strlcat(buf, FORMAT_TABLES, sizeof(buf));
1739         proc = proc_create_net_data(buf, 0440, net->proc_net, &xt_table_seq_ops,
1740                         sizeof(struct seq_net_private),
1741                         (void *)(unsigned long)af);
1742         if (!proc)
1743                 goto out;
1744         if (uid_valid(root_uid) && gid_valid(root_gid))
1745                 proc_set_user(proc, root_uid, root_gid);
1746
1747         strlcpy(buf, xt_prefix[af], sizeof(buf));
1748         strlcat(buf, FORMAT_MATCHES, sizeof(buf));
1749         proc = proc_create_seq_private(buf, 0440, net->proc_net,
1750                         &xt_match_seq_ops, sizeof(struct nf_mttg_trav),
1751                         (void *)(unsigned long)af);
1752         if (!proc)
1753                 goto out_remove_tables;
1754         if (uid_valid(root_uid) && gid_valid(root_gid))
1755                 proc_set_user(proc, root_uid, root_gid);
1756
1757         strlcpy(buf, xt_prefix[af], sizeof(buf));
1758         strlcat(buf, FORMAT_TARGETS, sizeof(buf));
1759         proc = proc_create_seq_private(buf, 0440, net->proc_net,
1760                          &xt_target_seq_ops, sizeof(struct nf_mttg_trav),
1761                          (void *)(unsigned long)af);
1762         if (!proc)
1763                 goto out_remove_matches;
1764         if (uid_valid(root_uid) && gid_valid(root_gid))
1765                 proc_set_user(proc, root_uid, root_gid);
1766 #endif
1767
1768         return 0;
1769
1770 #ifdef CONFIG_PROC_FS
1771 out_remove_matches:
1772         strlcpy(buf, xt_prefix[af], sizeof(buf));
1773         strlcat(buf, FORMAT_MATCHES, sizeof(buf));
1774         remove_proc_entry(buf, net->proc_net);
1775
1776 out_remove_tables:
1777         strlcpy(buf, xt_prefix[af], sizeof(buf));
1778         strlcat(buf, FORMAT_TABLES, sizeof(buf));
1779         remove_proc_entry(buf, net->proc_net);
1780 out:
1781         return -1;
1782 #endif
1783 }
1784 EXPORT_SYMBOL_GPL(xt_proto_init);
1785
1786 void xt_proto_fini(struct net *net, u_int8_t af)
1787 {
1788 #ifdef CONFIG_PROC_FS
1789         char buf[XT_FUNCTION_MAXNAMELEN];
1790
1791         strlcpy(buf, xt_prefix[af], sizeof(buf));
1792         strlcat(buf, FORMAT_TABLES, sizeof(buf));
1793         remove_proc_entry(buf, net->proc_net);
1794
1795         strlcpy(buf, xt_prefix[af], sizeof(buf));
1796         strlcat(buf, FORMAT_TARGETS, sizeof(buf));
1797         remove_proc_entry(buf, net->proc_net);
1798
1799         strlcpy(buf, xt_prefix[af], sizeof(buf));
1800         strlcat(buf, FORMAT_MATCHES, sizeof(buf));
1801         remove_proc_entry(buf, net->proc_net);
1802 #endif /*CONFIG_PROC_FS*/
1803 }
1804 EXPORT_SYMBOL_GPL(xt_proto_fini);
1805
1806 /**
1807  * xt_percpu_counter_alloc - allocate x_tables rule counter
1808  *
1809  * @state: pointer to xt_percpu allocation state
1810  * @counter: pointer to counter struct inside the ip(6)/arpt_entry struct
1811  *
1812  * On SMP, the packet counter [ ip(6)t_entry->counters.pcnt ] will then
1813  * contain the address of the real (percpu) counter.
1814  *
1815  * Rule evaluation needs to use xt_get_this_cpu_counter() helper
1816  * to fetch the real percpu counter.
1817  *
1818  * To speed up allocation and improve data locality, a 4kb block is
1819  * allocated.  Freeing any counter may free an entire block, so all
1820  * counters allocated using the same state must be freed at the same
1821  * time.
1822  *
1823  * xt_percpu_counter_alloc_state contains the base address of the
1824  * allocated page and the current sub-offset.
1825  *
1826  * returns false on error.
1827  */
1828 bool xt_percpu_counter_alloc(struct xt_percpu_counter_alloc_state *state,
1829                              struct xt_counters *counter)
1830 {
1831         BUILD_BUG_ON(XT_PCPU_BLOCK_SIZE < (sizeof(*counter) * 2));
1832
1833         if (nr_cpu_ids <= 1)
1834                 return true;
1835
1836         if (!state->mem) {
1837                 state->mem = __alloc_percpu(XT_PCPU_BLOCK_SIZE,
1838                                             XT_PCPU_BLOCK_SIZE);
1839                 if (!state->mem)
1840                         return false;
1841         }
1842         counter->pcnt = (__force unsigned long)(state->mem + state->off);
1843         state->off += sizeof(*counter);
1844         if (state->off > (XT_PCPU_BLOCK_SIZE - sizeof(*counter))) {
1845                 state->mem = NULL;
1846                 state->off = 0;
1847         }
1848         return true;
1849 }
1850 EXPORT_SYMBOL_GPL(xt_percpu_counter_alloc);
1851
1852 void xt_percpu_counter_free(struct xt_counters *counters)
1853 {
1854         unsigned long pcnt = counters->pcnt;
1855
1856         if (nr_cpu_ids > 1 && (pcnt & (XT_PCPU_BLOCK_SIZE - 1)) == 0)
1857                 free_percpu((void __percpu *)pcnt);
1858 }
1859 EXPORT_SYMBOL_GPL(xt_percpu_counter_free);
1860
1861 static int __net_init xt_net_init(struct net *net)
1862 {
1863         int i;
1864
1865         for (i = 0; i < NFPROTO_NUMPROTO; i++)
1866                 INIT_LIST_HEAD(&net->xt.tables[i]);
1867         return 0;
1868 }
1869
1870 static void __net_exit xt_net_exit(struct net *net)
1871 {
1872         int i;
1873
1874         for (i = 0; i < NFPROTO_NUMPROTO; i++)
1875                 WARN_ON_ONCE(!list_empty(&net->xt.tables[i]));
1876 }
1877
1878 static struct pernet_operations xt_net_ops = {
1879         .init = xt_net_init,
1880         .exit = xt_net_exit,
1881 };
1882
1883 static int __init xt_init(void)
1884 {
1885         unsigned int i;
1886         int rv;
1887
1888         for_each_possible_cpu(i) {
1889                 seqcount_init(&per_cpu(xt_recseq, i));
1890         }
1891
1892         xt = kcalloc(NFPROTO_NUMPROTO, sizeof(struct xt_af), GFP_KERNEL);
1893         if (!xt)
1894                 return -ENOMEM;
1895
1896         for (i = 0; i < NFPROTO_NUMPROTO; i++) {
1897                 mutex_init(&xt[i].mutex);
1898 #ifdef CONFIG_COMPAT
1899                 mutex_init(&xt[i].compat_mutex);
1900                 xt[i].compat_tab = NULL;
1901 #endif
1902                 INIT_LIST_HEAD(&xt[i].target);
1903                 INIT_LIST_HEAD(&xt[i].match);
1904         }
1905         rv = register_pernet_subsys(&xt_net_ops);
1906         if (rv < 0)
1907                 kfree(xt);
1908         return rv;
1909 }
1910
1911 static void __exit xt_fini(void)
1912 {
1913         unregister_pernet_subsys(&xt_net_ops);
1914         kfree(xt);
1915 }
1916
1917 module_init(xt_init);
1918 module_exit(xt_fini);
1919