Home | History | Annotate | Line # | Download | only in npfctl
npf_build.c revision 1.37
      1  1.37     rmind /*	$NetBSD: npf_build.c,v 1.37 2014/05/15 02:34:29 rmind Exp $	*/
      2   1.1     rmind 
      3   1.1     rmind /*-
      4  1.33     rmind  * Copyright (c) 2011-2014 The NetBSD Foundation, Inc.
      5   1.1     rmind  * All rights reserved.
      6   1.1     rmind  *
      7   1.1     rmind  * This material is based upon work partially supported by The
      8   1.1     rmind  * NetBSD Foundation under a contract with Mindaugas Rasiukevicius.
      9   1.1     rmind  *
     10   1.1     rmind  * Redistribution and use in source and binary forms, with or without
     11   1.1     rmind  * modification, are permitted provided that the following conditions
     12   1.1     rmind  * are met:
     13   1.1     rmind  * 1. Redistributions of source code must retain the above copyright
     14   1.1     rmind  *    notice, this list of conditions and the following disclaimer.
     15   1.1     rmind  * 2. Redistributions in binary form must reproduce the above copyright
     16   1.1     rmind  *    notice, this list of conditions and the following disclaimer in the
     17   1.1     rmind  *    documentation and/or other materials provided with the distribution.
     18   1.1     rmind  *
     19   1.1     rmind  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20   1.1     rmind  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21   1.1     rmind  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22   1.1     rmind  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23   1.1     rmind  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24   1.1     rmind  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25   1.1     rmind  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26   1.1     rmind  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27   1.1     rmind  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28   1.1     rmind  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29   1.1     rmind  * POSSIBILITY OF SUCH DAMAGE.
     30   1.1     rmind  */
     31   1.1     rmind 
     32   1.1     rmind /*
     33   1.1     rmind  * npfctl(8) building of the configuration.
     34   1.1     rmind  */
     35   1.1     rmind 
     36   1.1     rmind #include <sys/cdefs.h>
     37  1.37     rmind __RCSID("$NetBSD: npf_build.c,v 1.37 2014/05/15 02:34:29 rmind Exp $");
     38   1.1     rmind 
     39   1.1     rmind #include <sys/types.h>
     40  1.33     rmind #include <sys/mman.h>
     41  1.33     rmind #include <sys/stat.h>
     42  1.37     rmind #include <netinet/tcp.h>
     43   1.1     rmind 
     44   1.1     rmind #include <stdlib.h>
     45   1.1     rmind #include <inttypes.h>
     46   1.1     rmind #include <string.h>
     47  1.29     rmind #include <ctype.h>
     48  1.33     rmind #include <unistd.h>
     49  1.14     rmind #include <errno.h>
     50   1.1     rmind #include <err.h>
     51   1.1     rmind 
     52  1.25     rmind #include <pcap/pcap.h>
     53  1.33     rmind #include <cdbw.h>
     54  1.25     rmind 
     55   1.1     rmind #include "npfctl.h"
     56   1.1     rmind 
     57  1.18     rmind #define	MAX_RULE_NESTING	16
     58  1.18     rmind 
     59   1.1     rmind static nl_config_t *		npf_conf = NULL;
     60   1.1     rmind static bool			npf_debug = false;
     61  1.18     rmind static nl_rule_t *		the_rule = NULL;
     62  1.18     rmind 
     63  1.18     rmind static nl_rule_t *		current_group[MAX_RULE_NESTING];
     64  1.18     rmind static unsigned			rule_nesting_level = 0;
     65  1.18     rmind static nl_rule_t *		defgroup = NULL;
     66   1.1     rmind 
     67  1.27     rmind static void			npfctl_dump_bpf(struct bpf_program *);
     68  1.27     rmind 
     69   1.1     rmind void
     70   1.1     rmind npfctl_config_init(bool debug)
     71   1.1     rmind {
     72   1.1     rmind 	npf_conf = npf_config_create();
     73   1.1     rmind 	if (npf_conf == NULL) {
     74   1.1     rmind 		errx(EXIT_FAILURE, "npf_config_create failed");
     75   1.1     rmind 	}
     76   1.1     rmind 	npf_debug = debug;
     77  1.18     rmind 	memset(current_group, 0, sizeof(current_group));
     78   1.1     rmind }
     79   1.1     rmind 
     80   1.1     rmind int
     81  1.13     rmind npfctl_config_send(int fd, const char *out)
     82   1.1     rmind {
     83   1.1     rmind 	int error;
     84   1.1     rmind 
     85  1.13     rmind 	if (out) {
     86  1.13     rmind 		_npf_config_setsubmit(npf_conf, out);
     87  1.13     rmind 		printf("\nSaving to %s\n", out);
     88   1.1     rmind 	}
     89  1.18     rmind 	if (!defgroup) {
     90   1.1     rmind 		errx(EXIT_FAILURE, "default group was not defined");
     91   1.1     rmind 	}
     92  1.18     rmind 	npf_rule_insert(npf_conf, NULL, defgroup);
     93   1.1     rmind 	error = npf_config_submit(npf_conf, fd);
     94   1.3     rmind 	if (error) {
     95   1.3     rmind 		nl_error_t ne;
     96   1.3     rmind 		_npf_config_error(npf_conf, &ne);
     97   1.3     rmind 		npfctl_print_error(&ne);
     98   1.3     rmind 	}
     99  1.25     rmind 	if (fd) {
    100  1.25     rmind 		npf_config_destroy(npf_conf);
    101  1.25     rmind 	}
    102   1.1     rmind 	return error;
    103   1.1     rmind }
    104   1.1     rmind 
    105  1.16     rmind nl_config_t *
    106  1.16     rmind npfctl_config_ref(void)
    107  1.16     rmind {
    108  1.16     rmind 	return npf_conf;
    109  1.16     rmind }
    110  1.16     rmind 
    111  1.18     rmind nl_rule_t *
    112  1.18     rmind npfctl_rule_ref(void)
    113  1.18     rmind {
    114  1.18     rmind 	return the_rule;
    115  1.18     rmind }
    116  1.18     rmind 
    117  1.28     rmind bool
    118  1.13     rmind npfctl_debug_addif(const char *ifname)
    119  1.13     rmind {
    120  1.28     rmind 	const char tname[] = "npftest";
    121  1.13     rmind 	const size_t tnamelen = sizeof(tname) - 1;
    122  1.13     rmind 
    123  1.28     rmind 	if (npf_debug) {
    124  1.28     rmind 		_npf_debug_addif(npf_conf, ifname);
    125  1.28     rmind 		return strncmp(ifname, tname, tnamelen) == 0;
    126  1.13     rmind 	}
    127  1.28     rmind 	return 0;
    128  1.13     rmind }
    129  1.13     rmind 
    130  1.32     rmind unsigned
    131  1.32     rmind npfctl_table_getid(const char *name)
    132   1.1     rmind {
    133  1.32     rmind 	unsigned tid = (unsigned)-1;
    134  1.32     rmind 	nl_table_t *tl;
    135  1.32     rmind 
    136  1.32     rmind 	/* XXX dynamic ruleset */
    137  1.32     rmind 	if (!npf_conf) {
    138  1.32     rmind 		return (unsigned)-1;
    139  1.32     rmind 	}
    140  1.32     rmind 
    141  1.32     rmind 	/* XXX: Iterating all as we need to rewind for the next call. */
    142  1.32     rmind 	while ((tl = npf_table_iterate(npf_conf)) != NULL) {
    143  1.32     rmind 		const char *tname = npf_table_getname(tl);
    144  1.32     rmind 		if (strcmp(tname, name) == 0) {
    145  1.32     rmind 			tid = npf_table_getid(tl);
    146  1.32     rmind 		}
    147  1.32     rmind 	}
    148  1.32     rmind 	return tid;
    149   1.1     rmind }
    150   1.1     rmind 
    151   1.7     rmind static in_port_t
    152   1.1     rmind npfctl_get_singleport(const npfvar_t *vp)
    153   1.1     rmind {
    154   1.1     rmind 	port_range_t *pr;
    155   1.7     rmind 	in_port_t *port;
    156   1.1     rmind 
    157   1.1     rmind 	if (npfvar_get_count(vp) > 1) {
    158   1.1     rmind 		yyerror("multiple ports are not valid");
    159   1.1     rmind 	}
    160   1.1     rmind 	pr = npfvar_get_data(vp, NPFVAR_PORT_RANGE, 0);
    161   1.1     rmind 	if (pr->pr_start != pr->pr_end) {
    162   1.1     rmind 		yyerror("port range is not valid");
    163   1.1     rmind 	}
    164   1.7     rmind 	port = &pr->pr_start;
    165   1.7     rmind 	return *port;
    166   1.1     rmind }
    167   1.1     rmind 
    168   1.1     rmind static fam_addr_mask_t *
    169   1.1     rmind npfctl_get_singlefam(const npfvar_t *vp)
    170   1.1     rmind {
    171   1.1     rmind 	if (npfvar_get_count(vp) > 1) {
    172   1.1     rmind 		yyerror("multiple addresses are not valid");
    173   1.1     rmind 	}
    174   1.1     rmind 	return npfvar_get_data(vp, NPFVAR_FAM, 0);
    175   1.1     rmind }
    176   1.1     rmind 
    177  1.10     rmind static bool
    178  1.25     rmind npfctl_build_fam(npf_bpf_t *ctx, sa_family_t family,
    179   1.1     rmind     fam_addr_mask_t *fam, int opts)
    180   1.1     rmind {
    181   1.1     rmind 	/*
    182   1.1     rmind 	 * If family is specified, address does not match it and the
    183   1.1     rmind 	 * address is extracted from the interface, then simply ignore.
    184   1.1     rmind 	 * Otherwise, address of invalid family was passed manually.
    185   1.1     rmind 	 */
    186   1.1     rmind 	if (family != AF_UNSPEC && family != fam->fam_family) {
    187  1.15     rmind 		if (!fam->fam_ifindex) {
    188   1.1     rmind 			yyerror("specified address is not of the required "
    189   1.1     rmind 			    "family %d", family);
    190   1.1     rmind 		}
    191  1.10     rmind 		return false;
    192   1.1     rmind 	}
    193  1.30     rmind 
    194  1.25     rmind 	family = fam->fam_family;
    195  1.30     rmind 	if (family != AF_INET && family != AF_INET6) {
    196  1.30     rmind 		yyerror("family %d is not supported", family);
    197  1.30     rmind 	}
    198   1.1     rmind 
    199   1.1     rmind 	/*
    200   1.1     rmind 	 * Optimise 0.0.0.0/0 case to be NOP.  Otherwise, address with
    201   1.1     rmind 	 * zero mask would never match and therefore is not valid.
    202   1.1     rmind 	 */
    203   1.1     rmind 	if (fam->fam_mask == 0) {
    204  1.30     rmind 		static const npf_addr_t zero; /* must be static */
    205  1.10     rmind 
    206   1.1     rmind 		if (memcmp(&fam->fam_addr, &zero, sizeof(npf_addr_t))) {
    207   1.1     rmind 			yyerror("filter criterion would never match");
    208   1.1     rmind 		}
    209  1.10     rmind 		return false;
    210   1.1     rmind 	}
    211   1.1     rmind 
    212  1.25     rmind 	npfctl_bpf_cidr(ctx, opts, family, &fam->fam_addr, fam->fam_mask);
    213  1.10     rmind 	return true;
    214   1.1     rmind }
    215   1.1     rmind 
    216   1.1     rmind static void
    217  1.25     rmind npfctl_build_vars(npf_bpf_t *ctx, sa_family_t family, npfvar_t *vars, int opts)
    218   1.1     rmind {
    219   1.6  christos 	const int type = npfvar_get_type(vars, 0);
    220   1.1     rmind 	size_t i;
    221   1.1     rmind 
    222  1.25     rmind 	npfctl_bpf_group(ctx);
    223   1.1     rmind 	for (i = 0; i < npfvar_get_count(vars); i++) {
    224   1.1     rmind 		void *data = npfvar_get_data(vars, type, i);
    225   1.1     rmind 		assert(data != NULL);
    226   1.1     rmind 
    227   1.1     rmind 		switch (type) {
    228   1.1     rmind 		case NPFVAR_FAM: {
    229   1.1     rmind 			fam_addr_mask_t *fam = data;
    230  1.25     rmind 			npfctl_build_fam(ctx, family, fam, opts);
    231   1.1     rmind 			break;
    232   1.1     rmind 		}
    233   1.1     rmind 		case NPFVAR_PORT_RANGE: {
    234   1.1     rmind 			port_range_t *pr = data;
    235  1.25     rmind 			npfctl_bpf_ports(ctx, opts, pr->pr_start, pr->pr_end);
    236   1.1     rmind 			break;
    237   1.1     rmind 		}
    238   1.1     rmind 		case NPFVAR_TABLE: {
    239  1.32     rmind 			u_int tid;
    240  1.32     rmind 			memcpy(&tid, data, sizeof(u_int));
    241  1.25     rmind 			npfctl_bpf_table(ctx, opts, tid);
    242   1.1     rmind 			break;
    243   1.1     rmind 		}
    244   1.1     rmind 		default:
    245   1.1     rmind 			assert(false);
    246   1.1     rmind 		}
    247   1.1     rmind 	}
    248  1.25     rmind 	npfctl_bpf_endgroup(ctx);
    249   1.1     rmind }
    250   1.1     rmind 
    251  1.25     rmind static void
    252  1.25     rmind npfctl_build_proto(npf_bpf_t *ctx, sa_family_t family, const opt_proto_t *op)
    253   1.1     rmind {
    254   1.1     rmind 	const npfvar_t *popts = op->op_opts;
    255  1.10     rmind 	const int proto = op->op_proto;
    256  1.25     rmind 
    257  1.25     rmind 	/* IP version and/or L4 protocol matching. */
    258  1.25     rmind 	if (family != AF_UNSPEC || proto != -1) {
    259  1.25     rmind 		npfctl_bpf_proto(ctx, family, proto);
    260  1.25     rmind 	}
    261   1.1     rmind 
    262  1.10     rmind 	switch (proto) {
    263   1.1     rmind 	case IPPROTO_TCP:
    264  1.25     rmind 		/* Build TCP flags matching (optional). */
    265  1.25     rmind 		if (popts) {
    266  1.25     rmind 			uint8_t *tf, *tf_mask;
    267  1.25     rmind 
    268  1.25     rmind 			assert(npfvar_get_count(popts) == 2);
    269  1.25     rmind 			tf = npfvar_get_data(popts, NPFVAR_TCPFLAG, 0);
    270  1.25     rmind 			tf_mask = npfvar_get_data(popts, NPFVAR_TCPFLAG, 1);
    271  1.37     rmind 			npfctl_bpf_tcpfl(ctx, *tf, *tf_mask, false);
    272   1.1     rmind 		}
    273   1.1     rmind 		break;
    274   1.1     rmind 	case IPPROTO_ICMP:
    275  1.12       spz 	case IPPROTO_ICMPV6:
    276  1.25     rmind 		/* Build ICMP/ICMPv6 type and/or code matching. */
    277  1.25     rmind 		if (popts) {
    278  1.25     rmind 			int *icmp_type, *icmp_code;
    279  1.25     rmind 
    280  1.25     rmind 			assert(npfvar_get_count(popts) == 2);
    281  1.25     rmind 			icmp_type = npfvar_get_data(popts, NPFVAR_ICMP, 0);
    282  1.25     rmind 			icmp_code = npfvar_get_data(popts, NPFVAR_ICMP, 1);
    283  1.25     rmind 			npfctl_bpf_icmp(ctx, *icmp_type, *icmp_code);
    284  1.12       spz 		}
    285  1.12       spz 		break;
    286  1.25     rmind 	default:
    287  1.25     rmind 		/* No options for other protocols. */
    288   1.1     rmind 		break;
    289  1.10     rmind 	}
    290   1.1     rmind }
    291   1.1     rmind 
    292   1.1     rmind static bool
    293  1.25     rmind npfctl_build_code(nl_rule_t *rl, sa_family_t family, const opt_proto_t *op,
    294  1.27     rmind     const filt_opts_t *fopts)
    295   1.1     rmind {
    296   1.7     rmind 	const addr_port_t *apfrom = &fopts->fo_from;
    297   1.7     rmind 	const addr_port_t *apto = &fopts->fo_to;
    298  1.10     rmind 	const int proto = op->op_proto;
    299  1.25     rmind 	bool noproto, noaddrs, noports;
    300  1.25     rmind 	npf_bpf_t *bc;
    301   1.1     rmind 	size_t len;
    302   1.1     rmind 
    303  1.25     rmind 	/* If none specified, then no byte-code. */
    304  1.25     rmind 	noproto = family == AF_UNSPEC && proto == -1 && !op->op_opts;
    305  1.20     rmind 	noaddrs = !apfrom->ap_netaddr && !apto->ap_netaddr;
    306  1.20     rmind 	noports = !apfrom->ap_portrange && !apto->ap_portrange;
    307  1.25     rmind 	if (noproto && noaddrs && noports) {
    308   1.1     rmind 		return false;
    309  1.25     rmind 	}
    310   1.1     rmind 
    311  1.25     rmind 	/*
    312  1.25     rmind 	 * Sanity check: ports can only be used with TCP or UDP protocol.
    313  1.25     rmind 	 * No filter options are supported for other protocols, only the
    314  1.25     rmind 	 * IP addresses are allowed.
    315  1.25     rmind 	 */
    316  1.25     rmind 	if (!noports) {
    317  1.25     rmind 		switch (proto) {
    318  1.25     rmind 		case IPPROTO_TCP:
    319  1.25     rmind 		case IPPROTO_UDP:
    320  1.25     rmind 		case -1:
    321  1.25     rmind 			break;
    322  1.25     rmind 		default:
    323  1.25     rmind 			yyerror("invalid filter options for protocol %d", proto);
    324  1.25     rmind 		}
    325  1.25     rmind 	}
    326   1.1     rmind 
    327  1.25     rmind 	bc = npfctl_bpf_create();
    328   1.1     rmind 
    329  1.10     rmind 	/* Build layer 4 protocol blocks. */
    330  1.25     rmind 	npfctl_build_proto(bc, family, op);
    331  1.10     rmind 
    332  1.37     rmind 	/*
    333  1.37     rmind 	 * If this is a stateful rule and TCP flags are not specified,
    334  1.37     rmind 	 * then add "flags S/SAFR" filter for TCP protocol case.
    335  1.37     rmind 	 */
    336  1.37     rmind 	if ((npf_rule_getattr(rl) & NPF_RULE_STATEFUL) != 0 &&
    337  1.37     rmind 	    (proto == -1 || (proto == IPPROTO_TCP && !op->op_opts))) {
    338  1.37     rmind 		npfctl_bpf_tcpfl(bc, TH_SYN,
    339  1.37     rmind 		    TH_SYN | TH_ACK | TH_FIN | TH_RST, proto == -1);
    340  1.37     rmind 	}
    341  1.37     rmind 
    342   1.1     rmind 	/* Build IP address blocks. */
    343  1.27     rmind 	npfctl_build_vars(bc, family, apfrom->ap_netaddr, MATCH_SRC);
    344  1.27     rmind 	npfctl_build_vars(bc, family, apto->ap_netaddr, MATCH_DST);
    345   1.1     rmind 
    346   1.1     rmind 	/* Build port-range blocks. */
    347  1.27     rmind 	npfctl_build_vars(bc, family, apfrom->ap_portrange, MATCH_SRC);
    348  1.27     rmind 	npfctl_build_vars(bc, family, apto->ap_portrange, MATCH_DST);
    349  1.25     rmind 
    350  1.25     rmind 	/* Set the byte-code marks, if any. */
    351  1.25     rmind 	const void *bmarks = npfctl_bpf_bmarks(bc, &len);
    352  1.25     rmind 	if (npf_rule_setinfo(rl, bmarks, len) == -1) {
    353  1.25     rmind 		errx(EXIT_FAILURE, "npf_rule_setinfo failed");
    354  1.25     rmind 	}
    355   1.1     rmind 
    356  1.25     rmind 	/* Complete BPF byte-code and pass to the rule. */
    357  1.25     rmind 	struct bpf_program *bf = npfctl_bpf_complete(bc);
    358  1.25     rmind 	len = bf->bf_len * sizeof(struct bpf_insn);
    359  1.10     rmind 
    360  1.25     rmind 	if (npf_rule_setcode(rl, NPF_CODE_BPF, bf->bf_insns, len) == -1) {
    361   1.1     rmind 		errx(EXIT_FAILURE, "npf_rule_setcode failed");
    362   1.1     rmind 	}
    363  1.27     rmind 	npfctl_dump_bpf(bf);
    364  1.25     rmind 	npfctl_bpf_destroy(bc);
    365  1.25     rmind 
    366   1.1     rmind 	return true;
    367   1.1     rmind }
    368   1.1     rmind 
    369   1.4     rmind static void
    370  1.27     rmind npfctl_build_pcap(nl_rule_t *rl, const char *filter)
    371  1.27     rmind {
    372  1.27     rmind 	const size_t maxsnaplen = 64 * 1024;
    373  1.27     rmind 	struct bpf_program bf;
    374  1.27     rmind 	size_t len;
    375  1.27     rmind 
    376  1.27     rmind 	if (pcap_compile_nopcap(maxsnaplen, DLT_RAW, &bf,
    377  1.27     rmind 	    filter, 1, PCAP_NETMASK_UNKNOWN) == -1) {
    378  1.27     rmind 		yyerror("invalid pcap-filter(7) syntax");
    379  1.27     rmind 	}
    380  1.27     rmind 	len = bf.bf_len * sizeof(struct bpf_insn);
    381  1.27     rmind 
    382  1.27     rmind 	if (npf_rule_setcode(rl, NPF_CODE_BPF, bf.bf_insns, len) == -1) {
    383  1.27     rmind 		errx(EXIT_FAILURE, "npf_rule_setcode failed");
    384  1.27     rmind 	}
    385  1.27     rmind 	npfctl_dump_bpf(&bf);
    386  1.27     rmind 	pcap_freecode(&bf);
    387  1.27     rmind }
    388  1.27     rmind 
    389  1.27     rmind static void
    390   1.4     rmind npfctl_build_rpcall(nl_rproc_t *rp, const char *name, npfvar_t *args)
    391   1.4     rmind {
    392  1.14     rmind 	npf_extmod_t *extmod;
    393  1.14     rmind 	nl_ext_t *extcall;
    394  1.14     rmind 	int error;
    395   1.4     rmind 
    396  1.14     rmind 	extmod = npf_extmod_get(name, &extcall);
    397  1.14     rmind 	if (extmod == NULL) {
    398   1.4     rmind 		yyerror("unknown rule procedure '%s'", name);
    399   1.4     rmind 	}
    400   1.4     rmind 
    401   1.4     rmind 	for (size_t i = 0; i < npfvar_get_count(args); i++) {
    402  1.14     rmind 		const char *param, *value;
    403  1.14     rmind 		proc_param_t *p;
    404   1.4     rmind 
    405  1.14     rmind 		p = npfvar_get_data(args, NPFVAR_PROC_PARAM, i);
    406  1.14     rmind 		param = p->pp_param;
    407  1.14     rmind 		value = p->pp_value;
    408  1.14     rmind 
    409  1.14     rmind 		error = npf_extmod_param(extmod, extcall, param, value);
    410  1.14     rmind 		switch (error) {
    411  1.14     rmind 		case EINVAL:
    412  1.14     rmind 			yyerror("invalid parameter '%s'", param);
    413  1.14     rmind 		default:
    414  1.14     rmind 			break;
    415   1.4     rmind 		}
    416   1.4     rmind 	}
    417  1.14     rmind 	error = npf_rproc_extcall(rp, extcall);
    418  1.14     rmind 	if (error) {
    419  1.14     rmind 		yyerror(error == EEXIST ?
    420  1.14     rmind 		    "duplicate procedure call" : "unexpected error");
    421  1.14     rmind 	}
    422   1.4     rmind }
    423   1.4     rmind 
    424   1.1     rmind /*
    425   1.1     rmind  * npfctl_build_rproc: create and insert a rule procedure.
    426   1.1     rmind  */
    427   1.1     rmind void
    428   1.4     rmind npfctl_build_rproc(const char *name, npfvar_t *procs)
    429   1.1     rmind {
    430   1.1     rmind 	nl_rproc_t *rp;
    431   1.4     rmind 	size_t i;
    432   1.1     rmind 
    433   1.1     rmind 	rp = npf_rproc_create(name);
    434   1.1     rmind 	if (rp == NULL) {
    435  1.23  christos 		errx(EXIT_FAILURE, "%s failed", __func__);
    436   1.1     rmind 	}
    437   1.1     rmind 	npf_rproc_insert(npf_conf, rp);
    438   1.4     rmind 
    439   1.4     rmind 	for (i = 0; i < npfvar_get_count(procs); i++) {
    440  1.14     rmind 		proc_call_t *pc = npfvar_get_data(procs, NPFVAR_PROC, i);
    441  1.14     rmind 		npfctl_build_rpcall(rp, pc->pc_name, pc->pc_opts);
    442   1.4     rmind 	}
    443   1.1     rmind }
    444   1.1     rmind 
    445  1.22     rmind void
    446  1.28     rmind npfctl_build_maprset(const char *name, int attr, const char *ifname)
    447  1.22     rmind {
    448  1.22     rmind 	const int attr_di = (NPF_RULE_IN | NPF_RULE_OUT);
    449  1.22     rmind 	nl_rule_t *rl;
    450  1.22     rmind 
    451  1.22     rmind 	/* If no direction is not specified, then both. */
    452  1.22     rmind 	if ((attr & attr_di) == 0) {
    453  1.22     rmind 		attr |= attr_di;
    454  1.22     rmind 	}
    455  1.22     rmind 	/* Allow only "in/out" attributes. */
    456  1.22     rmind 	attr = NPF_RULE_GROUP | NPF_RULE_GROUP | (attr & attr_di);
    457  1.28     rmind 	rl = npf_rule_create(name, attr, ifname);
    458  1.22     rmind 	npf_nat_insert(npf_conf, rl, NPF_PRI_LAST);
    459  1.22     rmind }
    460  1.22     rmind 
    461   1.1     rmind /*
    462  1.18     rmind  * npfctl_build_group: create a group, insert into the global ruleset,
    463  1.18     rmind  * update the current group pointer and increase the nesting level.
    464   1.1     rmind  */
    465   1.1     rmind void
    466  1.28     rmind npfctl_build_group(const char *name, int attr, const char *ifname, bool def)
    467   1.1     rmind {
    468   1.1     rmind 	const int attr_di = (NPF_RULE_IN | NPF_RULE_OUT);
    469   1.1     rmind 	nl_rule_t *rl;
    470   1.1     rmind 
    471  1.18     rmind 	if (def || (attr & attr_di) == 0) {
    472  1.18     rmind 		attr |= attr_di;
    473  1.18     rmind 	}
    474  1.18     rmind 
    475  1.28     rmind 	rl = npf_rule_create(name, attr | NPF_RULE_GROUP, ifname);
    476  1.18     rmind 	npf_rule_setprio(rl, NPF_PRI_LAST);
    477  1.18     rmind 	if (def) {
    478  1.18     rmind 		if (defgroup) {
    479   1.1     rmind 			yyerror("multiple default groups are not valid");
    480   1.1     rmind 		}
    481  1.18     rmind 		if (rule_nesting_level) {
    482  1.18     rmind 			yyerror("default group can only be at the top level");
    483  1.18     rmind 		}
    484  1.18     rmind 		defgroup = rl;
    485  1.18     rmind 	} else {
    486  1.18     rmind 		nl_rule_t *cg = current_group[rule_nesting_level];
    487  1.18     rmind 		npf_rule_insert(npf_conf, cg, rl);
    488  1.18     rmind 	}
    489   1.1     rmind 
    490  1.18     rmind 	/* Set the current group and increase the nesting level. */
    491  1.18     rmind 	if (rule_nesting_level >= MAX_RULE_NESTING) {
    492  1.18     rmind 		yyerror("rule nesting limit reached");
    493   1.1     rmind 	}
    494  1.18     rmind 	current_group[++rule_nesting_level] = rl;
    495  1.18     rmind }
    496   1.1     rmind 
    497  1.18     rmind void
    498  1.18     rmind npfctl_build_group_end(void)
    499  1.18     rmind {
    500  1.18     rmind 	assert(rule_nesting_level > 0);
    501  1.18     rmind 	current_group[rule_nesting_level--] = NULL;
    502   1.1     rmind }
    503   1.1     rmind 
    504   1.1     rmind /*
    505  1.26     rmind  * npfctl_build_rule: create a rule, build byte-code from filter options,
    506  1.18     rmind  * if any, and insert into the ruleset of current group, or set the rule.
    507   1.1     rmind  */
    508   1.1     rmind void
    509  1.28     rmind npfctl_build_rule(uint32_t attr, const char *ifname, sa_family_t family,
    510  1.27     rmind     const opt_proto_t *op, const filt_opts_t *fopts,
    511  1.27     rmind     const char *pcap_filter, const char *rproc)
    512   1.1     rmind {
    513   1.1     rmind 	nl_rule_t *rl;
    514   1.1     rmind 
    515  1.19     rmind 	attr |= (npf_conf ? 0 : NPF_RULE_DYNAMIC);
    516  1.21     rmind 
    517  1.28     rmind 	rl = npf_rule_create(NULL, attr, ifname);
    518  1.27     rmind 	if (pcap_filter) {
    519  1.27     rmind 		npfctl_build_pcap(rl, pcap_filter);
    520  1.27     rmind 	} else {
    521  1.27     rmind 		npfctl_build_code(rl, family, op, fopts);
    522  1.27     rmind 	}
    523  1.27     rmind 
    524  1.18     rmind 	if (rproc) {
    525  1.18     rmind 		npf_rule_setproc(rl, rproc);
    526  1.18     rmind 	}
    527  1.18     rmind 
    528  1.18     rmind 	if (npf_conf) {
    529  1.18     rmind 		nl_rule_t *cg = current_group[rule_nesting_level];
    530  1.18     rmind 
    531  1.18     rmind 		if (rproc && !npf_rproc_exists_p(npf_conf, rproc)) {
    532  1.18     rmind 			yyerror("rule procedure '%s' is not defined", rproc);
    533  1.18     rmind 		}
    534  1.18     rmind 		assert(cg != NULL);
    535  1.18     rmind 		npf_rule_setprio(rl, NPF_PRI_LAST);
    536  1.18     rmind 		npf_rule_insert(npf_conf, cg, rl);
    537  1.18     rmind 	} else {
    538  1.18     rmind 		/* We have parsed a single rule - set it. */
    539  1.18     rmind 		the_rule = rl;
    540   1.1     rmind 	}
    541   1.1     rmind }
    542   1.1     rmind 
    543   1.1     rmind /*
    544  1.14     rmind  * npfctl_build_nat: create a single NAT policy of a specified
    545  1.13     rmind  * type with a given filter options.
    546  1.13     rmind  */
    547  1.36     rmind static nl_nat_t *
    548  1.36     rmind npfctl_build_nat(int type, const char *ifname, const addr_port_t *ap,
    549  1.36     rmind     const filt_opts_t *fopts, u_int flags)
    550  1.13     rmind {
    551  1.13     rmind 	const opt_proto_t op = { .op_proto = -1, .op_opts = NULL };
    552  1.36     rmind 	fam_addr_mask_t *am = npfctl_get_singlefam(ap->ap_netaddr);
    553  1.13     rmind 	in_port_t port;
    554  1.13     rmind 	nl_nat_t *nat;
    555  1.13     rmind 
    556  1.35     rmind 	if (ap->ap_portrange) {
    557  1.35     rmind 		port = npfctl_get_singleport(ap->ap_portrange);
    558  1.35     rmind 		flags &= ~NPF_NAT_PORTMAP;
    559  1.35     rmind 		flags |= NPF_NAT_PORTS;
    560  1.35     rmind 	} else {
    561  1.13     rmind 		port = 0;
    562  1.13     rmind 	}
    563  1.13     rmind 
    564  1.36     rmind 	nat = npf_nat_create(type, flags, ifname, am->fam_family,
    565  1.36     rmind 	    &am->fam_addr, am->fam_mask, port);
    566  1.36     rmind 	npfctl_build_code(nat, am->fam_family, &op, fopts);
    567  1.18     rmind 	npf_nat_insert(npf_conf, nat, NPF_PRI_LAST);
    568  1.36     rmind 	return nat;
    569  1.13     rmind }
    570  1.13     rmind 
    571  1.13     rmind /*
    572  1.14     rmind  * npfctl_build_natseg: validate and create NAT policies.
    573   1.1     rmind  */
    574   1.1     rmind void
    575  1.28     rmind npfctl_build_natseg(int sd, int type, const char *ifname,
    576  1.28     rmind     const addr_port_t *ap1, const addr_port_t *ap2,
    577  1.36     rmind     const filt_opts_t *fopts, u_int algo)
    578   1.1     rmind {
    579  1.36     rmind 	fam_addr_mask_t *am1 = NULL, *am2 = NULL;
    580  1.36     rmind 	nl_nat_t *nt1 = NULL, *nt2 = NULL;
    581   1.7     rmind 	filt_opts_t imfopts;
    582  1.36     rmind 	uint16_t adj = 0;
    583  1.35     rmind 	u_int flags;
    584  1.13     rmind 	bool binat;
    585   1.1     rmind 
    586  1.28     rmind 	assert(ifname != NULL);
    587   1.7     rmind 
    588  1.13     rmind 	/*
    589  1.13     rmind 	 * Bi-directional NAT is a combination of inbound NAT and outbound
    590  1.35     rmind 	 * NAT policies with the translation segments inverted respectively.
    591  1.13     rmind 	 */
    592  1.13     rmind 	binat = (NPF_NATIN | NPF_NATOUT) == type;
    593   1.7     rmind 
    594  1.35     rmind 	switch (sd) {
    595  1.35     rmind 	case NPFCTL_NAT_DYNAMIC:
    596  1.35     rmind 		/*
    597  1.35     rmind 		 * Dynamic NAT: traditional NAPT is expected.  Unless it
    598  1.35     rmind 		 * is bi-directional NAT, perform port mapping.
    599  1.35     rmind 		 */
    600  1.35     rmind 		flags = !binat ? (NPF_NAT_PORTS | NPF_NAT_PORTMAP) : 0;
    601  1.35     rmind 		break;
    602  1.35     rmind 	case NPFCTL_NAT_STATIC:
    603  1.35     rmind 		/* Static NAT: mechanic translation. */
    604  1.35     rmind 		flags = NPF_NAT_STATIC;
    605  1.35     rmind 		break;
    606  1.35     rmind 	default:
    607  1.35     rmind 		abort();
    608  1.35     rmind 	}
    609  1.35     rmind 
    610   1.7     rmind 	/*
    611  1.36     rmind 	 * Validate the mappings and their configuration.
    612  1.36     rmind 	 */
    613  1.36     rmind 
    614  1.36     rmind 	if ((type & NPF_NATIN) != 0) {
    615  1.36     rmind 		if (!ap1->ap_netaddr)
    616  1.36     rmind 			yyerror("inbound network segment is not specified");
    617  1.36     rmind 		am1 = npfctl_get_singlefam(ap1->ap_netaddr);
    618  1.36     rmind 	}
    619  1.36     rmind 	if ((type & NPF_NATOUT) != 0) {
    620  1.36     rmind 		if (!ap2->ap_netaddr)
    621  1.36     rmind 			yyerror("outbound network segment is not specified");
    622  1.36     rmind 		am2 = npfctl_get_singlefam(ap2->ap_netaddr);
    623  1.36     rmind 	}
    624  1.36     rmind 
    625  1.36     rmind 	switch (algo) {
    626  1.36     rmind 	case NPF_ALGO_NPT66:
    627  1.36     rmind 		if (am1 == NULL || am2 == NULL)
    628  1.36     rmind 			yyerror("1:1 mapping of two segments must be "
    629  1.36     rmind 			    "used for NPTv6");
    630  1.36     rmind 		if (am1->fam_mask != am2->fam_mask)
    631  1.36     rmind 			yyerror("asymmetric translation is not supported");
    632  1.36     rmind 		adj = npfctl_npt66_calcadj(am1->fam_mask,
    633  1.36     rmind 		    &am1->fam_addr, &am2->fam_addr);
    634  1.36     rmind 		break;
    635  1.36     rmind 	default:
    636  1.36     rmind 		if ((am1 && am1->fam_mask != NPF_NO_NETMASK) ||
    637  1.36     rmind 		    (am2 && am2->fam_mask != NPF_NO_NETMASK))
    638  1.36     rmind 			yyerror("net-to-net translation is not supported");
    639  1.36     rmind 		break;
    640  1.36     rmind 	}
    641  1.36     rmind 
    642  1.36     rmind 	/*
    643  1.13     rmind 	 * If the filter criteria is not specified explicitly, apply implicit
    644  1.14     rmind 	 * filtering according to the given network segments.
    645  1.13     rmind 	 *
    646  1.13     rmind 	 * Note: filled below, depending on the type.
    647   1.7     rmind 	 */
    648  1.14     rmind 	if (__predict_true(!fopts)) {
    649   1.7     rmind 		fopts = &imfopts;
    650   1.1     rmind 	}
    651   1.1     rmind 
    652  1.13     rmind 	if (type & NPF_NATIN) {
    653  1.13     rmind 		memset(&imfopts, 0, sizeof(filt_opts_t));
    654  1.13     rmind 		memcpy(&imfopts.fo_to, ap2, sizeof(addr_port_t));
    655  1.36     rmind 		nt1 = npfctl_build_nat(NPF_NATIN, ifname, ap1, fopts, flags);
    656  1.13     rmind 	}
    657  1.13     rmind 	if (type & NPF_NATOUT) {
    658  1.13     rmind 		memset(&imfopts, 0, sizeof(filt_opts_t));
    659  1.13     rmind 		memcpy(&imfopts.fo_from, ap1, sizeof(addr_port_t));
    660  1.36     rmind 		nt2 = npfctl_build_nat(NPF_NATOUT, ifname, ap2, fopts, flags);
    661  1.36     rmind 	}
    662  1.36     rmind 
    663  1.36     rmind 	if (algo == NPF_ALGO_NPT66) {
    664  1.36     rmind 		npf_nat_setnpt66(nt1, ~adj);
    665  1.36     rmind 		npf_nat_setnpt66(nt2, adj);
    666   1.1     rmind 	}
    667   1.1     rmind }
    668   1.1     rmind 
    669   1.1     rmind /*
    670   1.1     rmind  * npfctl_fill_table: fill NPF table with entries from a specified file.
    671   1.1     rmind  */
    672   1.1     rmind static void
    673  1.11     rmind npfctl_fill_table(nl_table_t *tl, u_int type, const char *fname)
    674   1.1     rmind {
    675  1.34  christos 	struct cdbw *cdbw = NULL;	/* XXX: gcc */
    676   1.1     rmind 	char *buf = NULL;
    677   1.1     rmind 	int l = 0;
    678   1.1     rmind 	FILE *fp;
    679   1.1     rmind 	size_t n;
    680   1.1     rmind 
    681  1.33     rmind 	if (type == NPF_TABLE_CDB && (cdbw = cdbw_open()) == NULL) {
    682  1.33     rmind 		err(EXIT_FAILURE, "cdbw_open");
    683  1.33     rmind 	}
    684   1.1     rmind 	fp = fopen(fname, "r");
    685   1.1     rmind 	if (fp == NULL) {
    686   1.1     rmind 		err(EXIT_FAILURE, "open '%s'", fname);
    687   1.1     rmind 	}
    688   1.1     rmind 	while (l++, getline(&buf, &n, fp) != -1) {
    689  1.11     rmind 		fam_addr_mask_t fam;
    690  1.11     rmind 		int alen;
    691   1.1     rmind 
    692   1.1     rmind 		if (*buf == '\n' || *buf == '#') {
    693   1.1     rmind 			continue;
    694   1.1     rmind 		}
    695  1.11     rmind 
    696  1.11     rmind 		if (!npfctl_parse_cidr(buf, &fam, &alen)) {
    697  1.11     rmind 			errx(EXIT_FAILURE,
    698  1.11     rmind 			    "%s:%d: invalid table entry", fname, l);
    699  1.11     rmind 		}
    700  1.33     rmind 		if (type != NPF_TABLE_TREE && fam.fam_mask != NPF_NO_NETMASK) {
    701  1.33     rmind 			errx(EXIT_FAILURE, "%s:%d: mask used with the "
    702  1.33     rmind 			    "non-tree table", fname, l);
    703   1.1     rmind 		}
    704   1.1     rmind 
    705  1.33     rmind 		/*
    706  1.33     rmind 		 * Create and add a table entry.
    707  1.33     rmind 		 */
    708  1.33     rmind 		if (type == NPF_TABLE_CDB) {
    709  1.33     rmind 			const npf_addr_t *addr = &fam.fam_addr;
    710  1.33     rmind 			if (cdbw_put(cdbw, addr, alen, addr, alen) == -1) {
    711  1.33     rmind 				err(EXIT_FAILURE, "cdbw_put");
    712  1.33     rmind 			}
    713  1.33     rmind 		} else {
    714  1.33     rmind 			npf_table_add_entry(tl, fam.fam_family,
    715  1.33     rmind 			    &fam.fam_addr, fam.fam_mask);
    716  1.33     rmind 		}
    717   1.1     rmind 	}
    718   1.1     rmind 	if (buf != NULL) {
    719   1.1     rmind 		free(buf);
    720   1.1     rmind 	}
    721  1.33     rmind 
    722  1.33     rmind 	if (type == NPF_TABLE_CDB) {
    723  1.33     rmind 		struct stat sb;
    724  1.33     rmind 		char sfn[32];
    725  1.33     rmind 		void *cdb;
    726  1.33     rmind 		int fd;
    727  1.33     rmind 
    728  1.33     rmind 		strlcpy(sfn, "/tmp/npfcdb.XXXXXX", sizeof(sfn));
    729  1.33     rmind 		if ((fd = mkstemp(sfn)) == -1) {
    730  1.33     rmind 			err(EXIT_FAILURE, "mkstemp");
    731  1.33     rmind 		}
    732  1.33     rmind 		unlink(sfn);
    733  1.33     rmind 
    734  1.33     rmind 		if (cdbw_output(cdbw, fd, "npf-table-cdb", NULL) == -1) {
    735  1.33     rmind 			err(EXIT_FAILURE, "cdbw_output");
    736  1.33     rmind 		}
    737  1.33     rmind 		cdbw_close(cdbw);
    738  1.33     rmind 
    739  1.33     rmind 		if (fstat(fd, &sb) == -1) {
    740  1.33     rmind 			err(EXIT_FAILURE, "fstat");
    741  1.33     rmind 		}
    742  1.33     rmind 		if ((cdb = mmap(NULL, sb.st_size, PROT_READ,
    743  1.33     rmind 		    MAP_FILE | MAP_PRIVATE, fd, 0)) == MAP_FAILED) {
    744  1.33     rmind 			err(EXIT_FAILURE, "mmap");
    745  1.33     rmind 		}
    746  1.33     rmind 		npf_table_setdata(tl, cdb, sb.st_size);
    747  1.33     rmind 
    748  1.33     rmind 		close(fd);
    749  1.33     rmind 	}
    750   1.1     rmind }
    751   1.1     rmind 
    752   1.1     rmind /*
    753   1.1     rmind  * npfctl_build_table: create an NPF table, add to the configuration and,
    754   1.1     rmind  * if required, fill with contents from a file.
    755   1.1     rmind  */
    756   1.1     rmind void
    757  1.29     rmind npfctl_build_table(const char *tname, u_int type, const char *fname)
    758   1.1     rmind {
    759  1.29     rmind 	static unsigned tid = 0;
    760   1.1     rmind 	nl_table_t *tl;
    761   1.1     rmind 
    762  1.29     rmind 	tl = npf_table_create(tname, tid++, type);
    763   1.1     rmind 	assert(tl != NULL);
    764   1.1     rmind 
    765   1.1     rmind 	if (npf_table_insert(npf_conf, tl)) {
    766  1.29     rmind 		yyerror("table '%s' is already defined", tname);
    767   1.1     rmind 	}
    768   1.1     rmind 
    769   1.1     rmind 	if (fname) {
    770  1.11     rmind 		npfctl_fill_table(tl, type, fname);
    771  1.33     rmind 	} else if (type == NPF_TABLE_CDB) {
    772  1.33     rmind 		errx(EXIT_FAILURE, "tables of cdb type must be static");
    773   1.1     rmind 	}
    774   1.1     rmind }
    775  1.23  christos 
    776  1.23  christos /*
    777  1.25     rmind  * npfctl_build_alg: create an NPF application level gateway and add it
    778  1.23  christos  * to the configuration.
    779  1.23  christos  */
    780  1.23  christos void
    781  1.23  christos npfctl_build_alg(const char *al_name)
    782  1.23  christos {
    783  1.23  christos 	if (_npf_alg_load(npf_conf, al_name) != 0) {
    784  1.23  christos 		errx(EXIT_FAILURE, "ALG '%s' already loaded", al_name);
    785  1.23  christos 	}
    786  1.23  christos }
    787  1.27     rmind 
    788  1.27     rmind static void
    789  1.27     rmind npfctl_dump_bpf(struct bpf_program *bf)
    790  1.27     rmind {
    791  1.27     rmind 	if (npf_debug) {
    792  1.27     rmind 		extern char *yytext;
    793  1.27     rmind 		extern int yylineno;
    794  1.27     rmind 
    795  1.27     rmind 		int rule_line = yylineno - (int)(*yytext == '\n');
    796  1.27     rmind 		printf("\nRULE AT LINE %d\n", rule_line);
    797  1.27     rmind 		bpf_dump(bf, 0);
    798  1.27     rmind 	}
    799  1.27     rmind }
    800