-{%
+const fs = require("fs");
+const uci = require("uci");
+const ubus = require("ubus");
-let fs = require("fs");
-let uci = require("uci");
-let ubus = require("ubus");
+const STATEFILE = "/var/run/fw4.state";
-let STATEFILE = "/var/run/fw4.state";
+const PARSE_LIST = 0x01;
+const FLATTEN_LIST = 0x02;
+const NO_INVERT = 0x04;
+const UNSUPPORTED = 0x08;
+const REQUIRED = 0x10;
+const DEPRECATED = 0x20;
-let PARSE_LIST = 0x01;
-let FLATTEN_LIST = 0x02;
-let NO_INVERT = 0x04;
-let UNSUPPORTED = 0x08;
-let REQUIRED = 0x10;
-let DEPRECATED = 0x20;
-
-let ipv4_icmptypes = {
+const ipv4_icmptypes = {
"any": [ 0xFF, 0, 0xFF ],
"echo-reply": [ 0, 0, 0xFF ],
"pong": [ 0, 0, 0xFF ], /* Alias */
"address-mask-reply": [ 18, 0, 0xFF ]
};
-let ipv6_icmptypes = {
+const ipv6_icmptypes = {
"destination-unreachable": [ 1, 0, 0xFF ],
"no-route": [ 1, 0, 0 ],
"communication-prohibited": [ 1, 1, 1 ],
"redirect": [ 137, 0, 0xFF ]
};
-let dscp_classes = {
+const dscp_classes = {
"CS0": 0x00,
"CS1": 0x08,
"CS2": 0x10,
"CS6": 0x30,
"CS7": 0x38,
"BE": 0x00,
+ "LE": 0x01,
"AF11": 0x0a,
"AF12": 0x0c,
"AF13": 0x0e,
};
function to_mask(bits, v6) {
- let m = [];
+ let m = [], n = false;
+
+ if (bits < 0) {
+ n = true;
+ bits = -bits;
+ }
- if (bits < 0 || bits > (v6 ? 128 : 32))
+ if (bits > (v6 ? 128 : 32))
return null;
for (let i = 0; i < (v6 ? 16 : 4); i++) {
let b = (bits < 8) ? bits : 8;
- m[i] = (0xff << (8 - b)) & 0xff;
+ m[i] = (n ? ~(0xff << (8 - b)) : (0xff << (8 - b))) & 0xff;
bits -= b;
}
let bits = 0;
for (let i = 0, z = false; i < length(a); i++) {
- z = z || !a[i];
+ z ||= !a[i];
while (!z && (a[i] & 0x80)) {
a[i] = (a[i] << 1) & 0xff;
return length(rv) ? rv : null;
}
+function null_if_empty(x) {
+ return length(x) ? x : null;
+}
+
function subnets_split_af(x) {
- let rv = [];
+ let rv = {};
for (let ag in to_array(x)) {
- for (let a in filter(ag.addrs, a => (a.family == 4))) {
- rv[0] = rv[0] || [];
- push(rv[0], { ...a, invert: ag.invert });
- }
+ for (let a in filter(ag.addrs, a => (a.family == 4)))
+ push(rv[0] ||= [], { ...a, invert: ag.invert });
- for (let a in filter(ag.addrs, a => (a.family == 6))) {
- rv[1] = rv[1] || [];
- push(rv[1], { ...a, invert: ag.invert });
- }
+ for (let a in filter(ag.addrs, a => (a.family == 6)))
+ push(rv[1] ||= [], { ...a, invert: ag.invert });
}
+ if (rv[0] || rv[1])
+ rv.family = (!rv[0] ^ !rv[1]) ? (rv[0] ? 4 : 6) : 0;
+
return rv;
}
+function subnets_group_by_masking(x) {
+ let groups = [], plain = [], nc = [], invert_plain = [], invert_masked = [];
+
+ for (let a in to_array(x)) {
+ if (a.bits == -1 && !a.invert)
+ push(nc, a);
+ else if (!a.invert)
+ push(plain, a);
+ else if (a.bits == -1)
+ push(invert_masked, a);
+ else
+ push(invert_plain, a);
+ }
+
+ for (let a in nc)
+ push(groups, [ null, null_if_empty(invert_plain), [ a, ...invert_masked ] ]);
+
+ if (length(plain)) {
+ push(groups, [
+ plain,
+ null_if_empty(invert_plain),
+ null_if_empty(invert_masked)
+ ]);
+ }
+ else if (!length(groups)) {
+ push(groups, [
+ null,
+ null_if_empty(invert_plain),
+ null_if_empty(invert_masked)
+ ]);
+ }
+
+ return groups;
+}
+
function ensure_tcpudp(x) {
if (length(filter(x, p => (p.name == "tcp" || p.name == "udp"))))
return true;
return false;
}
-let is_family = (x, v) => (x.family == 0 || x.family == v);
-let family_is_ipv4 = (x) => (x.family == 0 || x.family == 4);
-let family_is_ipv6 = (x) => (x.family == 0 || x.family == 6);
+let is_family = (x, v) => (!x.family || x.family == v);
+let family_is_ipv4 = (x) => (!x.family || x.family == 4);
+let family_is_ipv6 = (x) => (!x.family || x.family == 6);
function infer_family(f, objects) {
let res = f;
desc = objects[i + 1];
for (let obj in objs) {
- if (!obj || obj.family == 0 || obj.family == res)
+ if (!obj || !obj.family || obj.family == res)
continue;
- if (res == 0) {
+ if (!res) {
res = obj.family;
by = obj.desc;
continue;
}
return by
- ? sprintf('references IPv%d only %s but is restricted to IPv%d by %s', obj.family, desc, res, by)
- : sprintf('is restricted to IPv%d but referenced %s is IPv%d only', res, desc, obj.family);
+ ? `references IPv${obj.family} only ${desc} but is restricted to IPv${res} by ${by}`
+ : `is restricted to IPv${res} but referenced ${desc} is IPv${obj.family} only`;
}
}
let fields = [];
for (let i, t in set.types) {
- let dir = (((match.dir && match.dir[i]) || set.directions[i] || 'src') == 'src' ? 's' : 'd');
+ let dir = ((match.dir?.[i] || set.directions[i] || 'src') == 'src' ? 's' : 'd');
switch (t) {
case 'ipv4_addr':
- fields[i] = sprintf('ip %saddr', dir);
+ fields[i] = `ip ${dir}addr`;
break;
case 'ipv6_addr':
- fields[i] = sprintf('ip6 %saddr', dir);
+ fields[i] = `ip6 ${dir}addr`;
break;
case 'ether_addr':
break;
case 'inet_service':
- fields[i] = sprintf('%s %sport', proto, dir);
+ fields[i] = `${proto} ${dir}port`;
break;
}
}
return fields;
}
+function resolve_lower_devices(devstatus, devname, require_hwoffload) {
+ let dir = fs.opendir(`/sys/class/net/${devname}`);
+ let devs = [];
+
+ if (dir) {
+ switch (devstatus[devname]?.devtype) {
+ case 'vlan':
+ case 'bridge':
+ let e;
+
+ while ((e = dir.read()) != null)
+ if (index(e, "lower_") === 0)
+ push(devs, ...resolve_lower_devices(devstatus, substr(e, 6), require_hwoffload));
+
+ break;
+
+ default:
+ if (!require_hwoffload || devstatus[devname]?.["hw-tc-offload"])
+ push(devs, devname);
+
+ break;
+ }
+
+ dir.close();
+ }
+
+ return devs;
+}
+
+function nft_json_command(...args) {
+ let cmd = [ "/usr/sbin/nft", "--terse", "--json", ...args ];
+ let nft = fs.popen(join(" ", cmd), "r");
+ let info;
+
+ if (nft) {
+ try {
+ info = filter(json(nft.read("all"))?.nftables,
+ item => (type(item) == "object" && !item.metainfo));
+ }
+ catch (e) {
+ warn(`Unable to parse nftables JSON output: ${e}\n`);
+ }
+
+ nft.close();
+ }
+ else {
+ warn(`Unable to popen() ${cmd}: ${fs.error()}\n`);
+ }
+
+ return info || [];
+}
+
+function nft_try_hw_offload(devices) {
+ let nft_test = `
+ add table inet fw4-hw-offload-test;
+ add flowtable inet fw4-hw-offload-test ft {
+ hook ingress priority 0;
+ devices = { "${join('", "', devices)}" };
+ flags offload;
+ }
+ `;
+
+ let rc = system(`/usr/sbin/nft -c '${replace(nft_test, "'", "'\\''")}' 2>/dev/null`);
+
+ return (rc == 0);
+}
+
return {
read_kernel_version: function() {
return v;
},
+ resolve_offload_devices: function() {
+ if (!this.default_option("flow_offloading"))
+ return [];
+
+ let devstatus = null;
+ let devices = [];
+ let bus = ubus.connect();
+
+ if (bus) {
+ devstatus = bus.call("network.device", "status") || {};
+ bus.disconnect();
+ }
+
+ if (this.default_option("flow_offloading_hw")) {
+ for (let zone in this.zones())
+ for (let device in zone.related_physdevs)
+ push(devices, ...resolve_lower_devices(devstatus, device, true));
+
+ devices = sort(uniq(devices));
+
+ if (length(devices) && nft_try_hw_offload(devices))
+ return devices;
+
+ this.warn('Hardware flow offloading unavailable, falling back to software offloading');
+ this.state.defaults.flow_offloading_hw = false;
+
+ devices = [];
+ }
+
+ for (let zone in this.zones())
+ for (let device in zone.related_physdevs)
+ push(devices, ...resolve_lower_devices(devstatus, device, false));
+
+ return sort(uniq(devices));
+ },
+
+ check_set_types: function() {
+ let sets = {};
+
+ for (let item in nft_json_command("list", "sets", "inet"))
+ if (item.set?.table == "fw4")
+ sets[item.set.name] = (type(item.set.type) == "array") ? item.set.type : [ item.set.type ];
+
+ return sets;
+ },
+
+ check_flowtable: function() {
+ for (let item in nft_json_command("list", "flowtables", "inet"))
+ if (item.flowtable?.table == "fw4" && item.flowtable?.name == "ft")
+ return true;
+
+ return false;
+ },
+
read_state: function() {
let fd = fs.open(STATEFILE, "r");
let state = null;
state = json(fd.read("all"));
}
catch (e) {
- warn(sprintf("Unable to parse '%s': %s\n", STATEFILE, e));
+ warn(`Unable to parse '${STATEFILE}': ${e}\n`);
}
fd.close();
bus.disconnect();
}
else {
- warn(sprintf("Unable to connect to ubus: %s\n", ubus.error()));
+ warn(`Unable to connect to ubus: ${ubus.error()}\n`);
}
// Gather logical network information from ubus
//
- if (type(ifaces) == "object" && type(ifaces.interface) == "array") {
+ if (type(ifaces?.interface) == "array") {
for (let ifc in ifaces.interface) {
let net = {
up: ifc.up,
- device: ifc.l3_device
+ device: ifc.l3_device ?? ifc.device,
+ physdev: ifc.device,
+ zone: ifc.data?.zone
};
if (type(ifc["ipv4-address"]) == "array") {
for (let addr in ifc["ipv4-address"]) {
- net.ipaddrs = net.ipaddrs || [];
- push(net.ipaddrs, {
+ push(net.ipaddrs ||= [], {
family: 4,
addr: addr.address,
mask: to_mask(addr.mask, false),
if (type(ifc["ipv6-address"]) == "array") {
for (let addr in ifc["ipv6-address"]) {
- net.ipaddrs = net.ipaddrs || [];
- push(net.ipaddrs, {
+ push(net.ipaddrs ||= [], {
family: 6,
addr: addr.address,
mask: to_mask(addr.mask, true),
if (type(ifc["ipv6-prefix-assignment"]) == "array") {
for (let addr in ifc["ipv6-prefix-assignment"]) {
if (addr["local-address"]) {
- net.ipaddrs = net.ipaddrs || [];
- push(net.ipaddrs, {
+ push(net.ipaddrs ||= [], {
family: 6,
addr: addr["local-address"].address,
mask: to_mask(addr["local-address"].mask, true),
}
}
- if (type(ifc.data) == "object" && type(ifc.data.firewall) == "array") {
+ if (type(ifc.data?.firewall) == "array") {
let n = 0;
for (let rulespec in ifc.data.firewall) {
push(rules, {
...rulespec,
- name: (rulespec.type != 'ipset') ? sprintf('ubus:%s[%s] %s %d', ifc.interface, ifc.proto, rulespec.type || 'rule', n) : rulespec.name,
- device: rulespec.device || ifc.l3_device
+ name: (rulespec.type != 'ipset') ? `ubus:${ifc.interface}[${ifc.proto}] ${rulespec.type || 'rule'} ${n}` : rulespec.name,
+ device: rulespec.device ?? ifc.l3_device ?? ifc.device
});
n++;
if (type(services) == "object") {
for (let svcname, service in services) {
- if (type(service) == "object" && type(service.firewall) == "array") {
+ if (type(service?.firewall) == "array") {
let n = 0;
for (let rulespec in services[svcname].firewall) {
push(rules, {
...rulespec,
- name: (rulespec.type != 'ipset') ? sprintf('ubus:%s %s %d', svcname, rulespec.type || 'rule', n) : rulespec.name
+ name: (rulespec.type != 'ipset') ? `ubus:${svcname} ${rulespec.type || 'rule'} ${n}` : rulespec.name
});
n++;
}
for (let svcinst, instance in service) {
- if (type(instance) == "object" && type(instance.firewall) == "array") {
+ if (type(instance?.firewall) == "array") {
let n = 0;
for (let rulespec in instance.firewall) {
push(rules, {
...rulespec,
- name: (rulespec.type != 'ipset') ? sprintf('ubus:%s[%s] %s %d', svcname, svcinst, rulespec.type || 'rule', n) : rulespec.name
+ name: (rulespec.type != 'ipset') ? `ubus:${svcname}[${svcinst}] ${rulespec.type || 'rule'} ${n}` : rulespec.name
});
n++;
//
- // Build list of forwardings
+ // Build list of rules
//
- this.cursor.foreach("firewall", "forwarding", f => self.parse_forwarding(f));
+ map(filter(this.state.ubus_rules, r => (r.type == "rule")), r => self.parse_rule(r));
+ this.cursor.foreach("firewall", "rule", r => self.parse_rule(r));
//
- // Build list of rules
+ // Build list of forwardings
//
- map(filter(this.state.ubus_rules, r => (r.type == "rule")), r => self.parse_rule(r));
- this.cursor.foreach("firewall", "rule", r => self.parse_rule(r));
+ this.cursor.foreach("firewall", "forwarding", f => self.parse_forwarding(f));
//
this.cursor.foreach("firewall", "nat", n => self.parse_nat(n));
+ //
+ // Build list of includes
+ //
+
+ this.cursor.foreach("firewall", "include", i => self.parse_include(i));
+
+
+ //
+ // Discover automatic includes
+ //
+
+ if (this.default_option("auto_includes")) {
+ for (let position in [ 'ruleset-pre', 'ruleset-post', 'table-pre', 'table-post', 'chain-pre', 'chain-post' ])
+ for (let chain in (position in [ 'chain-pre', 'chain-post' ]) ? fs.lsdir(`/usr/share/nftables.d/${position}`) : [ null ])
+ for (let path in fs.glob(`/usr/share/nftables.d/${position}${chain ? `/${chain}` : ''}/*.nft`))
+ if (fs.access(path))
+ this.parse_include({ type: 'nftables', position, chain, path });
+ }
+
+
if (use_statefile) {
let fd = fs.open(STATEFILE, "w");
zones: this.state.zones,
ipsets: this.state.ipsets,
networks: this.state.networks,
- ubus_rules: this.state.ubus_rules
+ ubus_rules: this.state.ubus_rules,
+ includes: this.state.includes
});
fd.close();
}
else {
- warn("Unable to write '%s': %s\n", STATEFILE, fs.error());
+ warn(`Unable to write '${STATEFILE}': ${fs.error()}\n`);
}
}
},
let msg = sprintf(fmt, ...args);
if (getenv("TTY"))
- warn("\033[33m", msg, "\033[m\n");
+ warn(`\033[33m${msg}\033[m\n`);
else
- warn("[!] ", msg, "\n");
+ warn(`[!] ${msg}\n`);
},
get: function(sid, opt) {
let rv = {};
for (let key, val in spec) {
- let datatype = "parse_" + val[0],
+ let datatype = `parse_${val[0]}`,
defval = val[1],
flags = val[2] || 0,
parsefn = (flags & PARSE_LIST) ? "parse_list" : "parse_opt";
return false;
if (type(res) == "object" && res.invert && (flags & NO_INVERT)) {
- this.warn_section(s, "option '" + key + '" must not be negated');
+ this.warn_section(s, `option '${key}' must not be negated`);
return false;
}
if (res != null) {
if (flags & DEPRECATED)
- this.warn_section(s, "option '" + key + "' is deprecated by fw4");
+ this.warn_section(s, `option '${key}' is deprecated by fw4`);
else if (flags & UNSUPPORTED)
- this.warn_section(s, "option '" + key + "' is not supported by fw4");
+ this.warn_section(s, `option '${key}' is not supported by fw4`);
else
rv[key] = res;
}
for (let opt in s) {
if (index(opt, '.') != 0 && opt != 'type' && !exists(spec, opt)) {
- this.warn_section(s, "specifies unknown option '" + opt + "'");
- return false;
+ this.warn_section(s, `specifies unknown option '${opt}'`);
}
}
b = to_bits(parts[1]);
- if (b == null)
- return null;
+ /* allow non-contiguous masks such as `::ffff:ffff:ffff:ffff` */
+ if (b == null) {
+ b = -1;
+
+ for (let i, x in m)
+ a[i] &= x;
+ }
m = arrtoip(m);
}
return null;
m = to_mask(b, length(a) == 16);
+ b = max(-1, b);
}
return [{
val = lc(val);
for (let i = 0; i < length(choices); i++)
- if (substr(choices[i], 0, length(val)) == val)
+ if (lc(substr(choices[i], 0, length(val))) == val)
return choices[i];
}
c++;
});
- return sprintf("@%s[%d]", s[".type"], c);
+ return `@${s['.type']}[${c}]`;
}
return s[".name"];
parse_direction: function(val) {
if (val == 'in' || val == 'ingress')
- return true;
- else if (val == 'out' || val == 'egress')
return false;
+ else if (val == 'out' || val == 'egress')
+ return true;
return null;
},
let dir = split(rv.val, /[ \t,]/);
for (let i = 0; i < 3 && i < length(dir); i++) {
- if (dir[i] == "dst" || dir[i] == "dest") {
- rv.dir = rv.dir || [];
- rv.dir[i] = "dst";
- }
- else if (dir[i] == "src") {
- rv.dir = rv.dir || [];
- rv.dir[i] = "src";
- }
+ if (dir[i] == "dst" || dir[i] == "dest")
+ (rv.dir ||= [])[i] = "dst";
+ else if (dir[i] == "src")
+ (rv.dir ||= [])[i] = "src";
}
return length(rv.name) ? rv : null;
if (!rv)
return null;
- let helper = filter(this.state.helpers, h => (h.name == rv.val))[0];
+ let helper = filter(this.state.helpers, h => (h.name == rv.val))?.[0];
return helper ? { ...rv, ...helper } : null;
},
let nets = this.parse_subnet(rv.val);
if (nets === null)
- return false;
+ return null;
if (length(nets))
rv.addrs = [ ...nets ];
},
parse_date: function(val) {
- let m = match(val, /^([0-9-]+)T([0-9:]+)$/);
- let d = m ? match(m[1], /^([0-9]{1,4})(-([0-9]{1,2})(-([0-9]{1,2}))?)?$/) : null;
- let t = this.parse_time(m[2]);
-
- d[3] = d[3] || 1;
- d[5] = d[5] || 1;
+ let d = match(val, /^([0-9]{4})(-([0-9]{1,2})(-([0-9]{1,2})(T([0-9:]+))?)?)?$/);
- if (d == null || d[1] < 1970 || d[1] > 2038 || d[3] < 1 || d[3] > 12 || d[5] < 1 || d[5] > 31)
+ if (d == null || d[1] < 1970 || d[1] > 2038 || d[3] > 12 || d[5] > 31)
return null;
- if (m[2] && !t)
+ let t = this.parse_time(d[7] ?? "0");
+
+ if (t == null)
return null;
return {
year: +d[1],
- month: +d[3],
- day: +d[5],
- hour: t ? +t[1] : 0,
- min: t ? +t[3] : 0,
- sec: t ? +t[5] : 0
+ month: +d[3] || 1,
+ day: +d[5] || 1,
+ ...t
};
},
for (let day in to_array(rv.val)) {
day = this.parse_enum(day, [
- "monday",
- "tuesday",
- "wednesday",
- "thursday",
- "friday",
- "saturday",
- "sunday"
+ "Monday",
+ "Tuesday",
+ "Wednesday",
+ "Thursday",
+ "Friday",
+ "Saturday",
+ "Sunday"
]);
if (!day)
return null;
- rv.days = rv.days || {};
- rv.days[day] = true;
+ (rv.days ||= {})[day] = true;
}
rv.days = keys(rv.days);
if (day < 1 || day > 31)
return null;
- rv.days = rv.days || [];
- rv.days[day] = true;
+ (rv.days ||= [])[day] = true;
}
return rv.days ? rv : null;
rv.dscp = dscp_classes[rv.val];
}
else {
- let n = +val;
+ let n = +rv.val;
if (n != n || n < 0 || n > 0x3F)
return null;
for (let i, t in set.types) {
switch (t) {
case 'ipv4_addr':
- ip = iptoarr(values[i]);
+ ip = filter(this.parse_subnet(values[i]), a => (a.family == 4));
- if (length(ip) != 4)
- return null;
+ switch (length(ip) ?? 0) {
+ case 0: return null;
+ case 1: break;
+ default: this.warn("Set entry '%s' resolves to multiple addresses, using first one", values[i]);
+ }
- rv[i] = arrtoip(ip);
+ rv[i] = ("net" in set.fw4types) ? `${ip[0].addr}/${ip[0].bits}` : ip[0].addr;
break;
case 'ipv6_addr':
- ip = iptoarr(values[i]);
+ ip = filter(this.parse_subnet(values[i]), a => (a.family == 6));
- if (length(ip) != 16)
- return null;
+ switch (length(ip) ?? 0) {
+ case 0: return null;
+ case 1: break;
+ case 2: this.warn("Set entry '%s' resolves to multiple addresses, using first one", values[i]);
+ }
+
+ rv[i] = ("net" in set.fw4types) ? `${ip[0].addr}/${ip[0].bits}` : ip[0].addr;
- rv[i] = arrtoip(ip);
break;
case 'ether_addr':
return length(rv) ? rv : null;
},
+ parse_includetype: function(val) {
+ return this.parse_enum(val, [
+ "script",
+ "nftables"
+ ]);
+ },
+
+ parse_includeposition: function(val) {
+ return replace(this.parse_enum(val, [
+ "ruleset-prepend",
+ "ruleset-postpend",
+ "ruleset-append",
+
+ "table-prepend",
+ "table-postpend",
+ "table-append",
+
+ "chain-prepend",
+ "chain-postpend",
+ "chain-append"
+ ]), "postpend", "append");
+ },
+
parse_string: function(val) {
return "" + val;
},
if (val === null) {
if (flags & REQUIRED) {
- this.warn_section(s, "option '" + opt + "' is mandatory but not set");
+ this.warn_section(s, `option '${opt}' is mandatory but not set`);
return NaN;
}
}
if (type(val) == "array") {
- this.warn_section(s, "option '" + opt + "' must not be a list");
+ this.warn_section(s, `option '${opt}' must not be a list`);
return NaN;
}
else if (val == null) {
let res = this[fn](val);
if (res === null) {
- this.warn_section(s, "option '" + opt + "' specifies invalid value '" + val + "'");
+ this.warn_section(s, `option '${opt}' specifies invalid value '${val}'`);
return NaN;
}
if (val == null) {
if (flags & REQUIRED) {
- this.warn_section(s, "option '" + opt + "' is mandatory but not set");
+ this.warn_section(s, `option '${opt}' is mandatory but not set`);
return NaN;
}
let res = this[fn](val);
if (res === null) {
- this.warn_section(s, "option '" + opt + "' specifies invalid value '" + val + "'");
+ this.warn_section(s, `option '${opt}' specifies invalid value '${val}'`);
return NaN;
}
quote: function(s, force) {
if (force === true || !match(s, /^([0-9A-Fa-f:.\/-]+)( \. [0-9A-Fa-f:.\/-]+)*$/))
- return sprintf('"%s"', replace(s + "", /(["\\])/g, '\\$1'));
+ return `"${replace(s + "", /(["\\])/g, '\\$1')}"`;
return s;
},
cidr: function(a) {
if (a.range)
- return sprintf("%s-%s", a.addr, a.addr2);
+ return `${a.addr}-${a.addr2}`;
if ((a.family == 4 && a.bits == 32) ||
(a.family == 6 && a.bits == 128))
return a.addr;
- return sprintf("%s/%d", apply_mask(a.addr, a.bits), a.bits);
+ if (a.bits >= 0)
+ return `${apply_mask(a.addr, a.bits)}/${a.bits}`;
+
+ return `${a.addr}/${a.mask}`;
},
- host: function(a) {
+ host: function(a, v6brackets) {
return a.range
- ? sprintf("%s-%s", a.addr, a.addr2)
- : apply_mask(a.addr, a.bits);
+ ? `${a.addr}-${a.addr2}`
+ : (a.family == 6 && v6brackets)
+ ? `[${apply_mask(a.addr, a.bits)}]` : apply_mask(a.addr, a.bits);
},
port: function(p) {
if (p.min == p.max)
- return sprintf('%d', p.min);
+ return `${p.min}`;
- return sprintf('%d-%d', p.min, p.max);
+ return `${p.min}-${p.max}`;
},
set: function(v, force) {
v = filter(to_array(v), item => !seen[item]++);
if (force || length(v) != 1)
- return sprintf('{ %s }', join(', ', map(v, this.quote)));
+ return `{ ${join(', ', map(v, this.quote))} }`;
return this.quote(v[0]);
},
}
},
+ l4proto: function(family, proto) {
+ switch (proto.name) {
+ case 'icmp':
+ switch (family ?? 0) {
+ case 0:
+ return this.set(['icmp', 'ipv6-icmp']);
+
+ case 6:
+ return 'ipv6-icmp';
+ }
+
+ default:
+ return proto.name;
+ }
+ },
+
datetime: function(stamp) {
return sprintf('"%04d-%02d-%02d %02d:%02d:%02d"',
stamp.year, stamp.month, stamp.day,
return sprintf('"%04d-%02d-%02d"', stamp.year, stamp.month, stamp.day);
},
+ datestamp: function(stamp) {
+ return exists(stamp, 'hour') ? this.datetime(stamp) : this.date(stamp);
+ },
+
time: function(stamp) {
return sprintf('"%02d:%02d:%02d"', stamp.hour, stamp.min, stamp.sec);
},
},
is_loopback_dev: function(dev) {
- let fd = fs.open(sprintf("/sys/class/net/%s/flags", dev), "r");
-
- if (!fd)
- return false;
-
- let flags = +fd.read("line");
-
- fd.close();
-
- return !!(flags & 0x8);
+ return !!(+fs.readfile(`/sys/class/net/${dev}/flags`) & 0x8);
},
is_loopback_addr: function(addr) {
},
filter_loopback_devs: function(devs, invert) {
- let self = this;
- return filter(devs, d => (self.is_loopback_dev(d) == invert));
+ return null_if_empty(filter(devs, d => (this.is_loopback_dev(d) == invert)));
},
filter_loopback_addrs: function(addrs, invert) {
- let self = this;
- return filter(addrs, a => (self.is_loopback_addr(a) == invert));
+ return null_if_empty(filter(addrs, a => (this.is_loopback_addr(a) == invert)));
},
return this.state.ipsets;
},
+ includes: function(position, chain) {
+ let stmts = [];
+ let pad = '';
+ let pre = '';
+
+ switch (position) {
+ case 'table-prepend':
+ case 'table-append':
+ pad = '\t';
+ pre = '\n';
+ break;
+
+ case 'chain-prepend':
+ case 'chain-append':
+ pad = '\t\t';
+ break;
+
+ default:
+ pre = '\n';
+ }
+
+ push(stmts, pre);
+
+ for (let inc in this.state.includes)
+ if (inc.type == 'nftables' && inc.position == position && (!chain || inc.chain == chain))
+ push(stmts, `${pad}include "${inc.path}"\n`);
+
+ print(length(stmts) > 1 ? join('', stmts) : '');
+ },
+
parse_setfile: function(set, cb) {
let fd = fs.open(set.loadfile, "r");
if (!fd) {
- warn(sprintf("Unable to load file '%s' for set '%s': %s\n",
- set.loadfile, set.name, fs.error()));
+ warn(`Unable to load file '${set.loadfile}' for set '${set.name}': ${fs.error()}\n`);
return;
}
let v = this.parse_ipsetentry(line, set);
if (!v) {
- this.warn("Skipping invalid entry '%s' in file '%s' for set '%s'",
- line, set.loadfile, set.name);
+ this.warn(`Skipping invalid entry '${line}' in file '${set.loadfile}' for set '${set.name}'`);
continue;
}
return;
}
- helper.available = ((fs.stat("/sys/module/" + helper.module) || {}).type == "directory");
+ helper.available = (fs.stat(`/sys/module/${helper.module}`)?.type == "directory");
- this.state.helpers = this.state.helpers || [];
- push(this.state.helpers, helper);
+ push(this.state.helpers ||= [], helper);
},
parse_defaults: function(data) {
custom_chains: [ "bool", null, UNSUPPORTED ],
disable_ipv6: [ "bool", null, UNSUPPORTED ],
flow_offloading: [ "bool", "0" ],
- flow_offloading_hw: [ "bool", "0" ]
+ flow_offloading_hw: [ "bool", "0" ],
+
+ auto_includes: [ "bool", "1" ]
});
if (defs.synflood_protect === null)
masq_src: [ "network", null, PARSE_LIST ],
masq_dest: [ "network", null, PARSE_LIST ],
+ masq6: [ "bool" ],
+
extra: [ "string", null, UNSUPPORTED ],
extra_src: [ "string", null, UNSUPPORTED ],
extra_dest: [ "string", null, UNSUPPORTED ],
this.warn_section(data, "is disabled, ignoring section");
return;
}
- else if (zone.helper && !zone.helper.available) {
- this.warn_section(data, "uses unavailable ct helper '" + zone.helper.name + "', ignoring section");
- return;
+
+ for (let helper in zone.helper) {
+ if (!helper.available) {
+ this.warn_section(data, `uses unavailable ct helper '${zone.helper.name}'`);
+ }
}
if (zone.mtu_fix && this.kernel < 0x040a0000) {
return;
}
- if (this.state.defaults && this.state.defaults.auto_helper === false)
+ if (this.state.defaults?.auto_helper === false)
zone.auto_helper = false;
let match_devices = [];
+ let related_physdevs = [];
let related_subnets = [];
+ let related_ubus_networks = [];
let match_subnets, masq_src_subnets, masq_dest_subnets;
- for (let e in to_array(zone.network)) {
+ for (let name, net in this.state.networks) {
+ if (net.zone === zone.name)
+ push(related_ubus_networks, { invert: false, device: name });
+ }
+
+ zone.network = [ ...to_array(zone.network), ...related_ubus_networks ];
+
+ for (let e in zone.network) {
if (exists(this.state.networks, e.device)) {
let net = this.state.networks[e.device];
});
}
+ if (net.physdev && !e.invert)
+ push(related_physdevs, net.physdev);
+
push(related_subnets, ...(net.ipaddrs || []));
}
}
r.family = family;
- r.devices_pos = map(filter_pos(devices), d => d.device);
- r.devices_neg = map(filter_neg(devices), d => d.device);
+ r.devices_pos = null_if_empty(devices[0]);
+ r.devices_neg = null_if_empty(devices[1]);
+ r.devices_neg_wildcard = null_if_empty(devices[2]);
- r.subnets_pos = map(filter_pos(subnets), this.cidr);
- r.subnets_neg = map(filter_neg(subnets), this.cidr);
+ r.subnets_pos = map(subnets[0], this.cidr);
+ r.subnets_neg = map(subnets[1], this.cidr);
+ r.subnets_masked = subnets[2];
push(match_rules, r);
};
let family = infer_family(zone.family, [
- zone.helper, "ct helper"
+ match_subnets, "subnet list"
]);
- // check if there's no AF specific bits, in this case we can do AF agnostic matching
- if (!family && length(match_devices) && !length(match_subnets[0]) && !length(match_subnets[1])) {
- add_rule(0, match_devices, null, zone);
+ if (type(family) == "string") {
+ this.warn_section(data, `${family}, skipping`);
+ return;
}
- // we need to emit one or two AF specific rules
- else {
- if (family_is_ipv4(zone) && (length(match_devices) || length(match_subnets[0])))
- add_rule(4, match_devices, match_subnets[0], zone);
+ // group non-inverted device matches into wildcard and non-wildcard ones
+ let devices = [], plain_devices = [], plain_invert_devices = [], wildcard_invert_devices = [];
- if (family_is_ipv6(zone) && (length(match_devices) || length(match_subnets[1])))
- add_rule(6, match_devices, match_subnets[1], zone);
- }
+ for (let device in match_devices) {
+ let m = match(device.device, /^([^+]*)(\+)?$/);
- zone.match_rules = match_rules;
+ if (!m) {
+ this.warn_section(data, `skipping invalid wildcard pattern '${device.device}'`);
+ continue;
+ }
- if (masq_src_subnets[0]) {
- zone.masq4_src_pos = map(filter_pos(masq_src_subnets[0]), this.cidr);
- zone.masq4_src_neg = map(filter_neg(masq_src_subnets[0]), this.cidr);
- }
+ // filter `+` (match any device) since nftables does not support
+ // wildcard only matches
+ if (!device.invert && m[0] == '+')
+ continue;
- if (masq_src_subnets[1]) {
- zone.masq6_src_pos = map(filter_pos(masq_src_subnets[1]), this.cidr);
- zone.masq6_src_neg = map(filter_neg(masq_src_subnets[1]), this.cidr);
- }
+ // replace inverted `+` (match no device) with invalid pattern
+ if (device.invert && m[0] == '+') {
+ device.device = '/never/';
+ device.invert = false;
+ }
+
+ // replace "name+" matches with "name*"
+ else if (m[2] == '+')
+ device.device = m[1] + '*';
- if (masq_dest_subnets[0]) {
- zone.masq4_dest_pos = map(filter_pos(masq_dest_subnets[0]), this.cidr);
- zone.masq4_dest_neg = map(filter_neg(masq_dest_subnets[0]), this.cidr);
+ device.wildcard = !!m[2];
+
+ if (!device.invert && device.wildcard)
+ push(devices, [ [ device.device ], plain_invert_devices, wildcard_invert_devices ]);
+ else if (!device.invert)
+ push(plain_devices, device.device);
+ else if (device.wildcard)
+ push(wildcard_invert_devices, device.device);
+ else
+ push(plain_invert_devices, device.device);
}
- if (masq_dest_subnets[1]) {
- zone.masq6_dest_pos = map(filter_pos(masq_dest_subnets[1]), this.cidr);
- zone.masq6_dest_neg = map(filter_neg(masq_dest_subnets[1]), this.cidr);
+ if (length(plain_devices))
+ push(devices, [
+ plain_devices,
+ plain_invert_devices,
+ wildcard_invert_devices
+ ]);
+ else if (!length(devices))
+ push(devices, [
+ null,
+ plain_invert_devices,
+ wildcard_invert_devices
+ ]);
+
+ // emit zone jump rules for each device group
+ if (length(match_devices) || length(match_subnets[0]) || length(match_subnets[1])) {
+ for (let devgroup in devices) {
+ // check if there's no AF specific bits, in this case we can do AF agnostic matching
+ if (!family && !length(match_subnets[0]) && !length(match_subnets[1])) {
+ add_rule(0, devgroup, [], zone);
+ }
+
+ // we need to emit one or two AF specific rules
+ else {
+ if (!family || family == 4)
+ for (let subnets in subnets_group_by_masking(match_subnets[0]))
+ add_rule(4, devgroup, subnets, zone);
+
+ if (!family || family == 6)
+ for (let subnets in subnets_group_by_masking(match_subnets[1]))
+ add_rule(6, devgroup, subnets, zone);
+ }
+ }
}
+ zone.family = family;
+
+ zone.match_rules = match_rules;
+
+ zone.masq4_src_subnets = subnets_group_by_masking(masq_src_subnets[0]);
+ zone.masq4_dest_subnets = subnets_group_by_masking(masq_dest_subnets[0]);
+
+ zone.masq6_src_subnets = subnets_group_by_masking(masq_src_subnets[1]);
+ zone.masq6_dest_subnets = subnets_group_by_masking(masq_dest_subnets[1]);
+
zone.sflags = {};
zone.sflags[zone.input] = true;
zone.dflags[zone.forward] = true;
zone.match_devices = map(filter(match_devices, d => !d.invert), d => d.device);
- zone.match_subnets = map(filter(related_subnets, s => !s.invert), this.cidr);
+ zone.match_subnets = map(filter(related_subnets, s => !s.invert && s.bits != -1), this.cidr);
zone.related_subnets = related_subnets;
+ zone.related_physdevs = related_physdevs;
if (zone.masq || zone.masq6)
zone.dflags.snat = true;
continue;
for (let proto in helper.proto) {
- this.state.rules = this.state.rules || [];
- push(this.state.rules, {
- chain: "helper_" + zone.name,
+ push(this.state.rules ||= [], {
+ chain: `helper_${zone.name}`,
family: helper.family,
name: helper.description || helper.name,
proto: proto,
}
}
- this.state.zones = this.state.zones || [];
- push(this.state.zones, zone);
+ push(this.state.zones ||= [], zone);
},
parse_forwarding: function(data) {
proto: { any: true }
};
- f.name = fwd.name || sprintf("Accept %s to %s forwarding",
- fwd.src.any ? "any" : fwd.src.zone.name,
- fwd.dest.any ? "any" : fwd.dest.zone.name);
-
- f.chain = fwd.src.any ? "forward" : sprintf("forward_%s", fwd.src.zone.name);
+ f.name ||= `Accept ${fwd.src.any ? "any" : fwd.src.zone.name} to ${fwd.dest.any ? "any" : fwd.dest.zone.name} ${family ? `${this.nfproto(family, true)} ` : ''}forwarding`;
+ f.chain = fwd.src.any ? "forward" : `forward_${fwd.src.zone.name}`;
if (fwd.dest.any)
f.target = "accept";
else
- f.jump_chain = sprintf("accept_to_%s", fwd.dest.zone.name);
+ f.jump_chain = `accept_to_${fwd.dest.zone.name}`;
- this.state.rules = this.state.rules || [];
- push(this.state.rules, f);
+ push(this.state.rules ||= [], f);
};
- let family = fwd.family;
-
/* inherit family restrictions from related zones */
- if (family === 0 || family === null) {
- let f1 = fwd.src.zone ? fwd.src.zone.family : 0;
- let f2 = fwd.dest.zone ? fwd.dest.zone.family : 0;
-
- if (f1 != 0 && f2 != 0 && f1 != f2) {
- this.warn_section(data,
- sprintf("references src %s restricted to %s and dest restricted to %s, ignoring forwarding",
- fwd.src.zone.name, this.nfproto(f1, true),
- fwd.dest.zone.name, this.nfproto(f2, true)));
-
- return;
- }
- else if (f1) {
- this.warn_section(data,
- sprintf("inheriting %s restriction from src %s",
- this.nfproto(f1, true), fwd.src.zone.name));
-
- family = f1;
- }
- else if (f2) {
- this.warn_section(data,
- sprintf("inheriting %s restriction from dest %s",
- this.nfproto(f2, true), fwd.dest.zone.name));
+ let family = infer_family(fwd.family, [
+ fwd.src?.zone, "source zone",
+ fwd.dest?.zone, "destination zone"
+ ]);
- family = f2;
- }
+ if (type(family) == "string") {
+ this.warn_section(data, `${family}, skipping`);
+ return;
}
add_rule(family, fwd);
enabled: [ "bool", "1" ],
name: [ "string", this.section_id(data[".name"]) ],
+ _name: [ "string", null, DEPRECATED ],
family: [ "family" ],
src: [ "zone_ref" ],
dest: [ "zone_ref" ],
- device: [ "device" ],
+ device: [ "device", null, NO_INVERT ],
direction: [ "direction" ],
ipset: [ "setmatch" ],
set_dscp: [ "dscp", null, NO_INVERT ],
counter: [ "bool", "1" ],
+ log: [ "string" ],
target: [ "target" ]
});
}
if (rule.target in ["helper", "notrack"] && (!rule.src || !rule.src.zone)) {
- this.warn_section(data, "must specify a source zone for target '" + rule.target + "'");
- return;
- }
- else if (rule.target in ["dscp", "mark"] && rule.dest) {
- this.warn_section(data, "must not specify option 'dest' for target '" + rule.target + "'");
+ this.warn_section(data, `must specify a source zone for target '${rule.target}'`);
return;
}
else if (rule.target == "dscp" && !rule.set_dscp) {
this.warn_section(data, "must specify option 'set_helper' for target 'helper'");
return;
}
+ else if (rule.device?.any) {
+ this.warn_section(data, "must not specify '*' as device");
+ return;
+ }
+
+ switch (this.parse_bool(rule.log)) {
+ case true:
+ rule.log = `${rule.name}: `;
+ break;
+
+ case false:
+ delete rule.log;
+ }
let ipset;
ipset = filter(this.state.ipsets, s => (s.name == rule.ipset.name))[0];
if (!ipset) {
- this.warn_section(data, "references unknown set '" + rule.ipset.name + "'");
+ this.warn_section(data, `references unknown set '${rule.ipset.name}'`);
return;
}
}
}
- let need_src_action_chain = (rule) => (rule.src && rule.src.zone && rule.src.zone.log && rule.target != "accept");
+ let need_src_action_chain = (rule) => (rule.src?.zone?.log && rule.target != "accept");
let add_rule = (family, proto, saddrs, daddrs, sports, dports, icmptypes, icmpcodes, ipset, rule) => {
let r = {
family: family,
proto: proto,
- has_addrs: !!(length(saddrs) || length(daddrs)),
+ has_addrs: !!(saddrs[0] || saddrs[1] || saddrs[2] || daddrs[0] || daddrs[1] || daddrs[2]),
has_ports: !!(length(sports) || length(dports)),
- saddrs_pos: map(filter_pos(saddrs), this.cidr),
- saddrs_neg: map(filter_neg(saddrs), this.cidr),
- daddrs_pos: map(filter_pos(daddrs), this.cidr),
- daddrs_neg: map(filter_neg(daddrs), this.cidr),
+ saddrs_pos: map(saddrs[0], this.cidr),
+ saddrs_neg: map(saddrs[1], this.cidr),
+ saddrs_masked: saddrs[2],
+ daddrs_pos: map(daddrs[0], this.cidr),
+ daddrs_neg: map(daddrs[1], this.cidr),
+ daddrs_masked: daddrs[2],
sports_pos: map(filter_pos(sports), this.port),
sports_neg: map(filter_neg(sports), this.port),
dports_pos: map(filter_pos(dports), this.port),
smacs_pos: map(filter_pos(rule.src_mac), m => m.mac),
smacs_neg: map(filter_neg(rule.src_mac), m => m.mac),
icmp_types: map(icmptypes, i => (family == 4 ? i.type : i.type6)),
- icmp_codes: map(icmpcodes, ic => sprintf('%d . %d', (family == 4) ? ic.type : ic.type6, (family == 4) ? ic.code_min : ic.code6_min))
+ icmp_codes: map(icmpcodes, ic => `${(family == 4) ? ic.type : ic.type6} . ${(family == 4) ? ic.code_min : ic.code6_min}`)
};
if (!length(r.icmp_types))
}
if (r.target == "notrack") {
- r.chain = sprintf("notrack_%s", r.src.zone.name);
+ r.chain = `notrack_${r.src.zone.name}`;
r.src.zone.dflags.notrack = true;
}
else if (r.target == "helper") {
- r.chain = sprintf("helper_%s", r.src.zone.name);
+ r.chain = `helper_${r.src.zone.name}`;
r.src.zone.dflags.helper = true;
}
else if (r.target == "mark" || r.target == "dscp") {
- if (r.src) {
+ if ((r.src?.any && r.dest?.any) || (r.src?.zone && r.dest?.zone))
+ r.chain = "mangle_forward";
+ else if (r.src?.any && r.dest?.zone)
+ r.chain = "mangle_postrouting";
+ else if (r.src?.zone && r.dest?.any)
r.chain = "mangle_prerouting";
+ else if (r.src && !r.dest)
+ r.chain = "mangle_input";
+ else
+ r.chain = "mangle_output";
+
+ if (r.src?.zone) {
r.src.zone.dflags[r.target] = true;
+ r.iifnames = null_if_empty(r.src.zone.match_devices);
}
- else {
- r.chain = "mangle_output";
+
+ if (r.dest?.zone) {
+ r.dest.zone.dflags[r.target] = true;
+ r.oifnames = null_if_empty(r.dest.zone.match_devices);
}
}
else {
if (r.src) {
if (!r.src.any)
- r.chain = sprintf("%s_%s", r.dest ? "forward" : "input", r.src.zone.name);
+ r.chain = `${r.dest ? "forward" : "input"}_${r.src.zone.name}`;
else
r.chain = r.dest ? "forward" : "input";
}
}
if (r.dest && !r.dest.any) {
- r.jump_chain = sprintf("%s_to_%s", r.target, r.dest.zone.name);
+ r.jump_chain = `${r.target}_to_${r.dest.zone.name}`;
r.dest.zone.dflags[r.target] = true;
}
else if (need_src_action_chain(r)) {
- r.jump_chain = sprintf("%s_from_%s", r.target, r.src.zone.name);
- r.src.zone.dflags[r.target] = true;
+ r.jump_chain = `${r.target}_from_${r.src.zone.name}`;
+ r.src.zone.sflags[r.target] = true;
}
else if (r.target == "reject")
r.jump_chain = "handle_reject";
}
- this.state.rules = this.state.rules || [];
- push(this.state.rules, r);
+ if (r.device)
+ r[r.direction ? "oifnames" : "iifnames"] = [ r.device.device ];
+
+ push(this.state.rules ||= [], r);
};
for (let proto in rule.proto) {
break;
}
+ sip = subnets_split_af(rule.src_ip);
+ dip = subnets_split_af(rule.dest_ip);
+
family = infer_family(family, [
ipset, "set match",
- rule.src, "source zone",
- rule.dest, "destination zone",
+ sip, "source IP",
+ dip, "destination IP",
+ rule.src?.zone, "source zone",
+ rule.dest?.zone, "destination zone",
rule.helper, "helper match",
rule.set_helper, "helper to set"
]);
if (type(family) == "string") {
- this.warn_section(data, family + ", skipping");
+ this.warn_section(data, `${family}, skipping`);
continue;
}
- sip = subnets_split_af(rule.src_ip);
- dip = subnets_split_af(rule.dest_ip);
-
- let has_ipv4_specifics = (length(sip[0]) || length(dip[0]) || length(itypes4));
- let has_ipv6_specifics = (length(sip[1]) || length(dip[1]) || length(itypes6));
+ let has_ipv4_specifics = (length(sip[0]) || length(dip[0]) || length(itypes4) || rule.dscp !== null);
+ let has_ipv6_specifics = (length(sip[1]) || length(dip[1]) || length(itypes6) || rule.dscp !== null);
/* if no family was configured, infer target family from IP addresses */
if (family === null) {
/* check if there's no AF specific bits, in this case we can do an AF agnostic rule */
if (!family && rule.target != "dscp" && !has_ipv4_specifics && !has_ipv6_specifics) {
- add_rule(0, proto, null, null, sports, dports, null, null, null, rule);
+ add_rule(0, proto, [], [], sports, dports, null, null, null, rule);
}
/* we need to emit one or two AF specific rules */
let icmp_types = filter(itypes4, i => (i.code_min == 0 && i.code_max == 0xFF));
let icmp_codes = filter(itypes4, i => (i.code_min != 0 || i.code_max != 0xFF));
- if (length(icmp_types) || (!length(icmp_types) && !length(icmp_codes)))
- add_rule(4, proto, sip[0], dip[0], sports, dports, icmp_types, null, ipset, rule);
+ for (let saddrs in subnets_group_by_masking(sip[0])) {
+ for (let daddrs in subnets_group_by_masking(dip[0])) {
+ if (length(icmp_types) || (!length(icmp_types) && !length(icmp_codes)))
+ add_rule(4, proto, saddrs, daddrs, sports, dports, icmp_types, null, ipset, rule);
- if (length(icmp_codes))
- add_rule(4, proto, sip[0], dip[0], sports, dports, null, icmp_codes, ipset, rule);
+ if (length(icmp_codes))
+ add_rule(4, proto, saddrs, daddrs, sports, dports, null, icmp_codes, ipset, rule);
+ }
+ }
}
if (family == 0 || family == 6) {
let icmp_types = filter(itypes6, i => (i.code_min == 0 && i.code_max == 0xFF));
let icmp_codes = filter(itypes6, i => (i.code_min != 0 || i.code_max != 0xFF));
- if (length(icmp_types) || (!length(icmp_types) && !length(icmp_codes)))
- add_rule(6, proto, sip[1], dip[1], sports, dports, icmp_types, null, ipset, rule);
+ for (let saddrs in subnets_group_by_masking(sip[1])) {
+ for (let daddrs in subnets_group_by_masking(dip[1])) {
+ if (length(icmp_types) || (!length(icmp_types) && !length(icmp_codes)))
+ add_rule(6, proto, saddrs, daddrs, sports, dports, icmp_types, null, ipset, rule);
- if (length(icmp_codes))
- add_rule(6, proto, sip[1], dip[1], sports, dports, null, icmp_codes, ipset, rule);
+ if (length(icmp_codes))
+ add_rule(6, proto, saddrs, daddrs, sports, dports, null, icmp_codes, ipset, rule);
+ }
+ }
}
}
}
enabled: [ "bool", "1" ],
name: [ "string", this.section_id(data[".name"]) ],
- family: [ "family", "4" ],
+ _name: [ "string", null, DEPRECATED ],
+ family: [ "family" ],
src: [ "zone_ref" ],
dest: [ "zone_ref" ],
reflection_zone: [ "zone_ref", null, PARSE_LIST ],
counter: [ "bool", "1" ],
+ log: [ "string" ],
target: [ "target", "dnat" ]
});
redir.target = "dnat";
}
+ switch (this.parse_bool(redir.log)) {
+ case true:
+ redir.log = `${redir.name}: `;
+ break;
+
+ case false:
+ delete redir.log;
+ }
+
let ipset;
if (redir.ipset) {
ipset = filter(this.state.ipsets, s => (s.name == redir.ipset.name))[0];
if (!ipset) {
- this.warn_section(data, "references unknown set '" + redir.ipset.name + "'");
+ this.warn_section(data, `references unknown set '${redir.ipset.name}'`);
return;
}
let resolve_dest = (redir) => {
for (let zone in this.state.zones) {
- for (let addr in zone.related_subnets) {
- if (redir.dest_ip.family != addr.family)
- continue;
+ for (let zone_addr in zone.related_subnets) {
+ for (let dest_addr in redir.dest_ip.addrs) {
+ if (dest_addr.family != zone_addr.family)
+ continue;
- let a = apply_mask(redir.dest_ip.addr, addr.bits);
- let b = apply_mask(addr.addr, addr.bits);
+ let a = apply_mask(dest_addr.addr, zone_addr.mask);
+ let b = apply_mask(zone_addr.addr, zone_addr.mask);
- if (a != b)
- continue;
+ if (a != b)
+ continue;
- redir.dest = {
- any: false,
- zone: zone
- };
+ redir.dest = {
+ any: false,
+ zone: zone
+ };
- return true;
+ return true;
+ }
}
}
if (redir.target == "dnat") {
if (!redir.src)
- return this.warn_section(r, "has no source specified");
+ return this.warn_section(data, "has no source specified");
else if (redir.src.any)
- return this.warn_section(r, "must not have source '*' for dnat target");
+ return this.warn_section(data, "must not have source '*' for dnat target");
else if (redir.dest_ip && redir.dest_ip.invert)
- return this.warn_section(r, "must not specify a negated 'dest_ip' value");
+ return this.warn_section(data, "must not specify a negated 'dest_ip' value");
+ else if (redir.dest_ip && length(filter(redir.dest_ip.addrs, a => a.bits == -1)))
+ return this.warn_section(data, "must not use non-contiguous masks in 'dest_ip'");
if (!redir.dest && redir.dest_ip && resolve_dest(redir))
- this.warn_section(r, "does not specify a destination, assuming '" + redir.dest.zone.name + "'");
+ this.warn_section(data, `does not specify a destination, assuming '${redir.dest.zone.name}'`);
if (!redir.dest_port)
redir.dest_port = redir.src_dport;
- if (redir.reflection && redir.dest && redir.dest.zone && redir.src.zone.masq) {
+ if (redir.reflection && redir.dest?.zone && redir.src.zone.masq) {
redir.dest.zone.dflags.accept = true;
redir.dest.zone.dflags.dnat = true;
redir.dest.zone.dflags.snat = true;
return this.warn_section(data, "has no 'src_dip' option specified");
else if (redir.src_dip.invert)
return this.warn_section(data, "must not specify a negated 'src_dip' value");
+ else if (length(filter(redir.src_dip.addrs, a => a.bits == -1)))
+ return this.warn_section(data, "must not use non-contiguous masks in 'src_dip'");
else if (redir.src_mac)
return this.warn_section(data, "must not use 'src_mac' option for snat target");
else if (redir.helper)
redir.dest.zone.dflags[redir.target] = true;
}
-
let add_rule = (family, proto, saddrs, daddrs, raddrs, sport, dport, rport, ipset, redir) => {
let r = {
...redir,
family: family,
proto: proto,
- has_addrs: !!(length(saddrs) || length(daddrs)),
+ has_addrs: !!(saddrs[0] || saddrs[1] || saddrs[2] || daddrs[0] || daddrs[1] || daddrs[2]),
has_ports: !!(sport || dport || rport),
- saddrs_pos: map(filter_pos(saddrs), this.cidr),
- saddrs_neg: map(filter_neg(saddrs), this.cidr),
- daddrs_pos: map(filter_pos(daddrs), this.cidr),
- daddrs_neg: map(filter_neg(daddrs), this.cidr),
+ saddrs_pos: map(saddrs[0], this.cidr),
+ saddrs_neg: map(saddrs[1], this.cidr),
+ saddrs_masked: saddrs[2],
+ daddrs_pos: map(daddrs[0], this.cidr),
+ daddrs_neg: map(daddrs[1], this.cidr),
+ daddrs_masked: daddrs[2],
sports_pos: map(filter_pos(to_array(sport)), this.port),
sports_neg: map(filter_neg(to_array(sport)), this.port),
dports_pos: map(filter_pos(to_array(dport)), this.port),
switch (r.target) {
case "dnat":
- r.chain = sprintf("dstnat_%s", r.src.zone.name);
+ r.chain = `dstnat_${r.src.zone.name}`;
+ r.src.zone.dflags.dnat = true;
if (!r.raddr)
r.target = "redirect";
break;
case "snat":
- r.chain = sprintf("srcnat_%s", r.dest.zone.name);
+ r.chain = `srcnat_${r.dest.zone.name}`;
+ r.dest.zone.dflags.snat = true;
break;
}
- this.state.redirects = this.state.redirects || [];
- push(this.state.redirects, r);
+ push(this.state.redirects ||= [], r);
};
let to_hostaddr = (a) => {
if (proto.name == "ipv6-icmp")
family = 6;
- family = infer_family(family, [
- ipset, "set match",
- redir.src, "source zone",
- redir.dest, "destination zone",
- redir.helper, "helper match"
- ]);
-
- if (type(family) == "string") {
- this.warn_section(data, family + ", skipping");
- continue;
- }
-
switch (redir.target) {
case "dnat":
sip = subnets_split_af(redir.src_ip);
break;
}
- /* build reflection rules */
- if (redir.reflection && (length(rip[0]) || length(rip[1])) &&
- redir.src && redir.src.zone && redir.src.zone[family == 4 ? "masq" : "masq6"] &&
- redir.dest && redir.dest.zone) {
+ break;
+
+ case "snat":
+ sip = subnets_split_af(redir.src_ip);
+ dip = subnets_split_af(redir.dest_ip);
+ rip = subnets_split_af(redir.src_dip);
+
+ switch (proto.name) {
+ case "tcp":
+ case "udp":
+ sport = redir.src_port;
+ dport = redir.dest_port;
+ rport = redir.src_dport;
+ break;
+ }
+
+ break;
+ }
- let refredir = {
- name: redir.name + " (reflection)",
+ family = infer_family(family, [
+ ipset, "set match",
+ sip, "source IP",
+ dip, "destination IP",
+ rip, "rewrite IP",
+ redir.src?.zone, "source zone",
+ redir.dest?.zone, "destination zone",
+ redir.helper, "helper match"
+ ]);
- helper: redir.helper,
+ if (type(family) == "string") {
+ this.warn_section(data, `${family}, skipping`);
+ continue;
+ }
- // XXX: this likely makes no sense for reflection rules
- //src_mac: redir.src_mac,
+ /* build reflection rules */
+ if (redir.target == "dnat" && redir.reflection &&
+ (length(rip[0]) || length(rip[1])) && redir.src?.zone && redir.dest?.zone) {
+ let refredir = {
+ name: `${redir.name} (reflection)`,
- limit: redir.limit,
- limit_burst: redir.limit_burst,
+ helper: redir.helper,
- start_date: redir.start_date,
- stop_date: redir.stop_date,
- start_time: redir.start_time,
- stop_time: redir.stop_time,
- weekdays: redir.weekdays,
+ // XXX: this likely makes no sense for reflection rules
+ //src_mac: redir.src_mac,
- mark: redir.mark
- };
+ limit: redir.limit,
+ limit_burst: redir.limit_burst,
- let eaddrs = subnets_split_af(length(dip) ? dip : { addrs: redir.src.zone.related_subnets });
- let rzones = length(redir.reflection_zone) ? redir.reflection_zone : [ redir.dest ];
+ start_date: redir.start_date,
+ stop_date: redir.stop_date,
+ start_time: redir.start_time,
+ stop_time: redir.stop_time,
+ weekdays: redir.weekdays,
- for (let rzone in rzones) {
- if (!is_family(rzone, family)) {
- this.warn_section(data,
- sprintf("is restricted to IPv%d but referenced reflection zone is IPv%d only, skipping",
- family, rzone.family));
- continue;
- }
+ mark: redir.mark
+ };
- let iaddrs = subnets_split_af({ addrs: rzone.zone.related_subnets });
- let refaddrs = (redir.reflection_src == "internal") ? iaddrs : eaddrs;
+ let eaddrs = length(dip) ? dip : subnets_split_af({ addrs: map(redir.src.zone.related_subnets, to_hostaddr) });
+ let rzones = length(redir.reflection_zone) ? redir.reflection_zone : [ redir.dest ];
- refaddrs = [
- map(refaddrs[0], to_hostaddr),
- map(refaddrs[1], to_hostaddr)
- ];
+ for (let rzone in rzones) {
+ if (!is_family(rzone, family)) {
+ this.warn_section(data,
+ `is restricted to IPv${family} but referenced reflection zone is IPv${rzone.family} only, skipping`);
+ continue;
+ }
- eaddrs = [
- map(eaddrs[0], to_hostaddr),
- map(eaddrs[1], to_hostaddr)
- ];
+ let iaddrs = subnets_split_af({ addrs: rzone.zone.related_subnets });
+ let refaddrs = (redir.reflection_src == "internal") ? iaddrs : eaddrs;
- for (let i = 0; i <= 1; i++) {
- if (length(rip[i])) {
- refredir.src = rzone;
- refredir.dest = null;
- refredir.target = "dnat";
- add_rule(i ? 6 : 4, proto, iaddrs[i], eaddrs[i], rip[i], sport, dport, rport, null, refredir);
+ for (let i = 0; i <= 1; i++) {
+ if (redir.src.zone[i ? "masq6" : "masq"] && length(rip[i])) {
+ let snat_addr = refaddrs[i]?.[0];
+
+ /* For internal reflection sources try to find a suitable candiate IP
+ * among the reflection zone subnets which is within the same subnet
+ * as the original DNAT destination. If we can't find any matching
+ * one then simply take the first candidate. */
+ if (redir.reflection_src == "internal") {
+ for (let zone_addr in rzone.zone.related_subnets) {
+ if (zone_addr.family != rip[i][0].family)
+ continue;
- for (let refaddr in refaddrs[i]) {
- refredir.src = null;
- refredir.dest = rzone;
- refredir.target = "snat";
- add_rule(i ? 6 : 4, proto, iaddrs[i], rip[i], [ refaddr ], null, rport, null, null, refredir);
+ let r = apply_mask(rip[i][0].addr, zone_addr.mask);
+ let a = apply_mask(zone_addr.addr, zone_addr.mask);
+
+ if (r != a)
+ continue;
+
+ snat_addr = zone_addr;
+ break;
}
}
- }
- }
- }
+ if (!snat_addr) {
+ this.warn_section(data, `${redir.reflection_src || "external"} rewrite IP cannot be determined, disabling reflection`);
+ }
+ else if (!length(iaddrs[i])) {
+ this.warn_section(data, "internal address range cannot be determined, disabling reflection");
+ }
+ else if (!length(eaddrs[i])) {
+ this.warn_section(data, "external address range cannot be determined, disabling reflection");
+ }
+ else {
+ refredir.src = rzone;
+ refredir.dest = null;
+ refredir.target = "dnat";
- break;
+ for (let saddrs in subnets_group_by_masking(iaddrs[i]))
+ for (let daddrs in subnets_group_by_masking(eaddrs[i]))
+ add_rule(i ? 6 : 4, proto, saddrs, daddrs, rip[i], sport, dport, rport, null, refredir);
- case "snat":
- sip = subnets_split_af(redir.src_ip);
- dip = subnets_split_af(redir.dest_ip);
- rip = subnets_split_af(redir.src_dip);
+ refredir.src = null;
+ refredir.dest = rzone;
+ refredir.target = "snat";
- switch (proto.name) {
- case "tcp":
- case "udp":
- sport = redir.src_port;
- dport = redir.dest_port;
- rport = redir.src_dport;
- break;
+ for (let daddrs in subnets_group_by_masking(rip[i]))
+ for (let saddrs in subnets_group_by_masking(iaddrs[i]))
+ add_rule(i ? 6 : 4, proto, saddrs, daddrs, [ to_hostaddr(snat_addr) ], null, rport, null, null, refredir);
+ }
+ }
+ }
}
-
- break;
}
if (length(rip[0]) > 1 || length(rip[1]) > 1)
this.warn_section(data, "specifies multiple rewrite addresses, using only first one");
+ let has_ip4_addr = length(sip[0]) || length(dip[0]) || length(rip[0]),
+ has_ip6_addr = length(sip[1]) || length(dip[1]) || length(rip[1]),
+ has_any_addr = has_ip4_addr || has_ip6_addr;
+
/* check if there's no AF specific bits, in this case we can do an AF agnostic rule */
- if (!family && !length(sip[0]) && !length(sip[1]) && !length(dip[0]) && !length(dip[1]) && !length(rip[0]) && !length(rip[1])) {
- add_rule(0, proto, null, null, null, sport, dport, rport, null, redir);
+ if (!family && !has_any_addr) {
+ /* for backwards compatibility, treat unspecified family as IPv4 unless user explicitly requested any (0) */
+ if (family == null)
+ family = 4;
+
+ add_rule(family, proto, [], [], null, sport, dport, rport, null, redir);
}
/* we need to emit one or two AF specific rules */
else {
- if (family == 0 || family == 4)
- add_rule(4, proto, sip[0], dip[0], rip[0], sport, dport, rport, ipset, redir);
+ if ((!family || family == 4) && (!has_any_addr || has_ip4_addr)) {
+ for (let saddrs in subnets_group_by_masking(sip[0]))
+ for (let daddrs in subnets_group_by_masking(dip[0]))
+ add_rule(4, proto, saddrs, daddrs, rip[0], sport, dport, rport, ipset, redir);
+ }
- if (family == 0 || family == 6)
- add_rule(6, proto, sip[1], dip[1], rip[1], sport, dport, rport, ipset, redir);
+ if ((!family || family == 6) && (!has_any_addr || has_ip6_addr)) {
+ for (let saddrs in subnets_group_by_masking(sip[1]))
+ for (let daddrs in subnets_group_by_masking(dip[1]))
+ add_rule(6, proto, saddrs, daddrs, rip[1], sport, dport, rport, ipset, redir);
+ }
}
}
},
enabled: [ "bool", "1" ],
name: [ "string", this.section_id(data[".name"]) ],
- family: [ "family", "4" ],
+ family: [ "family" ],
src: [ "zone_ref" ],
device: [ "string" ],
mark: [ "mark" ],
+ counter: [ "bool", "1" ],
+ log: [ "string" ],
+
target: [ "target", "masquerade" ]
});
return;
}
- if (snat.src && snat.src.zone)
- snat.src.zone.dflags.snat = true;
+ if (snat.snat_ip && length(filter(snat.snat_ip.addrs, a => a.bits == -1 || a.invert))) {
+ this.warn_section(data, "must not use inversion or non-contiguous masks in 'snat_ip', ignoring section");
+ return;
+ }
+
+ switch (this.parse_bool(snat.log)) {
+ case true:
+ snat.log = `${snat.name}: `;
+ break;
+
+ case false:
+ delete snat.log;
+ }
let add_rule = (family, proto, saddrs, daddrs, raddrs, sport, dport, rport, snat) => {
let n = {
family: family,
proto: proto,
- has_addrs: !!(length(saddrs) || length(daddrs) || length(raddrs)),
+ has_addrs: !!(saddrs[0] || saddrs[1] || saddrs[2] || daddrs[0] || daddrs[1] || daddrs[2]),
has_ports: !!(sport || dport),
- saddrs_pos: map(filter_pos(saddrs), this.cidr),
- saddrs_neg: map(filter_neg(saddrs), this.cidr),
- daddrs_pos: map(filter_pos(daddrs), this.cidr),
- daddrs_neg: map(filter_neg(daddrs), this.cidr),
+ saddrs_pos: map(saddrs[0], this.cidr),
+ saddrs_neg: map(saddrs[1], this.cidr),
+ saddrs_masked: saddrs[2],
+ daddrs_pos: map(daddrs[0], this.cidr),
+ daddrs_neg: map(daddrs[1], this.cidr),
+ daddrs_masked: daddrs[2],
sports_pos: map(filter_pos(to_array(sport)), this.port),
sports_neg: map(filter_neg(to_array(sport)), this.port),
dports_pos: map(filter_pos(to_array(dport)), this.port),
raddr: raddrs ? raddrs[0] : null,
rport: rport,
- chain: (snat.src && snat.src.zone) ? sprintf("srcnat_%s", snat.src.zone.name) : "srcnat"
+ chain: snat.src?.zone ? `srcnat_${snat.src.zone.name}` : "srcnat"
};
- this.state.redirects = this.state.redirects || [];
- push(this.state.redirects, n);
+ push(this.state.redirects ||= [], n);
};
for (let proto in snat.proto) {
if (length(rip[0]) > 1 || length(rip[1]) > 1)
this.warn_section(data, "specifies multiple rewrite addresses, using only first one");
- /* inherit family restrictions from related zones */
- if (family === 0 || family === null) {
- let f = (rule.src && rule.src.zone) ? rule.src.zone.family : 0;
-
- if (f) {
- this.warn_section(r,
- sprintf("inheriting %s restriction from src %s",
- this.nfproto(f1, true), rule.src.zone.name));
+ family = infer_family(family, [
+ sip, "source IP",
+ dip, "destination IP",
+ rip, "rewrite IP",
+ snat.src?.zone, "source zone"
+ ]);
- family = f;
- }
+ if (type(family) == "string") {
+ this.warn_section(data, `${family}, skipping`);
+ continue;
}
+ if (snat.src?.zone)
+ snat.src.zone.dflags.snat = true;
+
/* if no family was configured, infer target family from IP addresses */
if (family === null) {
if ((length(sip[0]) || length(dip[0]) || length(rip[0])) && !length(sip[1]) && !length(dip[1]) && !length(rip[1]))
else if ((length(sip[1]) || length(dip[1]) || length(rip[1])) && !length(sip[0]) && !length(dip[0]) && !length(rip[0]))
family = 6;
else
- family = 0;
+ family = 4; /* default to IPv4 only for backwards compatibility, unless an explict family any was configured */
}
/* check if there's no AF specific bits, in this case we can do an AF agnostic rule */
if (!family && !length(sip[0]) && !length(sip[1]) && !length(dip[0]) && !length(dip[1]) && !length(rip[0]) && !length(rip[1])) {
- add_rule(0, proto, null, null, null, sport, dport, rport, snat);
+ add_rule(0, proto, [], [], null, sport, dport, rport, snat);
}
/* we need to emit one or two AF specific rules */
else {
if (family == 0 || family == 4)
- add_rule(4, proto, sip[0], dip[0], rip[0], sport, dport, rport, snat);
+ for (let saddr in subnets_group_by_masking(sip[0]))
+ for (let daddr in subnets_group_by_masking(dip[0]))
+ add_rule(4, proto, saddr, daddr, rip[0], sport, dport, rport, snat);
if (family == 0 || family == 6)
- add_rule(6, proto, sip[1], dip[1], rip[1], sport, dport, rport, snat);
+ for (let saddr in subnets_group_by_masking(sip[1]))
+ for (let daddr in subnets_group_by_masking(dip[1]))
+ add_rule(6, proto, saddr, daddr, rip[1], sport, dport, rport, snat);
+ }
+ }
+ },
+
+ parse_include: function(data) {
+ let inc = this.parse_options(data, {
+ enabled: [ "bool", "1" ],
+
+ path: [ "string", null, REQUIRED ],
+ type: [ "includetype", "script" ],
+
+ fw4_compatible: [ "bool", data.path != "/etc/firewall.user" ],
+
+ family: [ "family", null, UNSUPPORTED ],
+ reload: [ "bool", null, UNSUPPORTED ],
+
+ position: [ "includeposition" ],
+ chain: [ "string" ]
+ });
+
+ if (!inc.enabled) {
+ this.warn_section(data, "is disabled, ignoring section");
+ return;
+ }
+
+ if (inc.type == "script" && !inc.fw4_compatible) {
+ this.warn_section(data, "is not marked as compatible with fw4, ignoring section");
+ this.warn_section(data, "requires 'option fw4_compatible 1' to be considered compatible");
+ return;
+ }
+
+ for (let opt in [ "table", "chain", "position" ]) {
+ if (inc.type != "nftables" && inc[opt]) {
+ this.warn_section(data, `must not specify '${opt}' for non-nftables includes, ignoring section`);
+ return;
}
}
+
+ switch (inc.position ??= 'table-append') {
+ case 'ruleset-prepend':
+ case 'ruleset-append':
+ case 'table-prepend':
+ case 'table-append':
+ if (inc.chain)
+ this.warn_section(data, `specifies 'chain' which has no effect for position ${inc.position}`);
+
+ delete inc.chain;
+ break;
+
+ case 'chain-prepend':
+ case 'chain-append':
+ if (!inc.chain) {
+ this.warn_section(data, `must specify 'chain' for position ${inc.position}, ignoring section`);
+ return;
+ }
+
+ break;
+ }
+
+ let path = fs.readlink(inc.path) ?? inc.path;
+
+ if (!fs.access(path)) {
+ this.warn_section(data, `specifies unreachable path '${path}', ignoring section`);
+ return;
+ }
+
+ if (!data['.name'])
+ this.warn(`Automatically including '${path}'`);
+
+ push(this.state.includes ||= [], { ...inc, path });
},
parse_ipset: function(data) {
let s = {
...ipset,
+ fw4types: types,
+
types: map(types, (t) => {
switch (t) {
case 'ip':
interval: interval
};
- let self = this;
+ if (s.interval)
+ push(s.flags ??= [], 'interval');
+
+ if (s.timeout >= 0)
+ push(s.flags ??= [], 'timeout');
+
s.entries = filter(map(ipset.entry, (e) => {
- let v = self.parse_ipsetentry(e, s);
+ let v = this.parse_ipsetentry(e, s);
if (!v)
- self.warn_section(data, "ignoring invalid ipset entry '" + e + "'");
+ this.warn_section(data, `ignoring invalid ipset entry '${e}'`);
return v;
}), (e) => (e != null));
- this.state.ipsets = this.state.ipsets || [];
- push(this.state.ipsets, s);
+ push(this.state.ipsets ||= [], s);
}
};