]> www.infradead.org Git - users/dwmw2/linux.git/commit
netfilter: nf_tables: prefer nft_chain_validate
authorFlorian Westphal <fw@strlen.de>
Thu, 11 Jul 2024 09:06:39 +0000 (11:06 +0200)
committerPablo Neira Ayuso <pablo@netfilter.org>
Thu, 11 Jul 2024 09:26:35 +0000 (11:26 +0200)
commitcff3bd012a9512ac5ed858d38e6ed65f6391008c
tree36bddf82c946d9fc4a89ee90eb9ac8ec17cd525f
parent631a4b3ddc7831b20442c59c28b0476d0704c9af
netfilter: nf_tables: prefer nft_chain_validate

nft_chain_validate already performs loop detection because a cycle will
result in a call stack overflow (ctx->level >= NFT_JUMP_STACK_SIZE).

It also follows maps via ->validate callback in nft_lookup, so there
appears no reason to iterate the maps again.

nf_tables_check_loops() and all its helper functions can be removed.
This improves ruleset load time significantly, from 23s down to 12s.

This also fixes a crash bug. Old loop detection code can result in
unbounded recursion:

BUG: TASK stack guard page was hit at ....
Oops: stack guard page: 0000 [#1] PREEMPT SMP KASAN
CPU: 4 PID: 1539 Comm: nft Not tainted 6.10.0-rc5+ #1
[..]

with a suitable ruleset during validation of register stores.

I can't see any actual reason to attempt to check for this from
nft_validate_register_store(), at this point the transaction is still in
progress, so we don't have a full picture of the rule graph.

For nf-next it might make sense to either remove it or make this depend
on table->validate_state in case we could catch an error earlier
(for improved error reporting to userspace).

Fixes: 20a69341f2d0 ("netfilter: nf_tables: add netlink set API")
Signed-off-by: Florian Westphal <fw@strlen.de>
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
net/netfilter/nf_tables_api.c