Hi Florian, On Sat, Sep 10, 2016 at 10:01:02PM +0200, Florian Westphal wrote: > Hi. > > Linux has a builtin rp filter for ipv4, but not for ipv6. > xtables has rpfilter match for both ipv4 and ipv6. > nftables currently does not have such a feature. > > Any idea on how specific or generic this should be for nft? > > Current idea is to add 'fib' expression that initially supports > lookup of outinterface index for reply direction, i.e.: > > nft ... fib reply oif ne 0 accept (found something) Probably use 'fib lookup' instead of 'fib reply'? > nft ... fib reply oif eq 0 drop (no route) We need something similar for nft_exthdr in other to check for presence of the extension header (ie. no need to access any extension header field, just say it's there or not). So from the linearize path, we can set on a NFT_EXTHDR_F_PRESENT to indicate that we only care for its presence. We would end up having a expression that returns a boolean or a value, so the datatype needs to be attached in runtime. Regarding syntax, it would be good to explore something like: nft ... fib lookup oif found accept nft ... fib lookup oif not found drop And introduce a boolean datatype, only problem with this is that we'll have an expression that returns boolean... > nft ... fib reply oif eq eth0 (reply would be routed via eth0) ... or string in this case. I guess we can something like a dummy datatype that becomes the real datatype during the evaluation. > Problem is that we might need some options to influence/control > input to the fib lookup routines, e.g. if we want to consider > skb->mark or if we're only interested in routes via particular interface > (ipv6 needs this, this is what the --loose option does for -m rpfilter > in iptables). > > Unfortunately, use of 'mark' results in grammar ambiguity in the parser. What syntax would be causing the ambiguity? I guess this is related to meta unqualified. > What would work is this: > > fib_expr : FIB STRING fib_args fib_type > { > $$ = fib_expr_alloc(&@$, $4, get_dir($2)); > } > ; > > fib_type : OIF { $$ = NFT_FIB_OIF; } > ; > > fib_args : fib_arg > { > $<expr>$ = $<expr>0; > } > | fib_args fib_arg > ; > > fib_arg : MARK > { > $<expr>0->fib.use_mark = 1; > } > | LOOSE > { > $<expr>0->fib.loose = 1; > } > ; > > > Which results in following syntax: > > nft .. fib reply mark loose oif eq 0 drop # no route at all > nft .. fib reply mark oif eq 0 drop # no route via iif > nft .. fib reply oif eq 0 drop # no route via iif, do not use skb->mark > > > Other features that might make sense to implement for fib: > - query mtu on the route (maybe useful with future tcp option mangling > to create TCPMSS target equvalent...?) > > - query what fib says about type of saddr/daddr (iptables -m addrtype match) Having addrtype into this generic expression looks very interesting. > Main 'problem' is that I don't want to muck with the syntax later so > it should be flexible enough to cover other uses beside rpf. Agreed. This fib stuff looks very cool. -- To unsubscribe from this list: send the line "unsubscribe netfilter-devel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html