tests/03_rules/06_subnet_mask_matches

   1 Test that non-contiguous subnet masks are properly handled in rule source
   2 or destination IP expressions. Such masks need to be translated into
   3 bitwise expressions which may not appear as part of sets, so various
   4 permutations of rules need to be emitted.
   5
   6 -- Testcase --
   7 {%
   8         include("./root/usr/share/firewall4/main.uc", {
   9                 getenv: function(varname) {
  10                         switch (varname) {
  11                         case 'ACTION':
  12                                 return 'print';
  13                         }
  14                 }
  15         })
  16 %}
  17 -- End --
  18
  19 -- File uci/helpers.json --
  20 {}
  21 -- End --
  22
  23 -- File uci/firewall.json --
  24 {
  25         "zone": [
  26                 {
  27                         "name": "wan",
  28                         "network": "wan6",
  29                         "masq6": 1
  30                 },
  31                 {
  32                         "name": "lan",
  33                         "network": "lan",
  34                         "auto_helper": 0
  35                 },
  36                 {
  37                         "name": "guest",
  38                         "network": "guest",
  39                         "auto_helper": 0
  40                 }
  41         ],
  42         "rule": [
  43                 {
  44                         ".description": "Ensure that IPs with non-contiguous masks are properly translated",
  45                         "proto": "all",
  46                         "name": "Mask rule #1",
  47                         "src_ip": "::1/::ffff",
  48                         "dest_ip": "!::2/::ffff"
  49                 },
  50                 {
  51                         ".description": "Ensure that combinations of multiple masked and not masked IPs yield the proper rule permutations",
  52                         "proto": "all",
  53                         "name": "Mask rule #2",
  54                         "src_ip": [
  55                                 "::1/::ffff",
  56                                 "::2/::ffff",
  57                                 "::3/128",
  58                                 "::4/128",
  59                                 "!::5/::ffff",
  60                                 "!::6/::ffff",
  61                                 "!::7/128",
  62                                 "!::8/128"
  63                         ],
  64                         "dest_ip": [
  65                                 "::9/::ffff",
  66                                 "::10/::ffff",
  67                                 "::11/128",
  68                                 "::12/128",
  69                                 "!::13/::ffff",
  70                                 "!::14/::ffff",
  71                                 "!::15/128",
  72                                 "!::16/128"
  73                         ]
  74                 },
  75                 {
  76                         ".description": "Ensure that CIDRs with negative bitcount are properly translated",
  77                         "proto": "all",
  78                         "name": "Mask rule #3",
  79                         "src_ip": "::1/-64",
  80                         "dest_ip": "!::2/-64"
  81                 }
  82         ],
  83         "redirect": [
  84                 {
  85                         ".description": "Ensure that masked IPs are properly handled in reflection rules",
  86                         "proto": "all",
  87                         "name": "Mask rule #3",
  88                         "src": "wan",
  89                         "dest": "lan",
  90                         "src_ip": "::1/::ffff",
  91                         "src_dip": "::9/::ffff",
  92                         "dest_ip": "::99",
  93                         "dest_port": "22",
  94                         "target": "DNAT",
  95                         "reflection_zone": [ "lan", "guest" ]
  96                 }
  97         ]
  98 }
  99 -- End --
 100
 101 -- Expect stdout --
 102 table inet fw4
 103 flush table inet fw4
 104
 105 table inet fw4 {
 106         #
 107         # Set definitions
 108         #
 109
 110
 111         #
 112         # Defines
 113         #
 114
 115         define wan_devices = { "pppoe-wan" }
 116         define wan_subnets = { 2001:db8:54:321::/64 }
 117         define lan_devices = { "br-lan" }
 118         define lan_subnets = { 10.0.0.0/24, 192.168.26.0/24, 2001:db8:1000::/60, fd63:e2f:f706::/60 }
 119         define guest_devices = { "br-guest" }
 120         define guest_subnets = { 10.1.0.0/24, 192.168.27.0/24, 2001:db8:1000::/60, fd63:e2f:f706::/60 }
 121
 122         #
 123         # User includes
 124         #
 125
 126         include "/etc/nftables.d/*.nft"
 127
 128
 129         #
 130         # Filter rules
 131         #
 132
 133         chain input {
 134                 type filter hook input priority filter; policy drop;
 135
 136                 iifname "lo" accept comment "!fw4: Accept traffic from loopback"
 137
 138                 ct state established,related accept comment "!fw4: Allow inbound established and related flows"
 139                 iifname "pppoe-wan" jump input_wan comment "!fw4: Handle wan IPv4/IPv6 input traffic"
 140                 iifname "br-lan" jump input_lan comment "!fw4: Handle lan IPv4/IPv6 input traffic"
 141                 iifname "br-guest" jump input_guest comment "!fw4: Handle guest IPv4/IPv6 input traffic"
 142         }
 143
 144         chain forward {
 145                 type filter hook forward priority filter; policy drop;
 146
 147                 ct state established,related accept comment "!fw4: Allow forwarded established and related flows"
 148                 iifname "pppoe-wan" jump forward_wan comment "!fw4: Handle wan IPv4/IPv6 forward traffic"
 149                 iifname "br-lan" jump forward_lan comment "!fw4: Handle lan IPv4/IPv6 forward traffic"
 150                 iifname "br-guest" jump forward_guest comment "!fw4: Handle guest IPv4/IPv6 forward traffic"
 151         }
 152
 153         chain output {
 154                 type filter hook output priority filter; policy drop;
 155
 156                 oifname "lo" accept comment "!fw4: Accept traffic towards loopback"
 157
 158                 ct state established,related accept comment "!fw4: Allow outbound established and related flows"
 159                 ip6 saddr & ::ffff == ::1 ip6 daddr & ::ffff != ::2 counter comment "!fw4: Mask rule #1"
 160                 ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff == ::1 ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff == ::9 ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 161                 ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff == ::1 ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff == ::10 ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 162                 ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff == ::1 ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr { ::11, ::12 } ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 163                 ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff == ::2 ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff == ::9 ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 164                 ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff == ::2 ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff == ::10 ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 165                 ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff == ::2 ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr { ::11, ::12 } ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 166                 ip6 saddr { ::3, ::4 } ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff == ::9 ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 167                 ip6 saddr { ::3, ::4 } ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff == ::10 ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 168                 ip6 saddr { ::3, ::4 } ip6 saddr != { ::7, ::8 } ip6 saddr & ::ffff != ::5 ip6 saddr & ::ffff != ::6 ip6 daddr { ::11, ::12 } ip6 daddr != { ::15, ::16 } ip6 daddr & ::ffff != ::13 ip6 daddr & ::ffff != ::14 counter comment "!fw4: Mask rule #2"
 169                 ip6 saddr & ::ffff:ffff:ffff:ffff == ::1 ip6 daddr & ::ffff:ffff:ffff:ffff != ::2 counter comment "!fw4: Mask rule #3"
 170                 oifname "pppoe-wan" jump output_wan comment "!fw4: Handle wan IPv4/IPv6 output traffic"
 171                 oifname "br-lan" jump output_lan comment "!fw4: Handle lan IPv4/IPv6 output traffic"
 172                 oifname "br-guest" jump output_guest comment "!fw4: Handle guest IPv4/IPv6 output traffic"
 173         }
 174
 175         chain handle_reject {
 176                 meta l4proto tcp reject with tcp reset comment "!fw4: Reject TCP traffic"
 177                 reject with icmpx type port-unreachable comment "!fw4: Reject any other traffic"
 178         }
 179
 180         chain input_wan {
 181                 ct status dnat accept comment "!fw4: Accept port redirections"
 182                 jump drop_from_wan
 183         }
 184
 185         chain output_wan {
 186                 jump drop_to_wan
 187         }
 188
 189         chain forward_wan {
 190                 ct status dnat accept comment "!fw4: Accept port forwards"
 191                 jump drop_to_wan
 192         }
 193
 194         chain drop_from_wan {
 195                 iifname "pppoe-wan" counter drop comment "!fw4: drop wan IPv4/IPv6 traffic"
 196         }
 197
 198         chain drop_to_wan {
 199                 oifname "pppoe-wan" counter drop comment "!fw4: drop wan IPv4/IPv6 traffic"
 200         }
 201
 202         chain input_lan {
 203                 ct status dnat accept comment "!fw4: Accept port redirections"
 204                 jump drop_from_lan
 205         }
 206
 207         chain output_lan {
 208                 jump drop_to_lan
 209         }
 210
 211         chain forward_lan {
 212                 ct status dnat accept comment "!fw4: Accept port forwards"
 213                 jump drop_to_lan
 214         }
 215
 216         chain drop_from_lan {
 217                 iifname "br-lan" counter drop comment "!fw4: drop lan IPv4/IPv6 traffic"
 218         }
 219
 220         chain drop_to_lan {
 221                 oifname "br-lan" counter drop comment "!fw4: drop lan IPv4/IPv6 traffic"
 222         }
 223
 224         chain input_guest {
 225                 ct status dnat accept comment "!fw4: Accept port redirections"
 226                 jump drop_from_guest
 227         }
 228
 229         chain output_guest {
 230                 jump drop_to_guest
 231         }
 232
 233         chain forward_guest {
 234                 ct status dnat accept comment "!fw4: Accept port forwards"
 235                 jump drop_to_guest
 236         }
 237
 238         chain drop_from_guest {
 239                 iifname "br-guest" counter drop comment "!fw4: drop guest IPv4/IPv6 traffic"
 240         }
 241
 242         chain drop_to_guest {
 243                 oifname "br-guest" counter drop comment "!fw4: drop guest IPv4/IPv6 traffic"
 244         }
 245
 246
 247         #
 248         # NAT rules
 249         #
 250
 251         chain dstnat {
 252                 type nat hook prerouting priority dstnat; policy accept;
 253                 iifname "pppoe-wan" jump dstnat_wan comment "!fw4: Handle wan IPv4/IPv6 dstnat traffic"
 254                 iifname "br-lan" jump dstnat_lan comment "!fw4: Handle lan IPv4/IPv6 dstnat traffic"
 255                 iifname "br-guest" jump dstnat_guest comment "!fw4: Handle guest IPv4/IPv6 dstnat traffic"
 256         }
 257
 258         chain srcnat {
 259                 type nat hook postrouting priority srcnat; policy accept;
 260                 oifname "pppoe-wan" jump srcnat_wan comment "!fw4: Handle wan IPv4/IPv6 srcnat traffic"
 261                 oifname "br-lan" jump srcnat_lan comment "!fw4: Handle lan IPv4/IPv6 srcnat traffic"
 262                 oifname "br-guest" jump srcnat_guest comment "!fw4: Handle guest IPv4/IPv6 srcnat traffic"
 263         }
 264
 265         chain dstnat_wan {
 266                 ip6 saddr & ::ffff == ::1 ip6 daddr & ::ffff == ::9 counter dnat ::99 comment "!fw4: Mask rule #3"
 267         }
 268
 269         chain srcnat_wan {
 270                 meta nfproto ipv6 masquerade comment "!fw4: Masquerade IPv6 wan traffic"
 271         }
 272
 273         chain dstnat_lan {
 274                 ip6 saddr { 2001:db8:1000::/60, fd63:e2f:f706::/60 } ip6 daddr & ::ffff == ::9 dnat ::99 comment "!fw4: Mask rule #3 (reflection)"
 275         }
 276
 277         chain srcnat_lan {
 278                 ip6 saddr { 2001:db8:1000::/60, fd63:e2f:f706::/60 } ip6 daddr ::99 snat 2001:db8:1000:1::1 comment "!fw4: Mask rule #3 (reflection)"
 279         }
 280
 281         chain dstnat_guest {
 282                 ip6 saddr { 2001:db8:1000::/60, fd63:e2f:f706::/60 } ip6 daddr & ::ffff == ::9 dnat ::99 comment "!fw4: Mask rule #3 (reflection)"
 283         }
 284
 285         chain srcnat_guest {
 286                 ip6 saddr { 2001:db8:1000::/60, fd63:e2f:f706::/60 } ip6 daddr ::99 snat 2001:db8:1000:2::1 comment "!fw4: Mask rule #3 (reflection)"
 287         }
 288
 289
 290         #
 291         # Raw rules (notrack & helper)
 292         #
 293
 294         chain raw_prerouting {
 295                 type filter hook prerouting priority raw; policy accept;
 296         }
 297
 298         chain raw_output {
 299                 type filter hook output priority raw; policy accept;
 300         }
 301
 302
 303         #
 304         # Mangle rules
 305         #
 306
 307         chain mangle_prerouting {
 308                 type filter hook prerouting priority mangle; policy accept;
 309         }
 310
 311         chain mangle_postrouting {
 312                 type filter hook postrouting priority mangle; policy accept;
 313         }
 314
 315         chain mangle_input {
 316                 type filter hook input priority mangle; policy accept;
 317         }
 318
 319         chain mangle_output {
 320                 type filter hook output priority mangle; policy accept;
 321         }
 322
 323         chain mangle_forward {
 324                 type filter hook forward priority mangle; policy accept;
 325         }
 326 }
 327 -- End --