Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2009 Patrick McHardy <kaber@trash.net> |
| 3 | * |
| 4 | * This program is free software; you can redistribute it and/or modify |
| 5 | * it under the terms of the GNU General Public License version 2 as |
| 6 | * published by the Free Software Foundation. |
| 7 | * |
| 8 | * Development of this code funded by Astaro AG (http://www.astaro.com/) |
| 9 | */ |
| 10 | |
| 11 | #include <linux/kernel.h> |
| 12 | #include <linux/init.h> |
| 13 | #include <linux/list.h> |
| 14 | #include <linux/rbtree.h> |
| 15 | #include <linux/netlink.h> |
| 16 | #include <linux/netfilter.h> |
| 17 | #include <linux/netfilter/nf_tables.h> |
| 18 | #include <net/netfilter/nf_tables.h> |
Rashika Kheria | bd76ed3 | 2014-02-09 22:31:42 +0530 | [diff] [blame] | 19 | #include <net/netfilter/nf_tables_core.h> |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 20 | |
| 21 | struct nft_lookup { |
| 22 | struct nft_set *set; |
| 23 | enum nft_registers sreg:8; |
| 24 | enum nft_registers dreg:8; |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 25 | bool invert; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 26 | struct nft_set_binding binding; |
| 27 | }; |
| 28 | |
Florian Westphal | 222440b | 2018-07-04 12:48:04 +0200 | [diff] [blame] | 29 | void nft_lookup_eval(const struct nft_expr *expr, |
| 30 | struct nft_regs *regs, |
| 31 | const struct nft_pktinfo *pkt) |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 32 | { |
| 33 | const struct nft_lookup *priv = nft_expr_priv(expr); |
| 34 | const struct nft_set *set = priv->set; |
Patrick McHardy | b2832dd | 2015-03-25 14:08:48 +0000 | [diff] [blame] | 35 | const struct nft_set_ext *ext; |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 36 | bool found; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 37 | |
Pablo Neira Ayuso | 0e5a1c7 | 2016-11-03 10:56:26 +0100 | [diff] [blame] | 38 | found = set->ops->lookup(nft_net(pkt), set, ®s->data[priv->sreg], |
| 39 | &ext) ^ priv->invert; |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 40 | if (!found) { |
| 41 | regs->verdict.code = NFT_BREAK; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 42 | return; |
Patrick McHardy | b2832dd | 2015-03-25 14:08:48 +0000 | [diff] [blame] | 43 | } |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 44 | |
Pablo Neira Ayuso | 4004d5c | 2016-09-20 18:22:46 +0200 | [diff] [blame] | 45 | if (set->flags & NFT_SET_MAP) |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 46 | nft_data_copy(®s->data[priv->dreg], |
| 47 | nft_set_ext_data(ext), set->dlen); |
| 48 | |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 49 | } |
| 50 | |
| 51 | static const struct nla_policy nft_lookup_policy[NFTA_LOOKUP_MAX + 1] = { |
Liping Zhang | b2fbd04 | 2017-01-20 21:03:03 +0800 | [diff] [blame] | 52 | [NFTA_LOOKUP_SET] = { .type = NLA_STRING, |
| 53 | .len = NFT_SET_MAXNAMELEN - 1 }, |
Patrick McHardy | 4c1017a | 2015-01-30 07:46:33 +0000 | [diff] [blame] | 54 | [NFTA_LOOKUP_SET_ID] = { .type = NLA_U32 }, |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 55 | [NFTA_LOOKUP_SREG] = { .type = NLA_U32 }, |
| 56 | [NFTA_LOOKUP_DREG] = { .type = NLA_U32 }, |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 57 | [NFTA_LOOKUP_FLAGS] = { .type = NLA_U32 }, |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 58 | }; |
| 59 | |
| 60 | static int nft_lookup_init(const struct nft_ctx *ctx, |
| 61 | const struct nft_expr *expr, |
| 62 | const struct nlattr * const tb[]) |
| 63 | { |
| 64 | struct nft_lookup *priv = nft_expr_priv(expr); |
Pablo Neira Ayuso | 37a9cc5 | 2016-06-12 22:52:45 +0200 | [diff] [blame] | 65 | u8 genmask = nft_genmask_next(ctx->net); |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 66 | struct nft_set *set; |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 67 | u32 flags; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 68 | int err; |
| 69 | |
| 70 | if (tb[NFTA_LOOKUP_SET] == NULL || |
| 71 | tb[NFTA_LOOKUP_SREG] == NULL) |
| 72 | return -EINVAL; |
| 73 | |
Pablo Neira Ayuso | 10659cb | 2018-03-28 12:06:49 +0200 | [diff] [blame] | 74 | set = nft_set_lookup_global(ctx->net, ctx->table, tb[NFTA_LOOKUP_SET], |
| 75 | tb[NFTA_LOOKUP_SET_ID], genmask); |
Pablo Neira Ayuso | c7a72e3 | 2017-03-06 17:46:20 +0100 | [diff] [blame] | 76 | if (IS_ERR(set)) |
| 77 | return PTR_ERR(set); |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 78 | |
Patrick McHardy | 7c6c6e9 | 2015-04-11 10:46:41 +0100 | [diff] [blame] | 79 | if (set->flags & NFT_SET_EVAL) |
| 80 | return -EOPNOTSUPP; |
| 81 | |
Patrick McHardy | b1c96ed | 2015-04-11 02:27:36 +0100 | [diff] [blame] | 82 | priv->sreg = nft_parse_register(tb[NFTA_LOOKUP_SREG]); |
Patrick McHardy | d07db98 | 2015-04-11 02:27:30 +0100 | [diff] [blame] | 83 | err = nft_validate_register_load(priv->sreg, set->klen); |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 84 | if (err < 0) |
| 85 | return err; |
| 86 | |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 87 | if (tb[NFTA_LOOKUP_FLAGS]) { |
| 88 | flags = ntohl(nla_get_be32(tb[NFTA_LOOKUP_FLAGS])); |
| 89 | |
| 90 | if (flags & ~NFT_LOOKUP_F_INV) |
| 91 | return -EINVAL; |
| 92 | |
| 93 | if (flags & NFT_LOOKUP_F_INV) { |
| 94 | if (set->flags & NFT_SET_MAP) |
| 95 | return -EINVAL; |
| 96 | priv->invert = true; |
| 97 | } |
| 98 | } |
| 99 | |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 100 | if (tb[NFTA_LOOKUP_DREG] != NULL) { |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 101 | if (priv->invert) |
| 102 | return -EINVAL; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 103 | if (!(set->flags & NFT_SET_MAP)) |
| 104 | return -EINVAL; |
| 105 | |
Patrick McHardy | b1c96ed | 2015-04-11 02:27:36 +0100 | [diff] [blame] | 106 | priv->dreg = nft_parse_register(tb[NFTA_LOOKUP_DREG]); |
Patrick McHardy | 58f40ab | 2015-04-11 02:27:28 +0100 | [diff] [blame] | 107 | err = nft_validate_register_store(ctx, priv->dreg, NULL, |
| 108 | set->dtype, set->dlen); |
| 109 | if (err < 0) |
| 110 | return err; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 111 | } else if (set->flags & NFT_SET_MAP) |
| 112 | return -EINVAL; |
| 113 | |
Patrick McHardy | 11113e1 | 2015-04-05 14:41:07 +0200 | [diff] [blame] | 114 | priv->binding.flags = set->flags & NFT_SET_MAP; |
| 115 | |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 116 | err = nf_tables_bind_set(ctx, set, &priv->binding); |
| 117 | if (err < 0) |
| 118 | return err; |
| 119 | |
| 120 | priv->set = set; |
| 121 | return 0; |
| 122 | } |
| 123 | |
Florian Westphal | cd5125d | 2018-08-29 14:41:30 +0200 | [diff] [blame] | 124 | static void nft_lookup_deactivate(const struct nft_ctx *ctx, |
Pablo Neira Ayuso | f6ac858 | 2019-02-02 10:49:13 +0100 | [diff] [blame] | 125 | const struct nft_expr *expr, |
| 126 | enum nft_trans_phase phase) |
Florian Westphal | cd5125d | 2018-08-29 14:41:30 +0200 | [diff] [blame] | 127 | { |
| 128 | struct nft_lookup *priv = nft_expr_priv(expr); |
| 129 | |
Pablo Neira Ayuso | 273fe3f | 2019-03-08 15:30:03 +0100 | [diff] [blame] | 130 | nf_tables_deactivate_set(ctx, priv->set, &priv->binding, phase); |
| 131 | } |
Pablo Neira Ayuso | f6ac858 | 2019-02-02 10:49:13 +0100 | [diff] [blame] | 132 | |
Pablo Neira Ayuso | 273fe3f | 2019-03-08 15:30:03 +0100 | [diff] [blame] | 133 | static void nft_lookup_activate(const struct nft_ctx *ctx, |
| 134 | const struct nft_expr *expr) |
| 135 | { |
| 136 | struct nft_lookup *priv = nft_expr_priv(expr); |
| 137 | |
| 138 | priv->set->use++; |
Florian Westphal | cd5125d | 2018-08-29 14:41:30 +0200 | [diff] [blame] | 139 | } |
| 140 | |
Patrick McHardy | 62472bc | 2014-03-07 19:08:30 +0100 | [diff] [blame] | 141 | static void nft_lookup_destroy(const struct nft_ctx *ctx, |
| 142 | const struct nft_expr *expr) |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 143 | { |
| 144 | struct nft_lookup *priv = nft_expr_priv(expr); |
| 145 | |
Florian Westphal | cd5125d | 2018-08-29 14:41:30 +0200 | [diff] [blame] | 146 | nf_tables_destroy_set(ctx, priv->set); |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 147 | } |
| 148 | |
| 149 | static int nft_lookup_dump(struct sk_buff *skb, const struct nft_expr *expr) |
| 150 | { |
| 151 | const struct nft_lookup *priv = nft_expr_priv(expr); |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 152 | u32 flags = priv->invert ? NFT_LOOKUP_F_INV : 0; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 153 | |
| 154 | if (nla_put_string(skb, NFTA_LOOKUP_SET, priv->set->name)) |
| 155 | goto nla_put_failure; |
Patrick McHardy | b1c96ed | 2015-04-11 02:27:36 +0100 | [diff] [blame] | 156 | if (nft_dump_register(skb, NFTA_LOOKUP_SREG, priv->sreg)) |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 157 | goto nla_put_failure; |
| 158 | if (priv->set->flags & NFT_SET_MAP) |
Patrick McHardy | b1c96ed | 2015-04-11 02:27:36 +0100 | [diff] [blame] | 159 | if (nft_dump_register(skb, NFTA_LOOKUP_DREG, priv->dreg)) |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 160 | goto nla_put_failure; |
Arturo Borrero | 0071e184 | 2016-06-23 12:24:08 +0200 | [diff] [blame] | 161 | if (nla_put_be32(skb, NFTA_LOOKUP_FLAGS, htonl(flags))) |
| 162 | goto nla_put_failure; |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 163 | return 0; |
| 164 | |
| 165 | nla_put_failure: |
| 166 | return -1; |
| 167 | } |
| 168 | |
Pablo Neira Ayuso | a654de8 | 2018-05-30 20:18:57 +0200 | [diff] [blame] | 169 | static int nft_lookup_validate_setelem(const struct nft_ctx *ctx, |
| 170 | struct nft_set *set, |
| 171 | const struct nft_set_iter *iter, |
| 172 | struct nft_set_elem *elem) |
| 173 | { |
| 174 | const struct nft_set_ext *ext = nft_set_elem_ext(set, elem->priv); |
Taehee Yoo | 26b2f55 | 2018-07-13 01:38:08 +0900 | [diff] [blame] | 175 | struct nft_ctx *pctx = (struct nft_ctx *)ctx; |
Pablo Neira Ayuso | a654de8 | 2018-05-30 20:18:57 +0200 | [diff] [blame] | 176 | const struct nft_data *data; |
Taehee Yoo | 26b2f55 | 2018-07-13 01:38:08 +0900 | [diff] [blame] | 177 | int err; |
Pablo Neira Ayuso | a654de8 | 2018-05-30 20:18:57 +0200 | [diff] [blame] | 178 | |
| 179 | if (nft_set_ext_exists(ext, NFT_SET_EXT_FLAGS) && |
| 180 | *nft_set_ext_flags(ext) & NFT_SET_ELEM_INTERVAL_END) |
| 181 | return 0; |
| 182 | |
| 183 | data = nft_set_ext_data(ext); |
| 184 | switch (data->verdict.code) { |
| 185 | case NFT_JUMP: |
| 186 | case NFT_GOTO: |
Taehee Yoo | 26b2f55 | 2018-07-13 01:38:08 +0900 | [diff] [blame] | 187 | pctx->level++; |
| 188 | err = nft_chain_validate(ctx, data->verdict.chain); |
| 189 | if (err < 0) |
| 190 | return err; |
| 191 | pctx->level--; |
| 192 | break; |
Pablo Neira Ayuso | a654de8 | 2018-05-30 20:18:57 +0200 | [diff] [blame] | 193 | default: |
Taehee Yoo | 26b2f55 | 2018-07-13 01:38:08 +0900 | [diff] [blame] | 194 | break; |
Pablo Neira Ayuso | a654de8 | 2018-05-30 20:18:57 +0200 | [diff] [blame] | 195 | } |
Taehee Yoo | 26b2f55 | 2018-07-13 01:38:08 +0900 | [diff] [blame] | 196 | |
| 197 | return 0; |
Pablo Neira Ayuso | a654de8 | 2018-05-30 20:18:57 +0200 | [diff] [blame] | 198 | } |
| 199 | |
| 200 | static int nft_lookup_validate(const struct nft_ctx *ctx, |
| 201 | const struct nft_expr *expr, |
| 202 | const struct nft_data **d) |
| 203 | { |
| 204 | const struct nft_lookup *priv = nft_expr_priv(expr); |
| 205 | struct nft_set_iter iter; |
| 206 | |
| 207 | if (!(priv->set->flags & NFT_SET_MAP) || |
| 208 | priv->set->dtype != NFT_DATA_VERDICT) |
| 209 | return 0; |
| 210 | |
| 211 | iter.genmask = nft_genmask_next(ctx->net); |
| 212 | iter.skip = 0; |
| 213 | iter.count = 0; |
| 214 | iter.err = 0; |
| 215 | iter.fn = nft_lookup_validate_setelem; |
| 216 | |
| 217 | priv->set->ops->walk(ctx, priv->set, &iter); |
| 218 | if (iter.err < 0) |
| 219 | return iter.err; |
| 220 | |
| 221 | return 0; |
| 222 | } |
| 223 | |
Patrick McHardy | ef1f7df | 2013-10-10 11:41:20 +0200 | [diff] [blame] | 224 | static const struct nft_expr_ops nft_lookup_ops = { |
| 225 | .type = &nft_lookup_type, |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 226 | .size = NFT_EXPR_SIZE(sizeof(struct nft_lookup)), |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 227 | .eval = nft_lookup_eval, |
| 228 | .init = nft_lookup_init, |
Pablo Neira Ayuso | 273fe3f | 2019-03-08 15:30:03 +0100 | [diff] [blame] | 229 | .activate = nft_lookup_activate, |
Florian Westphal | cd5125d | 2018-08-29 14:41:30 +0200 | [diff] [blame] | 230 | .deactivate = nft_lookup_deactivate, |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 231 | .destroy = nft_lookup_destroy, |
| 232 | .dump = nft_lookup_dump, |
Pablo Neira Ayuso | a654de8 | 2018-05-30 20:18:57 +0200 | [diff] [blame] | 233 | .validate = nft_lookup_validate, |
Patrick McHardy | ef1f7df | 2013-10-10 11:41:20 +0200 | [diff] [blame] | 234 | }; |
| 235 | |
Liping Zhang | 4e24877 | 2016-11-06 21:15:51 +0800 | [diff] [blame] | 236 | struct nft_expr_type nft_lookup_type __read_mostly = { |
Patrick McHardy | ef1f7df | 2013-10-10 11:41:20 +0200 | [diff] [blame] | 237 | .name = "lookup", |
| 238 | .ops = &nft_lookup_ops, |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 239 | .policy = nft_lookup_policy, |
| 240 | .maxattr = NFTA_LOOKUP_MAX, |
Patrick McHardy | ef1f7df | 2013-10-10 11:41:20 +0200 | [diff] [blame] | 241 | .owner = THIS_MODULE, |
Patrick McHardy | 20a6934 | 2013-10-11 12:06:22 +0200 | [diff] [blame] | 242 | }; |