]> git.proxmox.com Git - mirror_ubuntu-kernels.git/commit
netfilter: nft_set_rbtree: bogus lookup/get on consecutive elements in named sets
authorPablo Neira Ayuso <pablo@netfilter.org>
Fri, 6 Dec 2019 19:23:29 +0000 (20:23 +0100)
committerPablo Neira Ayuso <pablo@netfilter.org>
Mon, 9 Dec 2019 12:13:25 +0000 (13:13 +0100)
commitdb3b665dd77b34e34df00e17d7b299c98fcfb2c5
treef777a7a1d2d9da87d869ec4f7e68b5c02e17829d
parent164166558aacea01b99c8c8ffb710d930405ba69
netfilter: nft_set_rbtree: bogus lookup/get on consecutive elements in named sets

The existing rbtree implementation might store consecutive elements
where the closing element and the opening element might overlap, eg.

[ a, a+1) [ a+1, a+2)

This patch removes the optimization for non-anonymous sets in the exact
matching case, where it is assumed to stop searching in case that the
closing element is found. Instead, invalidate candidate interval and
keep looking further in the tree.

The lookup/get operation might return false, while there is an element
in the rbtree. Moreover, the get operation returns true as if a+2 would
be in the tree. This happens with named sets after several set updates.

The existing lookup optimization (that only works for the anonymous
sets) might not reach the opening [ a+1,... element if the closing
...,a+1) is found in first place when walking over the rbtree. Hence,
walking the full tree in that case is needed.

This patch fixes the lookup and get operations.

Fixes: e701001e7cbe ("netfilter: nft_rbtree: allow adjacent intervals with dynamic updates")
Fixes: ba0e4d9917b4 ("netfilter: nf_tables: get set elements via netlink")
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
net/netfilter/nft_set_rbtree.c