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         "redirect": [
  77                 {
  78                         ".description": "Ensure that masked IPs are properly handled in reflection rules",
  79                         "proto": "all",
  80                         "name": "Mask rule #3",
  81                         "src": "wan",
  82                         "dest": "lan",
  83                         "src_ip": "::1/::ffff",
  84                         "src_dip": "::9/::ffff",
  85                         "dest_ip": "::99",
  86                         "dest_port": "22",
  87                         "target": "DNAT",
  88                         "reflection_zone": [ "lan", "guest" ]
  89                 }
  90         ]
  91 }
  92 -- End --
  93
  94 -- Expect stdout --
  95 table inet fw4
  96 flush table inet fw4
  97
  98 table inet fw4 {
  99         #
 100         # Set definitions
 101         #
 102
 103
 104         #
 105         # Defines
 106         #
 107
 108         define wan_devices = { "eth1" }
 109         define wan_subnets = { 2001:db8:54:321::/64 }
 110         define lan_devices = { "br-lan" }
 111         define lan_subnets = { 10.0.0.0/24, 192.168.26.0/24, 2001:db8:1000::/60, fd63:e2f:f706::/60 }
 112         define guest_devices = { "br-guest" }
 113         define guest_subnets = { 10.1.0.0/24, 192.168.27.0/24, 2001:db8:1000::/60, fd63:e2f:f706::/60 }
 114
 115         #
 116         # User includes
 117         #
 118
 119         include "/etc/nftables.d/*.nft"
 120
 121
 122         #
 123         # Filter rules
 124         #
 125
 126         chain input {
 127                 type filter hook input priority filter; policy drop;
 128
 129                 iifname "lo" accept comment "!fw4: Accept traffic from loopback"
 130
 131                 ct state established,related accept comment "!fw4: Allow inbound established and related flows"
 132                 iifname "eth1" jump input_wan comment "!fw4: Handle wan IPv4/IPv6 input traffic"
 133                 iifname "br-lan" jump input_lan comment "!fw4: Handle lan IPv4/IPv6 input traffic"
 134                 iifname "br-guest" jump input_guest comment "!fw4: Handle guest IPv4/IPv6 input traffic"
 135         }
 136
 137         chain forward {
 138                 type filter hook forward priority filter; policy drop;
 139
 140                 ct state established,related accept comment "!fw4: Allow forwarded established and related flows"
 141                 iifname "eth1" jump forward_wan comment "!fw4: Handle wan IPv4/IPv6 forward traffic"
 142                 iifname "br-lan" jump forward_lan comment "!fw4: Handle lan IPv4/IPv6 forward traffic"
 143                 iifname "br-guest" jump forward_guest comment "!fw4: Handle guest IPv4/IPv6 forward traffic"
 144         }
 145
 146         chain output {
 147                 type filter hook output priority filter; policy drop;
 148
 149                 oifname "lo" accept comment "!fw4: Accept traffic towards loopback"
 150
 151                 ct state established,related accept comment "!fw4: Allow outbound established and related flows"
 152                 ip6 saddr & ::ffff == ::1 ip6 daddr & ::ffff != ::2 counter comment "!fw4: Mask rule #1"
 153                 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"
 154                 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"
 155                 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"
 156                 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"
 157                 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"
 158                 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"
 159                 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"
 160                 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"
 161                 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"
 162                 oifname "eth1" jump output_wan comment "!fw4: Handle wan IPv4/IPv6 output traffic"
 163                 oifname "br-lan" jump output_lan comment "!fw4: Handle lan IPv4/IPv6 output traffic"
 164                 oifname "br-guest" jump output_guest comment "!fw4: Handle guest IPv4/IPv6 output traffic"
 165         }
 166
 167         chain handle_reject {
 168                 meta l4proto tcp reject with tcp reset comment "!fw4: Reject TCP traffic"
 169                 reject with icmpx type port-unreachable comment "!fw4: Reject any other traffic"
 170         }
 171
 172         chain input_wan {
 173                 ct status dnat accept comment "!fw4: Accept port redirections"
 174                 jump drop_from_wan
 175         }
 176
 177         chain output_wan {
 178                 jump drop_to_wan
 179         }
 180
 181         chain forward_wan {
 182                 ct status dnat accept comment "!fw4: Accept port forwards"
 183                 jump drop_to_wan
 184         }
 185
 186         chain drop_from_wan {
 187                 iifname "eth1" counter drop comment "!fw4: drop wan IPv4/IPv6 traffic"
 188         }
 189
 190         chain drop_to_wan {
 191                 oifname "eth1" counter drop comment "!fw4: drop wan IPv4/IPv6 traffic"
 192         }
 193
 194         chain input_lan {
 195                 ct status dnat accept comment "!fw4: Accept port redirections"
 196                 jump drop_from_lan
 197         }
 198
 199         chain output_lan {
 200                 jump drop_to_lan
 201         }
 202
 203         chain forward_lan {
 204                 ct status dnat accept comment "!fw4: Accept port forwards"
 205                 jump drop_to_lan
 206         }
 207
 208         chain drop_from_lan {
 209                 iifname "br-lan" counter drop comment "!fw4: drop lan IPv4/IPv6 traffic"
 210         }
 211
 212         chain drop_to_lan {
 213                 oifname "br-lan" counter drop comment "!fw4: drop lan IPv4/IPv6 traffic"
 214         }
 215
 216         chain input_guest {
 217                 ct status dnat accept comment "!fw4: Accept port redirections"
 218                 jump drop_from_guest
 219         }
 220
 221         chain output_guest {
 222                 jump drop_to_guest
 223         }
 224
 225         chain forward_guest {
 226                 ct status dnat accept comment "!fw4: Accept port forwards"
 227                 jump drop_to_guest
 228         }
 229
 230         chain drop_from_guest {
 231                 iifname "br-guest" counter drop comment "!fw4: drop guest IPv4/IPv6 traffic"
 232         }
 233
 234         chain drop_to_guest {
 235                 oifname "br-guest" counter drop comment "!fw4: drop guest IPv4/IPv6 traffic"
 236         }
 237
 238
 239         #
 240         # NAT rules
 241         #
 242
 243         chain dstnat {
 244                 type nat hook prerouting priority dstnat; policy accept;
 245                 iifname "eth1" jump dstnat_wan comment "!fw4: Handle wan IPv4/IPv6 dstnat traffic"
 246                 iifname "br-lan" jump dstnat_lan comment "!fw4: Handle lan IPv4/IPv6 dstnat traffic"
 247                 iifname "br-guest" jump dstnat_guest comment "!fw4: Handle guest IPv4/IPv6 dstnat traffic"
 248         }
 249
 250         chain srcnat {
 251                 type nat hook postrouting priority srcnat; policy accept;
 252                 oifname "eth1" jump srcnat_wan comment "!fw4: Handle wan IPv4/IPv6 srcnat traffic"
 253                 oifname "br-lan" jump srcnat_lan comment "!fw4: Handle lan IPv4/IPv6 srcnat traffic"
 254                 oifname "br-guest" jump srcnat_guest comment "!fw4: Handle guest IPv4/IPv6 srcnat traffic"
 255         }
 256
 257         chain dstnat_wan {
 258                 ip6 saddr & ::ffff == ::1 ip6 daddr & ::ffff == ::9 counter dnat ::99 comment "!fw4: Mask rule #3"
 259         }
 260
 261         chain srcnat_wan {
 262                 meta nfproto ipv6 masquerade comment "!fw4: Masquerade IPv6 wan traffic"
 263         }
 264
 265         chain dstnat_lan {
 266                 ip6 saddr { 2001:db8:1000::/60, fd63:e2f:f706::/60 } ip6 daddr & ::ffff == ::9 dnat ::99 comment "!fw4: Mask rule #3 (reflection)"
 267         }
 268
 269         chain srcnat_lan {
 270                 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)"
 271         }
 272
 273         chain dstnat_guest {
 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_guest {
 278                 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)"
 279         }
 280
 281
 282         #
 283         # Raw rules (notrack & helper)
 284         #
 285
 286         chain raw_prerouting {
 287                 type filter hook prerouting priority raw; policy accept;
 288         }
 289
 290         chain raw_output {
 291                 type filter hook output priority raw; policy accept;
 292         }
 293
 294
 295         #
 296         # Mangle rules
 297         #
 298
 299         chain mangle_prerouting {
 300                 type filter hook prerouting priority mangle; policy accept;
 301         }
 302
 303         chain mangle_postrouting {
 304                 type filter hook postrouting priority mangle; policy accept;
 305         }
 306
 307         chain mangle_input {
 308                 type filter hook input priority mangle; policy accept;
 309         }
 310
 311         chain mangle_output {
 312                 type filter hook output priority mangle; policy accept;
 313         }
 314
 315         chain mangle_forward {
 316                 type filter hook forward priority mangle; policy accept;
 317         }
 318 }
 319 -- End --