1 /* $OpenBSD: parse.y,v 1.554 2008/10/17 12:59:53 henning Exp $ */ 2 3 /* 4 * Copyright (c) 2001 Markus Friedl. All rights reserved. 5 * Copyright (c) 2001 Daniel Hartmeier. All rights reserved. 6 * Copyright (c) 2001 Theo de Raadt. All rights reserved. 7 * Copyright (c) 2002,2003 Henning Brauer. All rights reserved. 8 * 9 * Redistribution and use in source and binary forms, with or without 10 * modification, are permitted provided that the following conditions 11 * are met: 12 * 1. Redistributions of source code must retain the above copyright 13 * notice, this list of conditions and the following disclaimer. 14 * 2. Redistributions in binary form must reproduce the above copyright 15 * notice, this list of conditions and the following disclaimer in the 16 * documentation and/or other materials provided with the distribution. 17 * 18 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 19 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 20 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 21 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 22 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 23 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 24 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 25 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 26 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 27 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 28 */ 29 %{ 30 #include <sys/cdefs.h> 31 __FBSDID("$FreeBSD$"); 32 33 #include <sys/types.h> 34 #include <sys/socket.h> 35 #include <sys/stat.h> 36 #ifdef __FreeBSD__ 37 #include <sys/sysctl.h> 38 #endif 39 #include <net/if.h> 40 #include <netinet/in.h> 41 #include <netinet/in_systm.h> 42 #include <netinet/ip.h> 43 #include <netinet/ip_icmp.h> 44 #include <netinet/icmp6.h> 45 #include <net/pfvar.h> 46 #include <arpa/inet.h> 47 #include <net/altq/altq.h> 48 #include <net/altq/altq_cbq.h> 49 #include <net/altq/altq_priq.h> 50 #include <net/altq/altq_hfsc.h> 51 #include <net/altq/altq_fairq.h> 52 53 #include <stdio.h> 54 #include <unistd.h> 55 #include <stdlib.h> 56 #include <netdb.h> 57 #include <stdarg.h> 58 #include <errno.h> 59 #include <string.h> 60 #include <ctype.h> 61 #include <math.h> 62 #include <err.h> 63 #include <limits.h> 64 #include <pwd.h> 65 #include <grp.h> 66 #include <md5.h> 67 68 #include "pfctl_parser.h" 69 #include "pfctl.h" 70 71 static struct pfctl *pf = NULL; 72 static int debug = 0; 73 static int rulestate = 0; 74 static u_int16_t returnicmpdefault = 75 (ICMP_UNREACH << 8) | ICMP_UNREACH_PORT; 76 static u_int16_t returnicmp6default = 77 (ICMP6_DST_UNREACH << 8) | ICMP6_DST_UNREACH_NOPORT; 78 static int blockpolicy = PFRULE_DROP; 79 static int require_order = 1; 80 static int default_statelock; 81 82 TAILQ_HEAD(files, file) files = TAILQ_HEAD_INITIALIZER(files); 83 static struct file { 84 TAILQ_ENTRY(file) entry; 85 FILE *stream; 86 char *name; 87 int lineno; 88 int errors; 89 } *file; 90 struct file *pushfile(const char *, int); 91 int popfile(void); 92 int check_file_secrecy(int, const char *); 93 int yyparse(void); 94 int yylex(void); 95 int yyerror(const char *, ...); 96 int kw_cmp(const void *, const void *); 97 int lookup(char *); 98 int lgetc(int); 99 int lungetc(int); 100 int findeol(void); 101 102 TAILQ_HEAD(symhead, sym) symhead = TAILQ_HEAD_INITIALIZER(symhead); 103 struct sym { 104 TAILQ_ENTRY(sym) entry; 105 int used; 106 int persist; 107 char *nam; 108 char *val; 109 }; 110 int symset(const char *, const char *, int); 111 char *symget(const char *); 112 113 int atoul(char *, u_long *); 114 115 enum { 116 PFCTL_STATE_NONE, 117 PFCTL_STATE_OPTION, 118 PFCTL_STATE_SCRUB, 119 PFCTL_STATE_QUEUE, 120 PFCTL_STATE_NAT, 121 PFCTL_STATE_FILTER 122 }; 123 124 struct node_proto { 125 u_int8_t proto; 126 struct node_proto *next; 127 struct node_proto *tail; 128 }; 129 130 struct node_port { 131 u_int16_t port[2]; 132 u_int8_t op; 133 struct node_port *next; 134 struct node_port *tail; 135 }; 136 137 struct node_uid { 138 uid_t uid[2]; 139 u_int8_t op; 140 struct node_uid *next; 141 struct node_uid *tail; 142 }; 143 144 struct node_gid { 145 gid_t gid[2]; 146 u_int8_t op; 147 struct node_gid *next; 148 struct node_gid *tail; 149 }; 150 151 struct node_icmp { 152 u_int8_t code; 153 u_int8_t type; 154 u_int8_t proto; 155 struct node_icmp *next; 156 struct node_icmp *tail; 157 }; 158 159 enum { PF_STATE_OPT_MAX, PF_STATE_OPT_NOSYNC, PF_STATE_OPT_SRCTRACK, 160 PF_STATE_OPT_MAX_SRC_STATES, PF_STATE_OPT_MAX_SRC_CONN, 161 PF_STATE_OPT_MAX_SRC_CONN_RATE, PF_STATE_OPT_MAX_SRC_NODES, 162 PF_STATE_OPT_OVERLOAD, PF_STATE_OPT_STATELOCK, 163 PF_STATE_OPT_TIMEOUT, PF_STATE_OPT_SLOPPY, }; 164 165 enum { PF_SRCTRACK_NONE, PF_SRCTRACK, PF_SRCTRACK_GLOBAL, PF_SRCTRACK_RULE }; 166 167 struct node_state_opt { 168 int type; 169 union { 170 u_int32_t max_states; 171 u_int32_t max_src_states; 172 u_int32_t max_src_conn; 173 struct { 174 u_int32_t limit; 175 u_int32_t seconds; 176 } max_src_conn_rate; 177 struct { 178 u_int8_t flush; 179 char tblname[PF_TABLE_NAME_SIZE]; 180 } overload; 181 u_int32_t max_src_nodes; 182 u_int8_t src_track; 183 u_int32_t statelock; 184 struct { 185 int number; 186 u_int32_t seconds; 187 } timeout; 188 } data; 189 struct node_state_opt *next; 190 struct node_state_opt *tail; 191 }; 192 193 struct peer { 194 struct node_host *host; 195 struct node_port *port; 196 }; 197 198 struct node_queue { 199 char queue[PF_QNAME_SIZE]; 200 char parent[PF_QNAME_SIZE]; 201 char ifname[IFNAMSIZ]; 202 int scheduler; 203 struct node_queue *next; 204 struct node_queue *tail; 205 } *queues = NULL; 206 207 struct node_qassign { 208 char *qname; 209 char *pqname; 210 }; 211 212 struct filter_opts { 213 int marker; 214 #define FOM_FLAGS 0x01 215 #define FOM_ICMP 0x02 216 #define FOM_TOS 0x04 217 #define FOM_KEEP 0x08 218 #define FOM_SRCTRACK 0x10 219 struct node_uid *uid; 220 struct node_gid *gid; 221 struct { 222 u_int8_t b1; 223 u_int8_t b2; 224 u_int16_t w; 225 u_int16_t w2; 226 } flags; 227 struct node_icmp *icmpspec; 228 u_int32_t tos; 229 u_int32_t prob; 230 struct { 231 int action; 232 struct node_state_opt *options; 233 } keep; 234 int fragment; 235 int allowopts; 236 char *label; 237 struct node_qassign queues; 238 char *tag; 239 char *match_tag; 240 u_int8_t match_tag_not; 241 u_int rtableid; 242 struct { 243 struct node_host *addr; 244 u_int16_t port; 245 } divert; 246 } filter_opts; 247 248 struct antispoof_opts { 249 char *label; 250 u_int rtableid; 251 } antispoof_opts; 252 253 struct scrub_opts { 254 int marker; 255 #define SOM_MINTTL 0x01 256 #define SOM_MAXMSS 0x02 257 #define SOM_FRAGCACHE 0x04 258 #define SOM_SETTOS 0x08 259 int nodf; 260 int minttl; 261 int maxmss; 262 int settos; 263 int fragcache; 264 int randomid; 265 int reassemble_tcp; 266 char *match_tag; 267 u_int8_t match_tag_not; 268 u_int rtableid; 269 } scrub_opts; 270 271 struct queue_opts { 272 int marker; 273 #define QOM_BWSPEC 0x01 274 #define QOM_SCHEDULER 0x02 275 #define QOM_PRIORITY 0x04 276 #define QOM_TBRSIZE 0x08 277 #define QOM_QLIMIT 0x10 278 struct node_queue_bw queue_bwspec; 279 struct node_queue_opt scheduler; 280 int priority; 281 int tbrsize; 282 int qlimit; 283 } queue_opts; 284 285 struct table_opts { 286 int flags; 287 int init_addr; 288 struct node_tinithead init_nodes; 289 } table_opts; 290 291 struct pool_opts { 292 int marker; 293 #define POM_TYPE 0x01 294 #define POM_STICKYADDRESS 0x02 295 u_int8_t opts; 296 int type; 297 int staticport; 298 struct pf_poolhashkey *key; 299 300 } pool_opts; 301 302 303 struct node_hfsc_opts hfsc_opts; 304 struct node_fairq_opts fairq_opts; 305 struct node_state_opt *keep_state_defaults = NULL; 306 307 int disallow_table(struct node_host *, const char *); 308 int disallow_urpf_failed(struct node_host *, const char *); 309 int disallow_alias(struct node_host *, const char *); 310 int rule_consistent(struct pf_rule *, int); 311 int filter_consistent(struct pf_rule *, int); 312 int nat_consistent(struct pf_rule *); 313 int rdr_consistent(struct pf_rule *); 314 int process_tabledef(char *, struct table_opts *); 315 void expand_label_str(char *, size_t, const char *, const char *); 316 void expand_label_if(const char *, char *, size_t, const char *); 317 void expand_label_addr(const char *, char *, size_t, u_int8_t, 318 struct node_host *); 319 void expand_label_port(const char *, char *, size_t, 320 struct node_port *); 321 void expand_label_proto(const char *, char *, size_t, u_int8_t); 322 void expand_label_nr(const char *, char *, size_t); 323 void expand_label(char *, size_t, const char *, u_int8_t, 324 struct node_host *, struct node_port *, struct node_host *, 325 struct node_port *, u_int8_t); 326 void expand_rule(struct pf_rule *, struct node_if *, 327 struct node_host *, struct node_proto *, struct node_os *, 328 struct node_host *, struct node_port *, struct node_host *, 329 struct node_port *, struct node_uid *, struct node_gid *, 330 struct node_icmp *, const char *); 331 int expand_altq(struct pf_altq *, struct node_if *, 332 struct node_queue *, struct node_queue_bw bwspec, 333 struct node_queue_opt *); 334 int expand_queue(struct pf_altq *, struct node_if *, 335 struct node_queue *, struct node_queue_bw, 336 struct node_queue_opt *); 337 int expand_skip_interface(struct node_if *); 338 339 int check_rulestate(int); 340 int getservice(char *); 341 int rule_label(struct pf_rule *, char *); 342 int rt_tableid_max(void); 343 344 void mv_rules(struct pf_ruleset *, struct pf_ruleset *); 345 void decide_address_family(struct node_host *, sa_family_t *); 346 void remove_invalid_hosts(struct node_host **, sa_family_t *); 347 int invalid_redirect(struct node_host *, sa_family_t); 348 u_int16_t parseicmpspec(char *, sa_family_t); 349 350 TAILQ_HEAD(loadanchorshead, loadanchors) 351 loadanchorshead = TAILQ_HEAD_INITIALIZER(loadanchorshead); 352 353 struct loadanchors { 354 TAILQ_ENTRY(loadanchors) entries; 355 char *anchorname; 356 char *filename; 357 }; 358 359 typedef struct { 360 union { 361 int64_t number; 362 double probability; 363 int i; 364 char *string; 365 u_int rtableid; 366 struct { 367 u_int8_t b1; 368 u_int8_t b2; 369 u_int16_t w; 370 u_int16_t w2; 371 } b; 372 struct range { 373 int a; 374 int b; 375 int t; 376 } range; 377 struct node_if *interface; 378 struct node_proto *proto; 379 struct node_icmp *icmp; 380 struct node_host *host; 381 struct node_os *os; 382 struct node_port *port; 383 struct node_uid *uid; 384 struct node_gid *gid; 385 struct node_state_opt *state_opt; 386 struct peer peer; 387 struct { 388 struct peer src, dst; 389 struct node_os *src_os; 390 } fromto; 391 struct { 392 struct node_host *host; 393 u_int8_t rt; 394 u_int8_t pool_opts; 395 sa_family_t af; 396 struct pf_poolhashkey *key; 397 } route; 398 struct redirection { 399 struct node_host *host; 400 struct range rport; 401 } *redirection; 402 struct { 403 int action; 404 struct node_state_opt *options; 405 } keep_state; 406 struct { 407 u_int8_t log; 408 u_int8_t logif; 409 u_int8_t quick; 410 } logquick; 411 struct { 412 int neg; 413 char *name; 414 } tagged; 415 struct pf_poolhashkey *hashkey; 416 struct node_queue *queue; 417 struct node_queue_opt queue_options; 418 struct node_queue_bw queue_bwspec; 419 struct node_qassign qassign; 420 struct filter_opts filter_opts; 421 struct antispoof_opts antispoof_opts; 422 struct queue_opts queue_opts; 423 struct scrub_opts scrub_opts; 424 struct table_opts table_opts; 425 struct pool_opts pool_opts; 426 struct node_hfsc_opts hfsc_opts; 427 struct node_fairq_opts fairq_opts; 428 } v; 429 int lineno; 430 } YYSTYPE; 431 432 #define PPORT_RANGE 1 433 #define PPORT_STAR 2 434 int parseport(char *, struct range *r, int); 435 436 #define DYNIF_MULTIADDR(addr) ((addr).type == PF_ADDR_DYNIFTL && \ 437 (!((addr).iflags & PFI_AFLAG_NOALIAS) || \ 438 !isdigit((addr).v.ifname[strlen((addr).v.ifname)-1]))) 439 440 %} 441 442 %token PASS BLOCK SCRUB RETURN IN OS OUT LOG QUICK ON FROM TO FLAGS 443 %token RETURNRST RETURNICMP RETURNICMP6 PROTO INET INET6 ALL ANY ICMPTYPE 444 %token ICMP6TYPE CODE KEEP MODULATE STATE PORT RDR NAT BINAT ARROW NODF 445 %token MINTTL ERROR ALLOWOPTS FASTROUTE FILENAME ROUTETO DUPTO REPLYTO NO LABEL 446 %token NOROUTE URPFFAILED FRAGMENT USER GROUP MAXMSS MAXIMUM TTL TOS DROP TABLE 447 %token REASSEMBLE FRAGDROP FRAGCROP ANCHOR NATANCHOR RDRANCHOR BINATANCHOR 448 %token SET OPTIMIZATION TIMEOUT LIMIT LOGINTERFACE BLOCKPOLICY RANDOMID 449 %token REQUIREORDER SYNPROXY FINGERPRINTS NOSYNC DEBUG SKIP HOSTID 450 %token ANTISPOOF FOR INCLUDE 451 %token BITMASK RANDOM SOURCEHASH ROUNDROBIN STATICPORT PROBABILITY 452 %token ALTQ CBQ PRIQ HFSC FAIRQ BANDWIDTH TBRSIZE LINKSHARE REALTIME UPPERLIMIT 453 %token QUEUE PRIORITY QLIMIT HOGS BUCKETS RTABLE 454 %token LOAD RULESET_OPTIMIZATION 455 %token STICKYADDRESS MAXSRCSTATES MAXSRCNODES SOURCETRACK GLOBAL RULE 456 %token MAXSRCCONN MAXSRCCONNRATE OVERLOAD FLUSH SLOPPY 457 %token TAGGED TAG IFBOUND FLOATING STATEPOLICY STATEDEFAULTS ROUTE SETTOS 458 %token DIVERTTO DIVERTREPLY 459 %token <v.string> STRING 460 %token <v.number> NUMBER 461 %token <v.i> PORTBINARY 462 %type <v.interface> interface if_list if_item_not if_item 463 %type <v.number> number icmptype icmp6type uid gid 464 %type <v.number> tos not yesno 465 %type <v.probability> probability 466 %type <v.i> no dir af fragcache optimizer 467 %type <v.i> sourcetrack flush unaryop statelock 468 %type <v.b> action nataction natpasslog scrubaction 469 %type <v.b> flags flag blockspec 470 %type <v.range> portplain portstar portrange 471 %type <v.hashkey> hashkey 472 %type <v.proto> proto proto_list proto_item 473 %type <v.number> protoval 474 %type <v.icmp> icmpspec 475 %type <v.icmp> icmp_list icmp_item 476 %type <v.icmp> icmp6_list icmp6_item 477 %type <v.number> reticmpspec reticmp6spec 478 %type <v.fromto> fromto 479 %type <v.peer> ipportspec from to 480 %type <v.host> ipspec toipspec xhost host dynaddr host_list 481 %type <v.host> redir_host_list redirspec 482 %type <v.host> route_host route_host_list routespec 483 %type <v.os> os xos os_list 484 %type <v.port> portspec port_list port_item 485 %type <v.uid> uids uid_list uid_item 486 %type <v.gid> gids gid_list gid_item 487 %type <v.route> route 488 %type <v.redirection> redirection redirpool 489 %type <v.string> label stringall tag anchorname 490 %type <v.string> string varstring numberstring 491 %type <v.keep_state> keep 492 %type <v.state_opt> state_opt_spec state_opt_list state_opt_item 493 %type <v.logquick> logquick quick log logopts logopt 494 %type <v.interface> antispoof_ifspc antispoof_iflst antispoof_if 495 %type <v.qassign> qname 496 %type <v.queue> qassign qassign_list qassign_item 497 %type <v.queue_options> scheduler 498 %type <v.number> cbqflags_list cbqflags_item 499 %type <v.number> priqflags_list priqflags_item 500 %type <v.hfsc_opts> hfscopts_list hfscopts_item hfsc_opts 501 %type <v.fairq_opts> fairqopts_list fairqopts_item fairq_opts 502 %type <v.queue_bwspec> bandwidth 503 %type <v.filter_opts> filter_opts filter_opt filter_opts_l 504 %type <v.antispoof_opts> antispoof_opts antispoof_opt antispoof_opts_l 505 %type <v.queue_opts> queue_opts queue_opt queue_opts_l 506 %type <v.scrub_opts> scrub_opts scrub_opt scrub_opts_l 507 %type <v.table_opts> table_opts table_opt table_opts_l 508 %type <v.pool_opts> pool_opts pool_opt pool_opts_l 509 %type <v.tagged> tagged 510 %type <v.rtableid> rtable 511 %% 512 513 ruleset : /* empty */ 514 | ruleset include '\n' 515 | ruleset '\n' 516 | ruleset option '\n' 517 | ruleset scrubrule '\n' 518 | ruleset natrule '\n' 519 | ruleset binatrule '\n' 520 | ruleset pfrule '\n' 521 | ruleset anchorrule '\n' 522 | ruleset loadrule '\n' 523 | ruleset altqif '\n' 524 | ruleset queuespec '\n' 525 | ruleset varset '\n' 526 | ruleset antispoof '\n' 527 | ruleset tabledef '\n' 528 | '{' fakeanchor '}' '\n'; 529 | ruleset error '\n' { file->errors++; } 530 ; 531 532 include : INCLUDE STRING { 533 struct file *nfile; 534 535 if ((nfile = pushfile($2, 0)) == NULL) { 536 yyerror("failed to include file %s", $2); 537 free($2); 538 YYERROR; 539 } 540 free($2); 541 542 file = nfile; 543 lungetc('\n'); 544 } 545 ; 546 547 /* 548 * apply to previouslys specified rule: must be careful to note 549 * what that is: pf or nat or binat or rdr 550 */ 551 fakeanchor : fakeanchor '\n' 552 | fakeanchor anchorrule '\n' 553 | fakeanchor binatrule '\n' 554 | fakeanchor natrule '\n' 555 | fakeanchor pfrule '\n' 556 | fakeanchor error '\n' 557 ; 558 559 optimizer : string { 560 if (!strcmp($1, "none")) 561 $$ = 0; 562 else if (!strcmp($1, "basic")) 563 $$ = PF_OPTIMIZE_BASIC; 564 else if (!strcmp($1, "profile")) 565 $$ = PF_OPTIMIZE_BASIC | PF_OPTIMIZE_PROFILE; 566 else { 567 yyerror("unknown ruleset-optimization %s", $1); 568 YYERROR; 569 } 570 } 571 ; 572 573 option : SET OPTIMIZATION STRING { 574 if (check_rulestate(PFCTL_STATE_OPTION)) { 575 free($3); 576 YYERROR; 577 } 578 if (pfctl_set_optimization(pf, $3) != 0) { 579 yyerror("unknown optimization %s", $3); 580 free($3); 581 YYERROR; 582 } 583 free($3); 584 } 585 | SET RULESET_OPTIMIZATION optimizer { 586 if (!(pf->opts & PF_OPT_OPTIMIZE)) { 587 pf->opts |= PF_OPT_OPTIMIZE; 588 pf->optimize = $3; 589 } 590 } 591 | SET TIMEOUT timeout_spec 592 | SET TIMEOUT '{' optnl timeout_list '}' 593 | SET LIMIT limit_spec 594 | SET LIMIT '{' optnl limit_list '}' 595 | SET LOGINTERFACE stringall { 596 if (check_rulestate(PFCTL_STATE_OPTION)) { 597 free($3); 598 YYERROR; 599 } 600 if (pfctl_set_logif(pf, $3) != 0) { 601 yyerror("error setting loginterface %s", $3); 602 free($3); 603 YYERROR; 604 } 605 free($3); 606 } 607 | SET HOSTID number { 608 if ($3 == 0 || $3 > UINT_MAX) { 609 yyerror("hostid must be non-zero"); 610 YYERROR; 611 } 612 if (pfctl_set_hostid(pf, $3) != 0) { 613 yyerror("error setting hostid %08x", $3); 614 YYERROR; 615 } 616 } 617 | SET BLOCKPOLICY DROP { 618 if (pf->opts & PF_OPT_VERBOSE) 619 printf("set block-policy drop\n"); 620 if (check_rulestate(PFCTL_STATE_OPTION)) 621 YYERROR; 622 blockpolicy = PFRULE_DROP; 623 } 624 | SET BLOCKPOLICY RETURN { 625 if (pf->opts & PF_OPT_VERBOSE) 626 printf("set block-policy return\n"); 627 if (check_rulestate(PFCTL_STATE_OPTION)) 628 YYERROR; 629 blockpolicy = PFRULE_RETURN; 630 } 631 | SET REQUIREORDER yesno { 632 if (pf->opts & PF_OPT_VERBOSE) 633 printf("set require-order %s\n", 634 $3 == 1 ? "yes" : "no"); 635 require_order = $3; 636 } 637 | SET FINGERPRINTS STRING { 638 if (pf->opts & PF_OPT_VERBOSE) 639 printf("set fingerprints \"%s\"\n", $3); 640 if (check_rulestate(PFCTL_STATE_OPTION)) { 641 free($3); 642 YYERROR; 643 } 644 if (!pf->anchor->name[0]) { 645 if (pfctl_file_fingerprints(pf->dev, 646 pf->opts, $3)) { 647 yyerror("error loading " 648 "fingerprints %s", $3); 649 free($3); 650 YYERROR; 651 } 652 } 653 free($3); 654 } 655 | SET STATEPOLICY statelock { 656 if (pf->opts & PF_OPT_VERBOSE) 657 switch ($3) { 658 case 0: 659 printf("set state-policy floating\n"); 660 break; 661 case PFRULE_IFBOUND: 662 printf("set state-policy if-bound\n"); 663 break; 664 } 665 default_statelock = $3; 666 } 667 | SET DEBUG STRING { 668 if (check_rulestate(PFCTL_STATE_OPTION)) { 669 free($3); 670 YYERROR; 671 } 672 if (pfctl_set_debug(pf, $3) != 0) { 673 yyerror("error setting debuglevel %s", $3); 674 free($3); 675 YYERROR; 676 } 677 free($3); 678 } 679 | SET SKIP interface { 680 if (expand_skip_interface($3) != 0) { 681 yyerror("error setting skip interface(s)"); 682 YYERROR; 683 } 684 } 685 | SET STATEDEFAULTS state_opt_list { 686 if (keep_state_defaults != NULL) { 687 yyerror("cannot redefine state-defaults"); 688 YYERROR; 689 } 690 keep_state_defaults = $3; 691 } 692 ; 693 694 stringall : STRING { $$ = $1; } 695 | ALL { 696 if (($$ = strdup("all")) == NULL) { 697 err(1, "stringall: strdup"); 698 } 699 } 700 ; 701 702 string : STRING string { 703 if (asprintf(&$$, "%s %s", $1, $2) == -1) 704 err(1, "string: asprintf"); 705 free($1); 706 free($2); 707 } 708 | STRING 709 ; 710 711 varstring : numberstring varstring { 712 if (asprintf(&$$, "%s %s", $1, $2) == -1) 713 err(1, "string: asprintf"); 714 free($1); 715 free($2); 716 } 717 | numberstring 718 ; 719 720 numberstring : NUMBER { 721 char *s; 722 if (asprintf(&s, "%lld", (long long)$1) == -1) { 723 yyerror("string: asprintf"); 724 YYERROR; 725 } 726 $$ = s; 727 } 728 | STRING 729 ; 730 731 varset : STRING '=' varstring { 732 if (pf->opts & PF_OPT_VERBOSE) 733 printf("%s = \"%s\"\n", $1, $3); 734 if (symset($1, $3, 0) == -1) 735 err(1, "cannot store variable %s", $1); 736 free($1); 737 free($3); 738 } 739 ; 740 741 anchorname : STRING { $$ = $1; } 742 | /* empty */ { $$ = NULL; } 743 ; 744 745 pfa_anchorlist : /* empty */ 746 | pfa_anchorlist '\n' 747 | pfa_anchorlist pfrule '\n' 748 | pfa_anchorlist anchorrule '\n' 749 ; 750 751 pfa_anchor : '{' 752 { 753 char ta[PF_ANCHOR_NAME_SIZE]; 754 struct pf_ruleset *rs; 755 756 /* steping into a brace anchor */ 757 pf->asd++; 758 pf->bn++; 759 pf->brace = 1; 760 761 /* create a holding ruleset in the root */ 762 snprintf(ta, PF_ANCHOR_NAME_SIZE, "_%d", pf->bn); 763 rs = pf_find_or_create_ruleset(ta); 764 if (rs == NULL) 765 err(1, "pfa_anchor: pf_find_or_create_ruleset"); 766 pf->astack[pf->asd] = rs->anchor; 767 pf->anchor = rs->anchor; 768 } '\n' pfa_anchorlist '}' 769 { 770 pf->alast = pf->anchor; 771 pf->asd--; 772 pf->anchor = pf->astack[pf->asd]; 773 } 774 | /* empty */ 775 ; 776 777 anchorrule : ANCHOR anchorname dir quick interface af proto fromto 778 filter_opts pfa_anchor 779 { 780 struct pf_rule r; 781 struct node_proto *proto; 782 783 if (check_rulestate(PFCTL_STATE_FILTER)) { 784 if ($2) 785 free($2); 786 YYERROR; 787 } 788 789 if ($2 && ($2[0] == '_' || strstr($2, "/_") != NULL)) { 790 free($2); 791 yyerror("anchor names beginning with '_' " 792 "are reserved for internal use"); 793 YYERROR; 794 } 795 796 memset(&r, 0, sizeof(r)); 797 if (pf->astack[pf->asd + 1]) { 798 /* move inline rules into relative location */ 799 pf_anchor_setup(&r, 800 &pf->astack[pf->asd]->ruleset, 801 $2 ? $2 : pf->alast->name); 802 803 if (r.anchor == NULL) 804 err(1, "anchorrule: unable to " 805 "create ruleset"); 806 807 if (pf->alast != r.anchor) { 808 if (r.anchor->match) { 809 yyerror("inline anchor '%s' " 810 "already exists", 811 r.anchor->name); 812 YYERROR; 813 } 814 mv_rules(&pf->alast->ruleset, 815 &r.anchor->ruleset); 816 } 817 pf_remove_if_empty_ruleset(&pf->alast->ruleset); 818 pf->alast = r.anchor; 819 } else { 820 if (!$2) { 821 yyerror("anchors without explicit " 822 "rules must specify a name"); 823 YYERROR; 824 } 825 } 826 r.direction = $3; 827 r.quick = $4.quick; 828 r.af = $6; 829 r.prob = $9.prob; 830 r.rtableid = $9.rtableid; 831 832 if ($9.tag) 833 if (strlcpy(r.tagname, $9.tag, 834 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 835 yyerror("tag too long, max %u chars", 836 PF_TAG_NAME_SIZE - 1); 837 YYERROR; 838 } 839 if ($9.match_tag) 840 if (strlcpy(r.match_tagname, $9.match_tag, 841 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 842 yyerror("tag too long, max %u chars", 843 PF_TAG_NAME_SIZE - 1); 844 YYERROR; 845 } 846 r.match_tag_not = $9.match_tag_not; 847 if (rule_label(&r, $9.label)) 848 YYERROR; 849 free($9.label); 850 r.flags = $9.flags.b1; 851 r.flagset = $9.flags.b2; 852 if (($9.flags.b1 & $9.flags.b2) != $9.flags.b1) { 853 yyerror("flags always false"); 854 YYERROR; 855 } 856 if ($9.flags.b1 || $9.flags.b2 || $8.src_os) { 857 for (proto = $7; proto != NULL && 858 proto->proto != IPPROTO_TCP; 859 proto = proto->next) 860 ; /* nothing */ 861 if (proto == NULL && $7 != NULL) { 862 if ($9.flags.b1 || $9.flags.b2) 863 yyerror( 864 "flags only apply to tcp"); 865 if ($8.src_os) 866 yyerror( 867 "OS fingerprinting only " 868 "applies to tcp"); 869 YYERROR; 870 } 871 } 872 873 r.tos = $9.tos; 874 875 if ($9.keep.action) { 876 yyerror("cannot specify state handling " 877 "on anchors"); 878 YYERROR; 879 } 880 881 if ($9.match_tag) 882 if (strlcpy(r.match_tagname, $9.match_tag, 883 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 884 yyerror("tag too long, max %u chars", 885 PF_TAG_NAME_SIZE - 1); 886 YYERROR; 887 } 888 r.match_tag_not = $9.match_tag_not; 889 890 decide_address_family($8.src.host, &r.af); 891 decide_address_family($8.dst.host, &r.af); 892 893 expand_rule(&r, $5, NULL, $7, $8.src_os, 894 $8.src.host, $8.src.port, $8.dst.host, $8.dst.port, 895 $9.uid, $9.gid, $9.icmpspec, 896 pf->astack[pf->asd + 1] ? pf->alast->name : $2); 897 free($2); 898 pf->astack[pf->asd + 1] = NULL; 899 } 900 | NATANCHOR string interface af proto fromto rtable { 901 struct pf_rule r; 902 903 if (check_rulestate(PFCTL_STATE_NAT)) { 904 free($2); 905 YYERROR; 906 } 907 908 memset(&r, 0, sizeof(r)); 909 r.action = PF_NAT; 910 r.af = $4; 911 r.rtableid = $7; 912 913 decide_address_family($6.src.host, &r.af); 914 decide_address_family($6.dst.host, &r.af); 915 916 expand_rule(&r, $3, NULL, $5, $6.src_os, 917 $6.src.host, $6.src.port, $6.dst.host, $6.dst.port, 918 0, 0, 0, $2); 919 free($2); 920 } 921 | RDRANCHOR string interface af proto fromto rtable { 922 struct pf_rule r; 923 924 if (check_rulestate(PFCTL_STATE_NAT)) { 925 free($2); 926 YYERROR; 927 } 928 929 memset(&r, 0, sizeof(r)); 930 r.action = PF_RDR; 931 r.af = $4; 932 r.rtableid = $7; 933 934 decide_address_family($6.src.host, &r.af); 935 decide_address_family($6.dst.host, &r.af); 936 937 if ($6.src.port != NULL) { 938 yyerror("source port parameter not supported" 939 " in rdr-anchor"); 940 YYERROR; 941 } 942 if ($6.dst.port != NULL) { 943 if ($6.dst.port->next != NULL) { 944 yyerror("destination port list " 945 "expansion not supported in " 946 "rdr-anchor"); 947 YYERROR; 948 } else if ($6.dst.port->op != PF_OP_EQ) { 949 yyerror("destination port operators" 950 " not supported in rdr-anchor"); 951 YYERROR; 952 } 953 r.dst.port[0] = $6.dst.port->port[0]; 954 r.dst.port[1] = $6.dst.port->port[1]; 955 r.dst.port_op = $6.dst.port->op; 956 } 957 958 expand_rule(&r, $3, NULL, $5, $6.src_os, 959 $6.src.host, $6.src.port, $6.dst.host, $6.dst.port, 960 0, 0, 0, $2); 961 free($2); 962 } 963 | BINATANCHOR string interface af proto fromto rtable { 964 struct pf_rule r; 965 966 if (check_rulestate(PFCTL_STATE_NAT)) { 967 free($2); 968 YYERROR; 969 } 970 971 memset(&r, 0, sizeof(r)); 972 r.action = PF_BINAT; 973 r.af = $4; 974 r.rtableid = $7; 975 if ($5 != NULL) { 976 if ($5->next != NULL) { 977 yyerror("proto list expansion" 978 " not supported in binat-anchor"); 979 YYERROR; 980 } 981 r.proto = $5->proto; 982 free($5); 983 } 984 985 if ($6.src.host != NULL || $6.src.port != NULL || 986 $6.dst.host != NULL || $6.dst.port != NULL) { 987 yyerror("fromto parameter not supported" 988 " in binat-anchor"); 989 YYERROR; 990 } 991 992 decide_address_family($6.src.host, &r.af); 993 decide_address_family($6.dst.host, &r.af); 994 995 pfctl_add_rule(pf, &r, $2); 996 free($2); 997 } 998 ; 999 1000 loadrule : LOAD ANCHOR string FROM string { 1001 struct loadanchors *loadanchor; 1002 1003 if (strlen(pf->anchor->name) + 1 + 1004 strlen($3) >= MAXPATHLEN) { 1005 yyerror("anchorname %s too long, max %u\n", 1006 $3, MAXPATHLEN - 1); 1007 free($3); 1008 YYERROR; 1009 } 1010 loadanchor = calloc(1, sizeof(struct loadanchors)); 1011 if (loadanchor == NULL) 1012 err(1, "loadrule: calloc"); 1013 if ((loadanchor->anchorname = malloc(MAXPATHLEN)) == 1014 NULL) 1015 err(1, "loadrule: malloc"); 1016 if (pf->anchor->name[0]) 1017 snprintf(loadanchor->anchorname, MAXPATHLEN, 1018 "%s/%s", pf->anchor->name, $3); 1019 else 1020 strlcpy(loadanchor->anchorname, $3, MAXPATHLEN); 1021 if ((loadanchor->filename = strdup($5)) == NULL) 1022 err(1, "loadrule: strdup"); 1023 1024 TAILQ_INSERT_TAIL(&loadanchorshead, loadanchor, 1025 entries); 1026 1027 free($3); 1028 free($5); 1029 }; 1030 1031 scrubaction : no SCRUB { 1032 $$.b2 = $$.w = 0; 1033 if ($1) 1034 $$.b1 = PF_NOSCRUB; 1035 else 1036 $$.b1 = PF_SCRUB; 1037 } 1038 ; 1039 1040 scrubrule : scrubaction dir logquick interface af proto fromto scrub_opts 1041 { 1042 struct pf_rule r; 1043 1044 if (check_rulestate(PFCTL_STATE_SCRUB)) 1045 YYERROR; 1046 1047 memset(&r, 0, sizeof(r)); 1048 1049 r.action = $1.b1; 1050 r.direction = $2; 1051 1052 r.log = $3.log; 1053 r.logif = $3.logif; 1054 if ($3.quick) { 1055 yyerror("scrub rules do not support 'quick'"); 1056 YYERROR; 1057 } 1058 1059 r.af = $5; 1060 if ($8.nodf) 1061 r.rule_flag |= PFRULE_NODF; 1062 if ($8.randomid) 1063 r.rule_flag |= PFRULE_RANDOMID; 1064 if ($8.reassemble_tcp) { 1065 if (r.direction != PF_INOUT) { 1066 yyerror("reassemble tcp rules can not " 1067 "specify direction"); 1068 YYERROR; 1069 } 1070 r.rule_flag |= PFRULE_REASSEMBLE_TCP; 1071 } 1072 if ($8.minttl) 1073 r.min_ttl = $8.minttl; 1074 if ($8.maxmss) 1075 r.max_mss = $8.maxmss; 1076 if ($8.marker & SOM_SETTOS) { 1077 r.rule_flag |= PFRULE_SET_TOS; 1078 r.set_tos = $8.settos; 1079 } 1080 if ($8.fragcache) 1081 r.rule_flag |= $8.fragcache; 1082 if ($8.match_tag) 1083 if (strlcpy(r.match_tagname, $8.match_tag, 1084 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 1085 yyerror("tag too long, max %u chars", 1086 PF_TAG_NAME_SIZE - 1); 1087 YYERROR; 1088 } 1089 r.match_tag_not = $8.match_tag_not; 1090 r.rtableid = $8.rtableid; 1091 1092 expand_rule(&r, $4, NULL, $6, $7.src_os, 1093 $7.src.host, $7.src.port, $7.dst.host, $7.dst.port, 1094 NULL, NULL, NULL, ""); 1095 } 1096 ; 1097 1098 scrub_opts : { 1099 bzero(&scrub_opts, sizeof scrub_opts); 1100 scrub_opts.rtableid = -1; 1101 } 1102 scrub_opts_l 1103 { $$ = scrub_opts; } 1104 | /* empty */ { 1105 bzero(&scrub_opts, sizeof scrub_opts); 1106 scrub_opts.rtableid = -1; 1107 $$ = scrub_opts; 1108 } 1109 ; 1110 1111 scrub_opts_l : scrub_opts_l scrub_opt 1112 | scrub_opt 1113 ; 1114 1115 scrub_opt : NODF { 1116 if (scrub_opts.nodf) { 1117 yyerror("no-df cannot be respecified"); 1118 YYERROR; 1119 } 1120 scrub_opts.nodf = 1; 1121 } 1122 | MINTTL NUMBER { 1123 if (scrub_opts.marker & SOM_MINTTL) { 1124 yyerror("min-ttl cannot be respecified"); 1125 YYERROR; 1126 } 1127 if ($2 < 0 || $2 > 255) { 1128 yyerror("illegal min-ttl value %d", $2); 1129 YYERROR; 1130 } 1131 scrub_opts.marker |= SOM_MINTTL; 1132 scrub_opts.minttl = $2; 1133 } 1134 | MAXMSS NUMBER { 1135 if (scrub_opts.marker & SOM_MAXMSS) { 1136 yyerror("max-mss cannot be respecified"); 1137 YYERROR; 1138 } 1139 if ($2 < 0 || $2 > 65535) { 1140 yyerror("illegal max-mss value %d", $2); 1141 YYERROR; 1142 } 1143 scrub_opts.marker |= SOM_MAXMSS; 1144 scrub_opts.maxmss = $2; 1145 } 1146 | SETTOS tos { 1147 if (scrub_opts.marker & SOM_SETTOS) { 1148 yyerror("set-tos cannot be respecified"); 1149 YYERROR; 1150 } 1151 scrub_opts.marker |= SOM_SETTOS; 1152 scrub_opts.settos = $2; 1153 } 1154 | fragcache { 1155 if (scrub_opts.marker & SOM_FRAGCACHE) { 1156 yyerror("fragcache cannot be respecified"); 1157 YYERROR; 1158 } 1159 scrub_opts.marker |= SOM_FRAGCACHE; 1160 scrub_opts.fragcache = $1; 1161 } 1162 | REASSEMBLE STRING { 1163 if (strcasecmp($2, "tcp") != 0) { 1164 yyerror("scrub reassemble supports only tcp, " 1165 "not '%s'", $2); 1166 free($2); 1167 YYERROR; 1168 } 1169 free($2); 1170 if (scrub_opts.reassemble_tcp) { 1171 yyerror("reassemble tcp cannot be respecified"); 1172 YYERROR; 1173 } 1174 scrub_opts.reassemble_tcp = 1; 1175 } 1176 | RANDOMID { 1177 if (scrub_opts.randomid) { 1178 yyerror("random-id cannot be respecified"); 1179 YYERROR; 1180 } 1181 scrub_opts.randomid = 1; 1182 } 1183 | RTABLE NUMBER { 1184 if ($2 < 0 || $2 > rt_tableid_max()) { 1185 yyerror("invalid rtable id"); 1186 YYERROR; 1187 } 1188 scrub_opts.rtableid = $2; 1189 } 1190 | not TAGGED string { 1191 scrub_opts.match_tag = $3; 1192 scrub_opts.match_tag_not = $1; 1193 } 1194 ; 1195 1196 fragcache : FRAGMENT REASSEMBLE { $$ = 0; /* default */ } 1197 | FRAGMENT FRAGCROP { $$ = PFRULE_FRAGCROP; } 1198 | FRAGMENT FRAGDROP { $$ = PFRULE_FRAGDROP; } 1199 ; 1200 1201 antispoof : ANTISPOOF logquick antispoof_ifspc af antispoof_opts { 1202 struct pf_rule r; 1203 struct node_host *h = NULL, *hh; 1204 struct node_if *i, *j; 1205 1206 if (check_rulestate(PFCTL_STATE_FILTER)) 1207 YYERROR; 1208 1209 for (i = $3; i; i = i->next) { 1210 bzero(&r, sizeof(r)); 1211 1212 r.action = PF_DROP; 1213 r.direction = PF_IN; 1214 r.log = $2.log; 1215 r.logif = $2.logif; 1216 r.quick = $2.quick; 1217 r.af = $4; 1218 if (rule_label(&r, $5.label)) 1219 YYERROR; 1220 r.rtableid = $5.rtableid; 1221 j = calloc(1, sizeof(struct node_if)); 1222 if (j == NULL) 1223 err(1, "antispoof: calloc"); 1224 if (strlcpy(j->ifname, i->ifname, 1225 sizeof(j->ifname)) >= sizeof(j->ifname)) { 1226 free(j); 1227 yyerror("interface name too long"); 1228 YYERROR; 1229 } 1230 j->not = 1; 1231 if (i->dynamic) { 1232 h = calloc(1, sizeof(*h)); 1233 if (h == NULL) 1234 err(1, "address: calloc"); 1235 h->addr.type = PF_ADDR_DYNIFTL; 1236 set_ipmask(h, 128); 1237 if (strlcpy(h->addr.v.ifname, i->ifname, 1238 sizeof(h->addr.v.ifname)) >= 1239 sizeof(h->addr.v.ifname)) { 1240 free(h); 1241 yyerror( 1242 "interface name too long"); 1243 YYERROR; 1244 } 1245 hh = malloc(sizeof(*hh)); 1246 if (hh == NULL) 1247 err(1, "address: malloc"); 1248 bcopy(h, hh, sizeof(*hh)); 1249 h->addr.iflags = PFI_AFLAG_NETWORK; 1250 } else { 1251 h = ifa_lookup(j->ifname, 1252 PFI_AFLAG_NETWORK); 1253 hh = NULL; 1254 } 1255 1256 if (h != NULL) 1257 expand_rule(&r, j, NULL, NULL, NULL, h, 1258 NULL, NULL, NULL, NULL, NULL, 1259 NULL, ""); 1260 1261 if ((i->ifa_flags & IFF_LOOPBACK) == 0) { 1262 bzero(&r, sizeof(r)); 1263 1264 r.action = PF_DROP; 1265 r.direction = PF_IN; 1266 r.log = $2.log; 1267 r.logif = $2.logif; 1268 r.quick = $2.quick; 1269 r.af = $4; 1270 if (rule_label(&r, $5.label)) 1271 YYERROR; 1272 r.rtableid = $5.rtableid; 1273 if (hh != NULL) 1274 h = hh; 1275 else 1276 h = ifa_lookup(i->ifname, 0); 1277 if (h != NULL) 1278 expand_rule(&r, NULL, NULL, 1279 NULL, NULL, h, NULL, NULL, 1280 NULL, NULL, NULL, NULL, ""); 1281 } else 1282 free(hh); 1283 } 1284 free($5.label); 1285 } 1286 ; 1287 1288 antispoof_ifspc : FOR antispoof_if { $$ = $2; } 1289 | FOR '{' optnl antispoof_iflst '}' { $$ = $4; } 1290 ; 1291 1292 antispoof_iflst : antispoof_if optnl { $$ = $1; } 1293 | antispoof_iflst comma antispoof_if optnl { 1294 $1->tail->next = $3; 1295 $1->tail = $3; 1296 $$ = $1; 1297 } 1298 ; 1299 1300 antispoof_if : if_item { $$ = $1; } 1301 | '(' if_item ')' { 1302 $2->dynamic = 1; 1303 $$ = $2; 1304 } 1305 ; 1306 1307 antispoof_opts : { 1308 bzero(&antispoof_opts, sizeof antispoof_opts); 1309 antispoof_opts.rtableid = -1; 1310 } 1311 antispoof_opts_l 1312 { $$ = antispoof_opts; } 1313 | /* empty */ { 1314 bzero(&antispoof_opts, sizeof antispoof_opts); 1315 antispoof_opts.rtableid = -1; 1316 $$ = antispoof_opts; 1317 } 1318 ; 1319 1320 antispoof_opts_l : antispoof_opts_l antispoof_opt 1321 | antispoof_opt 1322 ; 1323 1324 antispoof_opt : label { 1325 if (antispoof_opts.label) { 1326 yyerror("label cannot be redefined"); 1327 YYERROR; 1328 } 1329 antispoof_opts.label = $1; 1330 } 1331 | RTABLE NUMBER { 1332 if ($2 < 0 || $2 > rt_tableid_max()) { 1333 yyerror("invalid rtable id"); 1334 YYERROR; 1335 } 1336 antispoof_opts.rtableid = $2; 1337 } 1338 ; 1339 1340 not : '!' { $$ = 1; } 1341 | /* empty */ { $$ = 0; } 1342 ; 1343 1344 tabledef : TABLE '<' STRING '>' table_opts { 1345 struct node_host *h, *nh; 1346 struct node_tinit *ti, *nti; 1347 1348 if (strlen($3) >= PF_TABLE_NAME_SIZE) { 1349 yyerror("table name too long, max %d chars", 1350 PF_TABLE_NAME_SIZE - 1); 1351 free($3); 1352 YYERROR; 1353 } 1354 if (pf->loadopt & PFCTL_FLAG_TABLE) 1355 if (process_tabledef($3, &$5)) { 1356 free($3); 1357 YYERROR; 1358 } 1359 free($3); 1360 for (ti = SIMPLEQ_FIRST(&$5.init_nodes); 1361 ti != SIMPLEQ_END(&$5.init_nodes); ti = nti) { 1362 if (ti->file) 1363 free(ti->file); 1364 for (h = ti->host; h != NULL; h = nh) { 1365 nh = h->next; 1366 free(h); 1367 } 1368 nti = SIMPLEQ_NEXT(ti, entries); 1369 free(ti); 1370 } 1371 } 1372 ; 1373 1374 table_opts : { 1375 bzero(&table_opts, sizeof table_opts); 1376 SIMPLEQ_INIT(&table_opts.init_nodes); 1377 } 1378 table_opts_l 1379 { $$ = table_opts; } 1380 | /* empty */ 1381 { 1382 bzero(&table_opts, sizeof table_opts); 1383 SIMPLEQ_INIT(&table_opts.init_nodes); 1384 $$ = table_opts; 1385 } 1386 ; 1387 1388 table_opts_l : table_opts_l table_opt 1389 | table_opt 1390 ; 1391 1392 table_opt : STRING { 1393 if (!strcmp($1, "const")) 1394 table_opts.flags |= PFR_TFLAG_CONST; 1395 else if (!strcmp($1, "persist")) 1396 table_opts.flags |= PFR_TFLAG_PERSIST; 1397 else if (!strcmp($1, "counters")) 1398 table_opts.flags |= PFR_TFLAG_COUNTERS; 1399 else { 1400 yyerror("invalid table option '%s'", $1); 1401 free($1); 1402 YYERROR; 1403 } 1404 free($1); 1405 } 1406 | '{' optnl '}' { table_opts.init_addr = 1; } 1407 | '{' optnl host_list '}' { 1408 struct node_host *n; 1409 struct node_tinit *ti; 1410 1411 for (n = $3; n != NULL; n = n->next) { 1412 switch (n->addr.type) { 1413 case PF_ADDR_ADDRMASK: 1414 continue; /* ok */ 1415 case PF_ADDR_RANGE: 1416 yyerror("address ranges are not " 1417 "permitted inside tables"); 1418 break; 1419 case PF_ADDR_DYNIFTL: 1420 yyerror("dynamic addresses are not " 1421 "permitted inside tables"); 1422 break; 1423 case PF_ADDR_TABLE: 1424 yyerror("tables cannot contain tables"); 1425 break; 1426 case PF_ADDR_NOROUTE: 1427 yyerror("\"no-route\" is not permitted " 1428 "inside tables"); 1429 break; 1430 case PF_ADDR_URPFFAILED: 1431 yyerror("\"urpf-failed\" is not " 1432 "permitted inside tables"); 1433 break; 1434 default: 1435 yyerror("unknown address type %d", 1436 n->addr.type); 1437 } 1438 YYERROR; 1439 } 1440 if (!(ti = calloc(1, sizeof(*ti)))) 1441 err(1, "table_opt: calloc"); 1442 ti->host = $3; 1443 SIMPLEQ_INSERT_TAIL(&table_opts.init_nodes, ti, 1444 entries); 1445 table_opts.init_addr = 1; 1446 } 1447 | FILENAME STRING { 1448 struct node_tinit *ti; 1449 1450 if (!(ti = calloc(1, sizeof(*ti)))) 1451 err(1, "table_opt: calloc"); 1452 ti->file = $2; 1453 SIMPLEQ_INSERT_TAIL(&table_opts.init_nodes, ti, 1454 entries); 1455 table_opts.init_addr = 1; 1456 } 1457 ; 1458 1459 altqif : ALTQ interface queue_opts QUEUE qassign { 1460 struct pf_altq a; 1461 1462 if (check_rulestate(PFCTL_STATE_QUEUE)) 1463 YYERROR; 1464 1465 memset(&a, 0, sizeof(a)); 1466 if ($3.scheduler.qtype == ALTQT_NONE) { 1467 yyerror("no scheduler specified!"); 1468 YYERROR; 1469 } 1470 a.scheduler = $3.scheduler.qtype; 1471 a.qlimit = $3.qlimit; 1472 a.tbrsize = $3.tbrsize; 1473 if ($5 == NULL) { 1474 yyerror("no child queues specified"); 1475 YYERROR; 1476 } 1477 if (expand_altq(&a, $2, $5, $3.queue_bwspec, 1478 &$3.scheduler)) 1479 YYERROR; 1480 } 1481 ; 1482 1483 queuespec : QUEUE STRING interface queue_opts qassign { 1484 struct pf_altq a; 1485 1486 if (check_rulestate(PFCTL_STATE_QUEUE)) { 1487 free($2); 1488 YYERROR; 1489 } 1490 1491 memset(&a, 0, sizeof(a)); 1492 1493 if (strlcpy(a.qname, $2, sizeof(a.qname)) >= 1494 sizeof(a.qname)) { 1495 yyerror("queue name too long (max " 1496 "%d chars)", PF_QNAME_SIZE-1); 1497 free($2); 1498 YYERROR; 1499 } 1500 free($2); 1501 if ($4.tbrsize) { 1502 yyerror("cannot specify tbrsize for queue"); 1503 YYERROR; 1504 } 1505 if ($4.priority > 255) { 1506 yyerror("priority out of range: max 255"); 1507 YYERROR; 1508 } 1509 a.priority = $4.priority; 1510 a.qlimit = $4.qlimit; 1511 a.scheduler = $4.scheduler.qtype; 1512 if (expand_queue(&a, $3, $5, $4.queue_bwspec, 1513 &$4.scheduler)) { 1514 yyerror("errors in queue definition"); 1515 YYERROR; 1516 } 1517 } 1518 ; 1519 1520 queue_opts : { 1521 bzero(&queue_opts, sizeof queue_opts); 1522 queue_opts.priority = DEFAULT_PRIORITY; 1523 queue_opts.qlimit = DEFAULT_QLIMIT; 1524 queue_opts.scheduler.qtype = ALTQT_NONE; 1525 queue_opts.queue_bwspec.bw_percent = 100; 1526 } 1527 queue_opts_l 1528 { $$ = queue_opts; } 1529 | /* empty */ { 1530 bzero(&queue_opts, sizeof queue_opts); 1531 queue_opts.priority = DEFAULT_PRIORITY; 1532 queue_opts.qlimit = DEFAULT_QLIMIT; 1533 queue_opts.scheduler.qtype = ALTQT_NONE; 1534 queue_opts.queue_bwspec.bw_percent = 100; 1535 $$ = queue_opts; 1536 } 1537 ; 1538 1539 queue_opts_l : queue_opts_l queue_opt 1540 | queue_opt 1541 ; 1542 1543 queue_opt : BANDWIDTH bandwidth { 1544 if (queue_opts.marker & QOM_BWSPEC) { 1545 yyerror("bandwidth cannot be respecified"); 1546 YYERROR; 1547 } 1548 queue_opts.marker |= QOM_BWSPEC; 1549 queue_opts.queue_bwspec = $2; 1550 } 1551 | PRIORITY NUMBER { 1552 if (queue_opts.marker & QOM_PRIORITY) { 1553 yyerror("priority cannot be respecified"); 1554 YYERROR; 1555 } 1556 if ($2 < 0 || $2 > 255) { 1557 yyerror("priority out of range: max 255"); 1558 YYERROR; 1559 } 1560 queue_opts.marker |= QOM_PRIORITY; 1561 queue_opts.priority = $2; 1562 } 1563 | QLIMIT NUMBER { 1564 if (queue_opts.marker & QOM_QLIMIT) { 1565 yyerror("qlimit cannot be respecified"); 1566 YYERROR; 1567 } 1568 if ($2 < 0 || $2 > 65535) { 1569 yyerror("qlimit out of range: max 65535"); 1570 YYERROR; 1571 } 1572 queue_opts.marker |= QOM_QLIMIT; 1573 queue_opts.qlimit = $2; 1574 } 1575 | scheduler { 1576 if (queue_opts.marker & QOM_SCHEDULER) { 1577 yyerror("scheduler cannot be respecified"); 1578 YYERROR; 1579 } 1580 queue_opts.marker |= QOM_SCHEDULER; 1581 queue_opts.scheduler = $1; 1582 } 1583 | TBRSIZE NUMBER { 1584 if (queue_opts.marker & QOM_TBRSIZE) { 1585 yyerror("tbrsize cannot be respecified"); 1586 YYERROR; 1587 } 1588 if ($2 < 0 || $2 > 65535) { 1589 yyerror("tbrsize too big: max 65535"); 1590 YYERROR; 1591 } 1592 queue_opts.marker |= QOM_TBRSIZE; 1593 queue_opts.tbrsize = $2; 1594 } 1595 ; 1596 1597 bandwidth : STRING { 1598 double bps; 1599 char *cp; 1600 1601 $$.bw_percent = 0; 1602 1603 bps = strtod($1, &cp); 1604 if (cp != NULL) { 1605 if (!strcmp(cp, "b")) 1606 ; /* nothing */ 1607 else if (!strcmp(cp, "Kb")) 1608 bps *= 1000; 1609 else if (!strcmp(cp, "Mb")) 1610 bps *= 1000 * 1000; 1611 else if (!strcmp(cp, "Gb")) 1612 bps *= 1000 * 1000 * 1000; 1613 else if (!strcmp(cp, "%")) { 1614 if (bps < 0 || bps > 100) { 1615 yyerror("bandwidth spec " 1616 "out of range"); 1617 free($1); 1618 YYERROR; 1619 } 1620 $$.bw_percent = bps; 1621 bps = 0; 1622 } else { 1623 yyerror("unknown unit %s", cp); 1624 free($1); 1625 YYERROR; 1626 } 1627 } 1628 free($1); 1629 $$.bw_absolute = (u_int32_t)bps; 1630 } 1631 | NUMBER { 1632 if ($1 < 0 || $1 > UINT_MAX) { 1633 yyerror("bandwidth number too big"); 1634 YYERROR; 1635 } 1636 $$.bw_percent = 0; 1637 $$.bw_absolute = $1; 1638 } 1639 ; 1640 1641 scheduler : CBQ { 1642 $$.qtype = ALTQT_CBQ; 1643 $$.data.cbq_opts.flags = 0; 1644 } 1645 | CBQ '(' cbqflags_list ')' { 1646 $$.qtype = ALTQT_CBQ; 1647 $$.data.cbq_opts.flags = $3; 1648 } 1649 | PRIQ { 1650 $$.qtype = ALTQT_PRIQ; 1651 $$.data.priq_opts.flags = 0; 1652 } 1653 | PRIQ '(' priqflags_list ')' { 1654 $$.qtype = ALTQT_PRIQ; 1655 $$.data.priq_opts.flags = $3; 1656 } 1657 | HFSC { 1658 $$.qtype = ALTQT_HFSC; 1659 bzero(&$$.data.hfsc_opts, 1660 sizeof(struct node_hfsc_opts)); 1661 } 1662 | HFSC '(' hfsc_opts ')' { 1663 $$.qtype = ALTQT_HFSC; 1664 $$.data.hfsc_opts = $3; 1665 } 1666 | FAIRQ { 1667 $$.qtype = ALTQT_FAIRQ; 1668 bzero(&$$.data.fairq_opts, 1669 sizeof(struct node_fairq_opts)); 1670 } 1671 | FAIRQ '(' fairq_opts ')' { 1672 $$.qtype = ALTQT_FAIRQ; 1673 $$.data.fairq_opts = $3; 1674 } 1675 ; 1676 1677 cbqflags_list : cbqflags_item { $$ |= $1; } 1678 | cbqflags_list comma cbqflags_item { $$ |= $3; } 1679 ; 1680 1681 cbqflags_item : STRING { 1682 if (!strcmp($1, "default")) 1683 $$ = CBQCLF_DEFCLASS; 1684 else if (!strcmp($1, "borrow")) 1685 $$ = CBQCLF_BORROW; 1686 else if (!strcmp($1, "red")) 1687 $$ = CBQCLF_RED; 1688 else if (!strcmp($1, "ecn")) 1689 $$ = CBQCLF_RED|CBQCLF_ECN; 1690 else if (!strcmp($1, "rio")) 1691 $$ = CBQCLF_RIO; 1692 else { 1693 yyerror("unknown cbq flag \"%s\"", $1); 1694 free($1); 1695 YYERROR; 1696 } 1697 free($1); 1698 } 1699 ; 1700 1701 priqflags_list : priqflags_item { $$ |= $1; } 1702 | priqflags_list comma priqflags_item { $$ |= $3; } 1703 ; 1704 1705 priqflags_item : STRING { 1706 if (!strcmp($1, "default")) 1707 $$ = PRCF_DEFAULTCLASS; 1708 else if (!strcmp($1, "red")) 1709 $$ = PRCF_RED; 1710 else if (!strcmp($1, "ecn")) 1711 $$ = PRCF_RED|PRCF_ECN; 1712 else if (!strcmp($1, "rio")) 1713 $$ = PRCF_RIO; 1714 else { 1715 yyerror("unknown priq flag \"%s\"", $1); 1716 free($1); 1717 YYERROR; 1718 } 1719 free($1); 1720 } 1721 ; 1722 1723 hfsc_opts : { 1724 bzero(&hfsc_opts, 1725 sizeof(struct node_hfsc_opts)); 1726 } 1727 hfscopts_list { 1728 $$ = hfsc_opts; 1729 } 1730 ; 1731 1732 hfscopts_list : hfscopts_item 1733 | hfscopts_list comma hfscopts_item 1734 ; 1735 1736 hfscopts_item : LINKSHARE bandwidth { 1737 if (hfsc_opts.linkshare.used) { 1738 yyerror("linkshare already specified"); 1739 YYERROR; 1740 } 1741 hfsc_opts.linkshare.m2 = $2; 1742 hfsc_opts.linkshare.used = 1; 1743 } 1744 | LINKSHARE '(' bandwidth comma NUMBER comma bandwidth ')' 1745 { 1746 if ($5 < 0 || $5 > INT_MAX) { 1747 yyerror("timing in curve out of range"); 1748 YYERROR; 1749 } 1750 if (hfsc_opts.linkshare.used) { 1751 yyerror("linkshare already specified"); 1752 YYERROR; 1753 } 1754 hfsc_opts.linkshare.m1 = $3; 1755 hfsc_opts.linkshare.d = $5; 1756 hfsc_opts.linkshare.m2 = $7; 1757 hfsc_opts.linkshare.used = 1; 1758 } 1759 | REALTIME bandwidth { 1760 if (hfsc_opts.realtime.used) { 1761 yyerror("realtime already specified"); 1762 YYERROR; 1763 } 1764 hfsc_opts.realtime.m2 = $2; 1765 hfsc_opts.realtime.used = 1; 1766 } 1767 | REALTIME '(' bandwidth comma NUMBER comma bandwidth ')' 1768 { 1769 if ($5 < 0 || $5 > INT_MAX) { 1770 yyerror("timing in curve out of range"); 1771 YYERROR; 1772 } 1773 if (hfsc_opts.realtime.used) { 1774 yyerror("realtime already specified"); 1775 YYERROR; 1776 } 1777 hfsc_opts.realtime.m1 = $3; 1778 hfsc_opts.realtime.d = $5; 1779 hfsc_opts.realtime.m2 = $7; 1780 hfsc_opts.realtime.used = 1; 1781 } 1782 | UPPERLIMIT bandwidth { 1783 if (hfsc_opts.upperlimit.used) { 1784 yyerror("upperlimit already specified"); 1785 YYERROR; 1786 } 1787 hfsc_opts.upperlimit.m2 = $2; 1788 hfsc_opts.upperlimit.used = 1; 1789 } 1790 | UPPERLIMIT '(' bandwidth comma NUMBER comma bandwidth ')' 1791 { 1792 if ($5 < 0 || $5 > INT_MAX) { 1793 yyerror("timing in curve out of range"); 1794 YYERROR; 1795 } 1796 if (hfsc_opts.upperlimit.used) { 1797 yyerror("upperlimit already specified"); 1798 YYERROR; 1799 } 1800 hfsc_opts.upperlimit.m1 = $3; 1801 hfsc_opts.upperlimit.d = $5; 1802 hfsc_opts.upperlimit.m2 = $7; 1803 hfsc_opts.upperlimit.used = 1; 1804 } 1805 | STRING { 1806 if (!strcmp($1, "default")) 1807 hfsc_opts.flags |= HFCF_DEFAULTCLASS; 1808 else if (!strcmp($1, "red")) 1809 hfsc_opts.flags |= HFCF_RED; 1810 else if (!strcmp($1, "ecn")) 1811 hfsc_opts.flags |= HFCF_RED|HFCF_ECN; 1812 else if (!strcmp($1, "rio")) 1813 hfsc_opts.flags |= HFCF_RIO; 1814 else { 1815 yyerror("unknown hfsc flag \"%s\"", $1); 1816 free($1); 1817 YYERROR; 1818 } 1819 free($1); 1820 } 1821 ; 1822 1823 fairq_opts : { 1824 bzero(&fairq_opts, 1825 sizeof(struct node_fairq_opts)); 1826 } 1827 fairqopts_list { 1828 $$ = fairq_opts; 1829 } 1830 ; 1831 1832 fairqopts_list : fairqopts_item 1833 | fairqopts_list comma fairqopts_item 1834 ; 1835 1836 fairqopts_item : LINKSHARE bandwidth { 1837 if (fairq_opts.linkshare.used) { 1838 yyerror("linkshare already specified"); 1839 YYERROR; 1840 } 1841 fairq_opts.linkshare.m2 = $2; 1842 fairq_opts.linkshare.used = 1; 1843 } 1844 | LINKSHARE '(' bandwidth number bandwidth ')' { 1845 if (fairq_opts.linkshare.used) { 1846 yyerror("linkshare already specified"); 1847 YYERROR; 1848 } 1849 fairq_opts.linkshare.m1 = $3; 1850 fairq_opts.linkshare.d = $4; 1851 fairq_opts.linkshare.m2 = $5; 1852 fairq_opts.linkshare.used = 1; 1853 } 1854 | HOGS bandwidth { 1855 fairq_opts.hogs_bw = $2; 1856 } 1857 | BUCKETS number { 1858 fairq_opts.nbuckets = $2; 1859 } 1860 | STRING { 1861 if (!strcmp($1, "default")) 1862 fairq_opts.flags |= FARF_DEFAULTCLASS; 1863 else if (!strcmp($1, "red")) 1864 fairq_opts.flags |= FARF_RED; 1865 else if (!strcmp($1, "ecn")) 1866 fairq_opts.flags |= FARF_RED|FARF_ECN; 1867 else if (!strcmp($1, "rio")) 1868 fairq_opts.flags |= FARF_RIO; 1869 else { 1870 yyerror("unknown fairq flag \"%s\"", $1); 1871 free($1); 1872 YYERROR; 1873 } 1874 free($1); 1875 } 1876 ; 1877 1878 qassign : /* empty */ { $$ = NULL; } 1879 | qassign_item { $$ = $1; } 1880 | '{' optnl qassign_list '}' { $$ = $3; } 1881 ; 1882 1883 qassign_list : qassign_item optnl { $$ = $1; } 1884 | qassign_list comma qassign_item optnl { 1885 $1->tail->next = $3; 1886 $1->tail = $3; 1887 $$ = $1; 1888 } 1889 ; 1890 1891 qassign_item : STRING { 1892 $$ = calloc(1, sizeof(struct node_queue)); 1893 if ($$ == NULL) 1894 err(1, "qassign_item: calloc"); 1895 if (strlcpy($$->queue, $1, sizeof($$->queue)) >= 1896 sizeof($$->queue)) { 1897 yyerror("queue name '%s' too long (max " 1898 "%d chars)", $1, sizeof($$->queue)-1); 1899 free($1); 1900 free($$); 1901 YYERROR; 1902 } 1903 free($1); 1904 $$->next = NULL; 1905 $$->tail = $$; 1906 } 1907 ; 1908 1909 pfrule : action dir logquick interface route af proto fromto 1910 filter_opts 1911 { 1912 struct pf_rule r; 1913 struct node_state_opt *o; 1914 struct node_proto *proto; 1915 int srctrack = 0; 1916 int statelock = 0; 1917 int adaptive = 0; 1918 int defaults = 0; 1919 1920 if (check_rulestate(PFCTL_STATE_FILTER)) 1921 YYERROR; 1922 1923 memset(&r, 0, sizeof(r)); 1924 1925 r.action = $1.b1; 1926 switch ($1.b2) { 1927 case PFRULE_RETURNRST: 1928 r.rule_flag |= PFRULE_RETURNRST; 1929 r.return_ttl = $1.w; 1930 break; 1931 case PFRULE_RETURNICMP: 1932 r.rule_flag |= PFRULE_RETURNICMP; 1933 r.return_icmp = $1.w; 1934 r.return_icmp6 = $1.w2; 1935 break; 1936 case PFRULE_RETURN: 1937 r.rule_flag |= PFRULE_RETURN; 1938 r.return_icmp = $1.w; 1939 r.return_icmp6 = $1.w2; 1940 break; 1941 } 1942 r.direction = $2; 1943 r.log = $3.log; 1944 r.logif = $3.logif; 1945 r.quick = $3.quick; 1946 r.prob = $9.prob; 1947 r.rtableid = $9.rtableid; 1948 1949 r.af = $6; 1950 if ($9.tag) 1951 if (strlcpy(r.tagname, $9.tag, 1952 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 1953 yyerror("tag too long, max %u chars", 1954 PF_TAG_NAME_SIZE - 1); 1955 YYERROR; 1956 } 1957 if ($9.match_tag) 1958 if (strlcpy(r.match_tagname, $9.match_tag, 1959 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 1960 yyerror("tag too long, max %u chars", 1961 PF_TAG_NAME_SIZE - 1); 1962 YYERROR; 1963 } 1964 r.match_tag_not = $9.match_tag_not; 1965 if (rule_label(&r, $9.label)) 1966 YYERROR; 1967 free($9.label); 1968 r.flags = $9.flags.b1; 1969 r.flagset = $9.flags.b2; 1970 if (($9.flags.b1 & $9.flags.b2) != $9.flags.b1) { 1971 yyerror("flags always false"); 1972 YYERROR; 1973 } 1974 if ($9.flags.b1 || $9.flags.b2 || $8.src_os) { 1975 for (proto = $7; proto != NULL && 1976 proto->proto != IPPROTO_TCP; 1977 proto = proto->next) 1978 ; /* nothing */ 1979 if (proto == NULL && $7 != NULL) { 1980 if ($9.flags.b1 || $9.flags.b2) 1981 yyerror( 1982 "flags only apply to tcp"); 1983 if ($8.src_os) 1984 yyerror( 1985 "OS fingerprinting only " 1986 "apply to tcp"); 1987 YYERROR; 1988 } 1989 #if 0 1990 if (($9.flags.b1 & parse_flags("S")) == 0 && 1991 $8.src_os) { 1992 yyerror("OS fingerprinting requires " 1993 "the SYN TCP flag (flags S/SA)"); 1994 YYERROR; 1995 } 1996 #endif 1997 } 1998 1999 r.tos = $9.tos; 2000 r.keep_state = $9.keep.action; 2001 o = $9.keep.options; 2002 2003 /* 'keep state' by default on pass rules. */ 2004 if (!r.keep_state && !r.action && 2005 !($9.marker & FOM_KEEP)) { 2006 r.keep_state = PF_STATE_NORMAL; 2007 o = keep_state_defaults; 2008 defaults = 1; 2009 } 2010 2011 while (o) { 2012 struct node_state_opt *p = o; 2013 2014 switch (o->type) { 2015 case PF_STATE_OPT_MAX: 2016 if (r.max_states) { 2017 yyerror("state option 'max' " 2018 "multiple definitions"); 2019 YYERROR; 2020 } 2021 r.max_states = o->data.max_states; 2022 break; 2023 case PF_STATE_OPT_NOSYNC: 2024 if (r.rule_flag & PFRULE_NOSYNC) { 2025 yyerror("state option 'sync' " 2026 "multiple definitions"); 2027 YYERROR; 2028 } 2029 r.rule_flag |= PFRULE_NOSYNC; 2030 break; 2031 case PF_STATE_OPT_SRCTRACK: 2032 if (srctrack) { 2033 yyerror("state option " 2034 "'source-track' " 2035 "multiple definitions"); 2036 YYERROR; 2037 } 2038 srctrack = o->data.src_track; 2039 r.rule_flag |= PFRULE_SRCTRACK; 2040 break; 2041 case PF_STATE_OPT_MAX_SRC_STATES: 2042 if (r.max_src_states) { 2043 yyerror("state option " 2044 "'max-src-states' " 2045 "multiple definitions"); 2046 YYERROR; 2047 } 2048 if (o->data.max_src_states == 0) { 2049 yyerror("'max-src-states' must " 2050 "be > 0"); 2051 YYERROR; 2052 } 2053 r.max_src_states = 2054 o->data.max_src_states; 2055 r.rule_flag |= PFRULE_SRCTRACK; 2056 break; 2057 case PF_STATE_OPT_OVERLOAD: 2058 if (r.overload_tblname[0]) { 2059 yyerror("multiple 'overload' " 2060 "table definitions"); 2061 YYERROR; 2062 } 2063 if (strlcpy(r.overload_tblname, 2064 o->data.overload.tblname, 2065 PF_TABLE_NAME_SIZE) >= 2066 PF_TABLE_NAME_SIZE) { 2067 yyerror("state option: " 2068 "strlcpy"); 2069 YYERROR; 2070 } 2071 r.flush = o->data.overload.flush; 2072 break; 2073 case PF_STATE_OPT_MAX_SRC_CONN: 2074 if (r.max_src_conn) { 2075 yyerror("state option " 2076 "'max-src-conn' " 2077 "multiple definitions"); 2078 YYERROR; 2079 } 2080 if (o->data.max_src_conn == 0) { 2081 yyerror("'max-src-conn' " 2082 "must be > 0"); 2083 YYERROR; 2084 } 2085 r.max_src_conn = 2086 o->data.max_src_conn; 2087 r.rule_flag |= PFRULE_SRCTRACK | 2088 PFRULE_RULESRCTRACK; 2089 break; 2090 case PF_STATE_OPT_MAX_SRC_CONN_RATE: 2091 if (r.max_src_conn_rate.limit) { 2092 yyerror("state option " 2093 "'max-src-conn-rate' " 2094 "multiple definitions"); 2095 YYERROR; 2096 } 2097 if (!o->data.max_src_conn_rate.limit || 2098 !o->data.max_src_conn_rate.seconds) { 2099 yyerror("'max-src-conn-rate' " 2100 "values must be > 0"); 2101 YYERROR; 2102 } 2103 if (o->data.max_src_conn_rate.limit > 2104 PF_THRESHOLD_MAX) { 2105 yyerror("'max-src-conn-rate' " 2106 "maximum rate must be < %u", 2107 PF_THRESHOLD_MAX); 2108 YYERROR; 2109 } 2110 r.max_src_conn_rate.limit = 2111 o->data.max_src_conn_rate.limit; 2112 r.max_src_conn_rate.seconds = 2113 o->data.max_src_conn_rate.seconds; 2114 r.rule_flag |= PFRULE_SRCTRACK | 2115 PFRULE_RULESRCTRACK; 2116 break; 2117 case PF_STATE_OPT_MAX_SRC_NODES: 2118 if (r.max_src_nodes) { 2119 yyerror("state option " 2120 "'max-src-nodes' " 2121 "multiple definitions"); 2122 YYERROR; 2123 } 2124 if (o->data.max_src_nodes == 0) { 2125 yyerror("'max-src-nodes' must " 2126 "be > 0"); 2127 YYERROR; 2128 } 2129 r.max_src_nodes = 2130 o->data.max_src_nodes; 2131 r.rule_flag |= PFRULE_SRCTRACK | 2132 PFRULE_RULESRCTRACK; 2133 break; 2134 case PF_STATE_OPT_STATELOCK: 2135 if (statelock) { 2136 yyerror("state locking option: " 2137 "multiple definitions"); 2138 YYERROR; 2139 } 2140 statelock = 1; 2141 r.rule_flag |= o->data.statelock; 2142 break; 2143 case PF_STATE_OPT_SLOPPY: 2144 if (r.rule_flag & PFRULE_STATESLOPPY) { 2145 yyerror("state sloppy option: " 2146 "multiple definitions"); 2147 YYERROR; 2148 } 2149 r.rule_flag |= PFRULE_STATESLOPPY; 2150 break; 2151 case PF_STATE_OPT_TIMEOUT: 2152 if (o->data.timeout.number == 2153 PFTM_ADAPTIVE_START || 2154 o->data.timeout.number == 2155 PFTM_ADAPTIVE_END) 2156 adaptive = 1; 2157 if (r.timeout[o->data.timeout.number]) { 2158 yyerror("state timeout %s " 2159 "multiple definitions", 2160 pf_timeouts[o->data. 2161 timeout.number].name); 2162 YYERROR; 2163 } 2164 r.timeout[o->data.timeout.number] = 2165 o->data.timeout.seconds; 2166 } 2167 o = o->next; 2168 if (!defaults) 2169 free(p); 2170 } 2171 2172 /* 'flags S/SA' by default on stateful rules */ 2173 if (!r.action && !r.flags && !r.flagset && 2174 !$9.fragment && !($9.marker & FOM_FLAGS) && 2175 r.keep_state) { 2176 r.flags = parse_flags("S"); 2177 r.flagset = parse_flags("SA"); 2178 } 2179 if (!adaptive && r.max_states) { 2180 r.timeout[PFTM_ADAPTIVE_START] = 2181 (r.max_states / 10) * 6; 2182 r.timeout[PFTM_ADAPTIVE_END] = 2183 (r.max_states / 10) * 12; 2184 } 2185 if (r.rule_flag & PFRULE_SRCTRACK) { 2186 if (srctrack == PF_SRCTRACK_GLOBAL && 2187 r.max_src_nodes) { 2188 yyerror("'max-src-nodes' is " 2189 "incompatible with " 2190 "'source-track global'"); 2191 YYERROR; 2192 } 2193 if (srctrack == PF_SRCTRACK_GLOBAL && 2194 r.max_src_conn) { 2195 yyerror("'max-src-conn' is " 2196 "incompatible with " 2197 "'source-track global'"); 2198 YYERROR; 2199 } 2200 if (srctrack == PF_SRCTRACK_GLOBAL && 2201 r.max_src_conn_rate.seconds) { 2202 yyerror("'max-src-conn-rate' is " 2203 "incompatible with " 2204 "'source-track global'"); 2205 YYERROR; 2206 } 2207 if (r.timeout[PFTM_SRC_NODE] < 2208 r.max_src_conn_rate.seconds) 2209 r.timeout[PFTM_SRC_NODE] = 2210 r.max_src_conn_rate.seconds; 2211 r.rule_flag |= PFRULE_SRCTRACK; 2212 if (srctrack == PF_SRCTRACK_RULE) 2213 r.rule_flag |= PFRULE_RULESRCTRACK; 2214 } 2215 if (r.keep_state && !statelock) 2216 r.rule_flag |= default_statelock; 2217 2218 if ($9.fragment) 2219 r.rule_flag |= PFRULE_FRAGMENT; 2220 r.allow_opts = $9.allowopts; 2221 2222 decide_address_family($8.src.host, &r.af); 2223 decide_address_family($8.dst.host, &r.af); 2224 2225 if ($5.rt) { 2226 if (!r.direction) { 2227 yyerror("direction must be explicit " 2228 "with rules that specify routing"); 2229 YYERROR; 2230 } 2231 r.rt = $5.rt; 2232 r.rpool.opts = $5.pool_opts; 2233 if ($5.key != NULL) 2234 memcpy(&r.rpool.key, $5.key, 2235 sizeof(struct pf_poolhashkey)); 2236 } 2237 if (r.rt && r.rt != PF_FASTROUTE) { 2238 decide_address_family($5.host, &r.af); 2239 remove_invalid_hosts(&$5.host, &r.af); 2240 if ($5.host == NULL) { 2241 yyerror("no routing address with " 2242 "matching address family found."); 2243 YYERROR; 2244 } 2245 if ((r.rpool.opts & PF_POOL_TYPEMASK) == 2246 PF_POOL_NONE && ($5.host->next != NULL || 2247 $5.host->addr.type == PF_ADDR_TABLE || 2248 DYNIF_MULTIADDR($5.host->addr))) 2249 r.rpool.opts |= PF_POOL_ROUNDROBIN; 2250 if ((r.rpool.opts & PF_POOL_TYPEMASK) != 2251 PF_POOL_ROUNDROBIN && 2252 disallow_table($5.host, "tables are only " 2253 "supported in round-robin routing pools")) 2254 YYERROR; 2255 if ((r.rpool.opts & PF_POOL_TYPEMASK) != 2256 PF_POOL_ROUNDROBIN && 2257 disallow_alias($5.host, "interface (%s) " 2258 "is only supported in round-robin " 2259 "routing pools")) 2260 YYERROR; 2261 if ($5.host->next != NULL) { 2262 if ((r.rpool.opts & PF_POOL_TYPEMASK) != 2263 PF_POOL_ROUNDROBIN) { 2264 yyerror("r.rpool.opts must " 2265 "be PF_POOL_ROUNDROBIN"); 2266 YYERROR; 2267 } 2268 } 2269 } 2270 if ($9.queues.qname != NULL) { 2271 if (strlcpy(r.qname, $9.queues.qname, 2272 sizeof(r.qname)) >= sizeof(r.qname)) { 2273 yyerror("rule qname too long (max " 2274 "%d chars)", sizeof(r.qname)-1); 2275 YYERROR; 2276 } 2277 free($9.queues.qname); 2278 } 2279 if ($9.queues.pqname != NULL) { 2280 if (strlcpy(r.pqname, $9.queues.pqname, 2281 sizeof(r.pqname)) >= sizeof(r.pqname)) { 2282 yyerror("rule pqname too long (max " 2283 "%d chars)", sizeof(r.pqname)-1); 2284 YYERROR; 2285 } 2286 free($9.queues.pqname); 2287 } 2288 #ifdef __FreeBSD__ 2289 r.divert.port = $9.divert.port; 2290 #else 2291 if ((r.divert.port = $9.divert.port)) { 2292 if (r.direction == PF_OUT) { 2293 if ($9.divert.addr) { 2294 yyerror("address specified " 2295 "for outgoing divert"); 2296 YYERROR; 2297 } 2298 bzero(&r.divert.addr, 2299 sizeof(r.divert.addr)); 2300 } else { 2301 if (!$9.divert.addr) { 2302 yyerror("no address specified " 2303 "for incoming divert"); 2304 YYERROR; 2305 } 2306 if ($9.divert.addr->af != r.af) { 2307 yyerror("address family " 2308 "mismatch for divert"); 2309 YYERROR; 2310 } 2311 r.divert.addr = 2312 $9.divert.addr->addr.v.a.addr; 2313 } 2314 } 2315 #endif 2316 2317 expand_rule(&r, $4, $5.host, $7, $8.src_os, 2318 $8.src.host, $8.src.port, $8.dst.host, $8.dst.port, 2319 $9.uid, $9.gid, $9.icmpspec, ""); 2320 } 2321 ; 2322 2323 filter_opts : { 2324 bzero(&filter_opts, sizeof filter_opts); 2325 filter_opts.rtableid = -1; 2326 } 2327 filter_opts_l 2328 { $$ = filter_opts; } 2329 | /* empty */ { 2330 bzero(&filter_opts, sizeof filter_opts); 2331 filter_opts.rtableid = -1; 2332 $$ = filter_opts; 2333 } 2334 ; 2335 2336 filter_opts_l : filter_opts_l filter_opt 2337 | filter_opt 2338 ; 2339 2340 filter_opt : USER uids { 2341 if (filter_opts.uid) 2342 $2->tail->next = filter_opts.uid; 2343 filter_opts.uid = $2; 2344 } 2345 | GROUP gids { 2346 if (filter_opts.gid) 2347 $2->tail->next = filter_opts.gid; 2348 filter_opts.gid = $2; 2349 } 2350 | flags { 2351 if (filter_opts.marker & FOM_FLAGS) { 2352 yyerror("flags cannot be redefined"); 2353 YYERROR; 2354 } 2355 filter_opts.marker |= FOM_FLAGS; 2356 filter_opts.flags.b1 |= $1.b1; 2357 filter_opts.flags.b2 |= $1.b2; 2358 filter_opts.flags.w |= $1.w; 2359 filter_opts.flags.w2 |= $1.w2; 2360 } 2361 | icmpspec { 2362 if (filter_opts.marker & FOM_ICMP) { 2363 yyerror("icmp-type cannot be redefined"); 2364 YYERROR; 2365 } 2366 filter_opts.marker |= FOM_ICMP; 2367 filter_opts.icmpspec = $1; 2368 } 2369 | TOS tos { 2370 if (filter_opts.marker & FOM_TOS) { 2371 yyerror("tos cannot be redefined"); 2372 YYERROR; 2373 } 2374 filter_opts.marker |= FOM_TOS; 2375 filter_opts.tos = $2; 2376 } 2377 | keep { 2378 if (filter_opts.marker & FOM_KEEP) { 2379 yyerror("modulate or keep cannot be redefined"); 2380 YYERROR; 2381 } 2382 filter_opts.marker |= FOM_KEEP; 2383 filter_opts.keep.action = $1.action; 2384 filter_opts.keep.options = $1.options; 2385 } 2386 | FRAGMENT { 2387 filter_opts.fragment = 1; 2388 } 2389 | ALLOWOPTS { 2390 filter_opts.allowopts = 1; 2391 } 2392 | label { 2393 if (filter_opts.label) { 2394 yyerror("label cannot be redefined"); 2395 YYERROR; 2396 } 2397 filter_opts.label = $1; 2398 } 2399 | qname { 2400 if (filter_opts.queues.qname) { 2401 yyerror("queue cannot be redefined"); 2402 YYERROR; 2403 } 2404 filter_opts.queues = $1; 2405 } 2406 | TAG string { 2407 filter_opts.tag = $2; 2408 } 2409 | not TAGGED string { 2410 filter_opts.match_tag = $3; 2411 filter_opts.match_tag_not = $1; 2412 } 2413 | PROBABILITY probability { 2414 double p; 2415 2416 p = floor($2 * UINT_MAX + 0.5); 2417 if (p < 0.0 || p > UINT_MAX) { 2418 yyerror("invalid probability: %lf", p); 2419 YYERROR; 2420 } 2421 filter_opts.prob = (u_int32_t)p; 2422 if (filter_opts.prob == 0) 2423 filter_opts.prob = 1; 2424 } 2425 | RTABLE NUMBER { 2426 if ($2 < 0 || $2 > rt_tableid_max()) { 2427 yyerror("invalid rtable id"); 2428 YYERROR; 2429 } 2430 filter_opts.rtableid = $2; 2431 } 2432 | DIVERTTO portplain { 2433 #ifdef __FreeBSD__ 2434 filter_opts.divert.port = $2.a; 2435 if (!filter_opts.divert.port) { 2436 yyerror("invalid divert port: %u", ntohs($2.a)); 2437 YYERROR; 2438 } 2439 #endif 2440 } 2441 | DIVERTTO STRING PORT portplain { 2442 #ifndef __FreeBSD__ 2443 if ((filter_opts.divert.addr = host($2)) == NULL) { 2444 yyerror("could not parse divert address: %s", 2445 $2); 2446 free($2); 2447 YYERROR; 2448 } 2449 #else 2450 if ($2) 2451 #endif 2452 free($2); 2453 filter_opts.divert.port = $4.a; 2454 if (!filter_opts.divert.port) { 2455 yyerror("invalid divert port: %u", ntohs($4.a)); 2456 YYERROR; 2457 } 2458 } 2459 | DIVERTREPLY { 2460 #ifdef __FreeBSD__ 2461 yyerror("divert-reply has no meaning in FreeBSD pf(4)"); 2462 YYERROR; 2463 #else 2464 filter_opts.divert.port = 1; /* some random value */ 2465 #endif 2466 } 2467 ; 2468 2469 probability : STRING { 2470 char *e; 2471 double p = strtod($1, &e); 2472 2473 if (*e == '%') { 2474 p *= 0.01; 2475 e++; 2476 } 2477 if (*e) { 2478 yyerror("invalid probability: %s", $1); 2479 free($1); 2480 YYERROR; 2481 } 2482 free($1); 2483 $$ = p; 2484 } 2485 | NUMBER { 2486 $$ = (double)$1; 2487 } 2488 ; 2489 2490 2491 action : PASS { $$.b1 = PF_PASS; $$.b2 = $$.w = 0; } 2492 | BLOCK blockspec { $$ = $2; $$.b1 = PF_DROP; } 2493 ; 2494 2495 blockspec : /* empty */ { 2496 $$.b2 = blockpolicy; 2497 $$.w = returnicmpdefault; 2498 $$.w2 = returnicmp6default; 2499 } 2500 | DROP { 2501 $$.b2 = PFRULE_DROP; 2502 $$.w = 0; 2503 $$.w2 = 0; 2504 } 2505 | RETURNRST { 2506 $$.b2 = PFRULE_RETURNRST; 2507 $$.w = 0; 2508 $$.w2 = 0; 2509 } 2510 | RETURNRST '(' TTL NUMBER ')' { 2511 if ($4 < 0 || $4 > 255) { 2512 yyerror("illegal ttl value %d", $4); 2513 YYERROR; 2514 } 2515 $$.b2 = PFRULE_RETURNRST; 2516 $$.w = $4; 2517 $$.w2 = 0; 2518 } 2519 | RETURNICMP { 2520 $$.b2 = PFRULE_RETURNICMP; 2521 $$.w = returnicmpdefault; 2522 $$.w2 = returnicmp6default; 2523 } 2524 | RETURNICMP6 { 2525 $$.b2 = PFRULE_RETURNICMP; 2526 $$.w = returnicmpdefault; 2527 $$.w2 = returnicmp6default; 2528 } 2529 | RETURNICMP '(' reticmpspec ')' { 2530 $$.b2 = PFRULE_RETURNICMP; 2531 $$.w = $3; 2532 $$.w2 = returnicmpdefault; 2533 } 2534 | RETURNICMP6 '(' reticmp6spec ')' { 2535 $$.b2 = PFRULE_RETURNICMP; 2536 $$.w = returnicmpdefault; 2537 $$.w2 = $3; 2538 } 2539 | RETURNICMP '(' reticmpspec comma reticmp6spec ')' { 2540 $$.b2 = PFRULE_RETURNICMP; 2541 $$.w = $3; 2542 $$.w2 = $5; 2543 } 2544 | RETURN { 2545 $$.b2 = PFRULE_RETURN; 2546 $$.w = returnicmpdefault; 2547 $$.w2 = returnicmp6default; 2548 } 2549 ; 2550 2551 reticmpspec : STRING { 2552 if (!($$ = parseicmpspec($1, AF_INET))) { 2553 free($1); 2554 YYERROR; 2555 } 2556 free($1); 2557 } 2558 | NUMBER { 2559 u_int8_t icmptype; 2560 2561 if ($1 < 0 || $1 > 255) { 2562 yyerror("invalid icmp code %lu", $1); 2563 YYERROR; 2564 } 2565 icmptype = returnicmpdefault >> 8; 2566 $$ = (icmptype << 8 | $1); 2567 } 2568 ; 2569 2570 reticmp6spec : STRING { 2571 if (!($$ = parseicmpspec($1, AF_INET6))) { 2572 free($1); 2573 YYERROR; 2574 } 2575 free($1); 2576 } 2577 | NUMBER { 2578 u_int8_t icmptype; 2579 2580 if ($1 < 0 || $1 > 255) { 2581 yyerror("invalid icmp code %lu", $1); 2582 YYERROR; 2583 } 2584 icmptype = returnicmp6default >> 8; 2585 $$ = (icmptype << 8 | $1); 2586 } 2587 ; 2588 2589 dir : /* empty */ { $$ = PF_INOUT; } 2590 | IN { $$ = PF_IN; } 2591 | OUT { $$ = PF_OUT; } 2592 ; 2593 2594 quick : /* empty */ { $$.quick = 0; } 2595 | QUICK { $$.quick = 1; } 2596 ; 2597 2598 logquick : /* empty */ { $$.log = 0; $$.quick = 0; $$.logif = 0; } 2599 | log { $$ = $1; $$.quick = 0; } 2600 | QUICK { $$.quick = 1; $$.log = 0; $$.logif = 0; } 2601 | log QUICK { $$ = $1; $$.quick = 1; } 2602 | QUICK log { $$ = $2; $$.quick = 1; } 2603 ; 2604 2605 log : LOG { $$.log = PF_LOG; $$.logif = 0; } 2606 | LOG '(' logopts ')' { 2607 $$.log = PF_LOG | $3.log; 2608 $$.logif = $3.logif; 2609 } 2610 ; 2611 2612 logopts : logopt { $$ = $1; } 2613 | logopts comma logopt { 2614 $$.log = $1.log | $3.log; 2615 $$.logif = $3.logif; 2616 if ($$.logif == 0) 2617 $$.logif = $1.logif; 2618 } 2619 ; 2620 2621 logopt : ALL { $$.log = PF_LOG_ALL; $$.logif = 0; } 2622 | USER { $$.log = PF_LOG_SOCKET_LOOKUP; $$.logif = 0; } 2623 | GROUP { $$.log = PF_LOG_SOCKET_LOOKUP; $$.logif = 0; } 2624 | TO string { 2625 const char *errstr; 2626 u_int i; 2627 2628 $$.log = 0; 2629 if (strncmp($2, "pflog", 5)) { 2630 yyerror("%s: should be a pflog interface", $2); 2631 free($2); 2632 YYERROR; 2633 } 2634 i = strtonum($2 + 5, 0, 255, &errstr); 2635 if (errstr) { 2636 yyerror("%s: %s", $2, errstr); 2637 free($2); 2638 YYERROR; 2639 } 2640 free($2); 2641 $$.logif = i; 2642 } 2643 ; 2644 2645 interface : /* empty */ { $$ = NULL; } 2646 | ON if_item_not { $$ = $2; } 2647 | ON '{' optnl if_list '}' { $$ = $4; } 2648 ; 2649 2650 if_list : if_item_not optnl { $$ = $1; } 2651 | if_list comma if_item_not optnl { 2652 $1->tail->next = $3; 2653 $1->tail = $3; 2654 $$ = $1; 2655 } 2656 ; 2657 2658 if_item_not : not if_item { $$ = $2; $$->not = $1; } 2659 ; 2660 2661 if_item : STRING { 2662 struct node_host *n; 2663 2664 $$ = calloc(1, sizeof(struct node_if)); 2665 if ($$ == NULL) 2666 err(1, "if_item: calloc"); 2667 if (strlcpy($$->ifname, $1, sizeof($$->ifname)) >= 2668 sizeof($$->ifname)) { 2669 free($1); 2670 free($$); 2671 yyerror("interface name too long"); 2672 YYERROR; 2673 } 2674 2675 if ((n = ifa_exists($1)) != NULL) 2676 $$->ifa_flags = n->ifa_flags; 2677 2678 free($1); 2679 $$->not = 0; 2680 $$->next = NULL; 2681 $$->tail = $$; 2682 } 2683 ; 2684 2685 af : /* empty */ { $$ = 0; } 2686 | INET { $$ = AF_INET; } 2687 | INET6 { $$ = AF_INET6; } 2688 ; 2689 2690 proto : /* empty */ { $$ = NULL; } 2691 | PROTO proto_item { $$ = $2; } 2692 | PROTO '{' optnl proto_list '}' { $$ = $4; } 2693 ; 2694 2695 proto_list : proto_item optnl { $$ = $1; } 2696 | proto_list comma proto_item optnl { 2697 $1->tail->next = $3; 2698 $1->tail = $3; 2699 $$ = $1; 2700 } 2701 ; 2702 2703 proto_item : protoval { 2704 u_int8_t pr; 2705 2706 pr = (u_int8_t)$1; 2707 if (pr == 0) { 2708 yyerror("proto 0 cannot be used"); 2709 YYERROR; 2710 } 2711 $$ = calloc(1, sizeof(struct node_proto)); 2712 if ($$ == NULL) 2713 err(1, "proto_item: calloc"); 2714 $$->proto = pr; 2715 $$->next = NULL; 2716 $$->tail = $$; 2717 } 2718 ; 2719 2720 protoval : STRING { 2721 struct protoent *p; 2722 2723 p = getprotobyname($1); 2724 if (p == NULL) { 2725 yyerror("unknown protocol %s", $1); 2726 free($1); 2727 YYERROR; 2728 } 2729 $$ = p->p_proto; 2730 free($1); 2731 } 2732 | NUMBER { 2733 if ($1 < 0 || $1 > 255) { 2734 yyerror("protocol outside range"); 2735 YYERROR; 2736 } 2737 } 2738 ; 2739 2740 fromto : ALL { 2741 $$.src.host = NULL; 2742 $$.src.port = NULL; 2743 $$.dst.host = NULL; 2744 $$.dst.port = NULL; 2745 $$.src_os = NULL; 2746 } 2747 | from os to { 2748 $$.src = $1; 2749 $$.src_os = $2; 2750 $$.dst = $3; 2751 } 2752 ; 2753 2754 os : /* empty */ { $$ = NULL; } 2755 | OS xos { $$ = $2; } 2756 | OS '{' optnl os_list '}' { $$ = $4; } 2757 ; 2758 2759 xos : STRING { 2760 $$ = calloc(1, sizeof(struct node_os)); 2761 if ($$ == NULL) 2762 err(1, "os: calloc"); 2763 $$->os = $1; 2764 $$->tail = $$; 2765 } 2766 ; 2767 2768 os_list : xos optnl { $$ = $1; } 2769 | os_list comma xos optnl { 2770 $1->tail->next = $3; 2771 $1->tail = $3; 2772 $$ = $1; 2773 } 2774 ; 2775 2776 from : /* empty */ { 2777 $$.host = NULL; 2778 $$.port = NULL; 2779 } 2780 | FROM ipportspec { 2781 $$ = $2; 2782 } 2783 ; 2784 2785 to : /* empty */ { 2786 $$.host = NULL; 2787 $$.port = NULL; 2788 } 2789 | TO ipportspec { 2790 if (disallow_urpf_failed($2.host, "\"urpf-failed\" is " 2791 "not permitted in a destination address")) 2792 YYERROR; 2793 $$ = $2; 2794 } 2795 ; 2796 2797 ipportspec : ipspec { 2798 $$.host = $1; 2799 $$.port = NULL; 2800 } 2801 | ipspec PORT portspec { 2802 $$.host = $1; 2803 $$.port = $3; 2804 } 2805 | PORT portspec { 2806 $$.host = NULL; 2807 $$.port = $2; 2808 } 2809 ; 2810 2811 optnl : '\n' optnl 2812 | 2813 ; 2814 2815 ipspec : ANY { $$ = NULL; } 2816 | xhost { $$ = $1; } 2817 | '{' optnl host_list '}' { $$ = $3; } 2818 ; 2819 2820 toipspec : TO ipspec { $$ = $2; } 2821 | /* empty */ { $$ = NULL; } 2822 ; 2823 2824 host_list : ipspec optnl { $$ = $1; } 2825 | host_list comma ipspec optnl { 2826 if ($3 == NULL) 2827 $$ = $1; 2828 else if ($1 == NULL) 2829 $$ = $3; 2830 else { 2831 $1->tail->next = $3; 2832 $1->tail = $3->tail; 2833 $$ = $1; 2834 } 2835 } 2836 ; 2837 2838 xhost : not host { 2839 struct node_host *n; 2840 2841 for (n = $2; n != NULL; n = n->next) 2842 n->not = $1; 2843 $$ = $2; 2844 } 2845 | not NOROUTE { 2846 $$ = calloc(1, sizeof(struct node_host)); 2847 if ($$ == NULL) 2848 err(1, "xhost: calloc"); 2849 $$->addr.type = PF_ADDR_NOROUTE; 2850 $$->next = NULL; 2851 $$->not = $1; 2852 $$->tail = $$; 2853 } 2854 | not URPFFAILED { 2855 $$ = calloc(1, sizeof(struct node_host)); 2856 if ($$ == NULL) 2857 err(1, "xhost: calloc"); 2858 $$->addr.type = PF_ADDR_URPFFAILED; 2859 $$->next = NULL; 2860 $$->not = $1; 2861 $$->tail = $$; 2862 } 2863 ; 2864 2865 host : STRING { 2866 if (($$ = host($1)) == NULL) { 2867 /* error. "any" is handled elsewhere */ 2868 free($1); 2869 yyerror("could not parse host specification"); 2870 YYERROR; 2871 } 2872 free($1); 2873 2874 } 2875 | STRING '-' STRING { 2876 struct node_host *b, *e; 2877 2878 if ((b = host($1)) == NULL || (e = host($3)) == NULL) { 2879 free($1); 2880 free($3); 2881 yyerror("could not parse host specification"); 2882 YYERROR; 2883 } 2884 if (b->af != e->af || 2885 b->addr.type != PF_ADDR_ADDRMASK || 2886 e->addr.type != PF_ADDR_ADDRMASK || 2887 unmask(&b->addr.v.a.mask, b->af) != 2888 (b->af == AF_INET ? 32 : 128) || 2889 unmask(&e->addr.v.a.mask, e->af) != 2890 (e->af == AF_INET ? 32 : 128) || 2891 b->next != NULL || b->not || 2892 e->next != NULL || e->not) { 2893 free(b); 2894 free(e); 2895 free($1); 2896 free($3); 2897 yyerror("invalid address range"); 2898 YYERROR; 2899 } 2900 memcpy(&b->addr.v.a.mask, &e->addr.v.a.addr, 2901 sizeof(b->addr.v.a.mask)); 2902 b->addr.type = PF_ADDR_RANGE; 2903 $$ = b; 2904 free(e); 2905 free($1); 2906 free($3); 2907 } 2908 | STRING '/' NUMBER { 2909 char *buf; 2910 2911 if (asprintf(&buf, "%s/%lld", $1, (long long)$3) == -1) 2912 err(1, "host: asprintf"); 2913 free($1); 2914 if (($$ = host(buf)) == NULL) { 2915 /* error. "any" is handled elsewhere */ 2916 free(buf); 2917 yyerror("could not parse host specification"); 2918 YYERROR; 2919 } 2920 free(buf); 2921 } 2922 | NUMBER '/' NUMBER { 2923 char *buf; 2924 2925 /* ie. for 10/8 parsing */ 2926 #ifdef __FreeBSD__ 2927 if (asprintf(&buf, "%lld/%lld", (long long)$1, (long long)$3) == -1) 2928 #else 2929 if (asprintf(&buf, "%lld/%lld", $1, $3) == -1) 2930 #endif 2931 err(1, "host: asprintf"); 2932 if (($$ = host(buf)) == NULL) { 2933 /* error. "any" is handled elsewhere */ 2934 free(buf); 2935 yyerror("could not parse host specification"); 2936 YYERROR; 2937 } 2938 free(buf); 2939 } 2940 | dynaddr 2941 | dynaddr '/' NUMBER { 2942 struct node_host *n; 2943 2944 if ($3 < 0 || $3 > 128) { 2945 yyerror("bit number too big"); 2946 YYERROR; 2947 } 2948 $$ = $1; 2949 for (n = $1; n != NULL; n = n->next) 2950 set_ipmask(n, $3); 2951 } 2952 | '<' STRING '>' { 2953 if (strlen($2) >= PF_TABLE_NAME_SIZE) { 2954 yyerror("table name '%s' too long", $2); 2955 free($2); 2956 YYERROR; 2957 } 2958 $$ = calloc(1, sizeof(struct node_host)); 2959 if ($$ == NULL) 2960 err(1, "host: calloc"); 2961 $$->addr.type = PF_ADDR_TABLE; 2962 if (strlcpy($$->addr.v.tblname, $2, 2963 sizeof($$->addr.v.tblname)) >= 2964 sizeof($$->addr.v.tblname)) 2965 errx(1, "host: strlcpy"); 2966 free($2); 2967 $$->next = NULL; 2968 $$->tail = $$; 2969 } 2970 ; 2971 2972 number : NUMBER 2973 | STRING { 2974 u_long ulval; 2975 2976 if (atoul($1, &ulval) == -1) { 2977 yyerror("%s is not a number", $1); 2978 free($1); 2979 YYERROR; 2980 } else 2981 $$ = ulval; 2982 free($1); 2983 } 2984 ; 2985 2986 dynaddr : '(' STRING ')' { 2987 int flags = 0; 2988 char *p, *op; 2989 2990 op = $2; 2991 if (!isalpha(op[0])) { 2992 yyerror("invalid interface name '%s'", op); 2993 free(op); 2994 YYERROR; 2995 } 2996 while ((p = strrchr($2, ':')) != NULL) { 2997 if (!strcmp(p+1, "network")) 2998 flags |= PFI_AFLAG_NETWORK; 2999 else if (!strcmp(p+1, "broadcast")) 3000 flags |= PFI_AFLAG_BROADCAST; 3001 else if (!strcmp(p+1, "peer")) 3002 flags |= PFI_AFLAG_PEER; 3003 else if (!strcmp(p+1, "0")) 3004 flags |= PFI_AFLAG_NOALIAS; 3005 else { 3006 yyerror("interface %s has bad modifier", 3007 $2); 3008 free(op); 3009 YYERROR; 3010 } 3011 *p = '\0'; 3012 } 3013 if (flags & (flags - 1) & PFI_AFLAG_MODEMASK) { 3014 free(op); 3015 yyerror("illegal combination of " 3016 "interface modifiers"); 3017 YYERROR; 3018 } 3019 $$ = calloc(1, sizeof(struct node_host)); 3020 if ($$ == NULL) 3021 err(1, "address: calloc"); 3022 $$->af = 0; 3023 set_ipmask($$, 128); 3024 $$->addr.type = PF_ADDR_DYNIFTL; 3025 $$->addr.iflags = flags; 3026 if (strlcpy($$->addr.v.ifname, $2, 3027 sizeof($$->addr.v.ifname)) >= 3028 sizeof($$->addr.v.ifname)) { 3029 free(op); 3030 free($$); 3031 yyerror("interface name too long"); 3032 YYERROR; 3033 } 3034 free(op); 3035 $$->next = NULL; 3036 $$->tail = $$; 3037 } 3038 ; 3039 3040 portspec : port_item { $$ = $1; } 3041 | '{' optnl port_list '}' { $$ = $3; } 3042 ; 3043 3044 port_list : port_item optnl { $$ = $1; } 3045 | port_list comma port_item optnl { 3046 $1->tail->next = $3; 3047 $1->tail = $3; 3048 $$ = $1; 3049 } 3050 ; 3051 3052 port_item : portrange { 3053 $$ = calloc(1, sizeof(struct node_port)); 3054 if ($$ == NULL) 3055 err(1, "port_item: calloc"); 3056 $$->port[0] = $1.a; 3057 $$->port[1] = $1.b; 3058 if ($1.t) 3059 $$->op = PF_OP_RRG; 3060 else 3061 $$->op = PF_OP_EQ; 3062 $$->next = NULL; 3063 $$->tail = $$; 3064 } 3065 | unaryop portrange { 3066 if ($2.t) { 3067 yyerror("':' cannot be used with an other " 3068 "port operator"); 3069 YYERROR; 3070 } 3071 $$ = calloc(1, sizeof(struct node_port)); 3072 if ($$ == NULL) 3073 err(1, "port_item: calloc"); 3074 $$->port[0] = $2.a; 3075 $$->port[1] = $2.b; 3076 $$->op = $1; 3077 $$->next = NULL; 3078 $$->tail = $$; 3079 } 3080 | portrange PORTBINARY portrange { 3081 if ($1.t || $3.t) { 3082 yyerror("':' cannot be used with an other " 3083 "port operator"); 3084 YYERROR; 3085 } 3086 $$ = calloc(1, sizeof(struct node_port)); 3087 if ($$ == NULL) 3088 err(1, "port_item: calloc"); 3089 $$->port[0] = $1.a; 3090 $$->port[1] = $3.a; 3091 $$->op = $2; 3092 $$->next = NULL; 3093 $$->tail = $$; 3094 } 3095 ; 3096 3097 portplain : numberstring { 3098 if (parseport($1, &$$, 0) == -1) { 3099 free($1); 3100 YYERROR; 3101 } 3102 free($1); 3103 } 3104 ; 3105 3106 portrange : numberstring { 3107 if (parseport($1, &$$, PPORT_RANGE) == -1) { 3108 free($1); 3109 YYERROR; 3110 } 3111 free($1); 3112 } 3113 ; 3114 3115 uids : uid_item { $$ = $1; } 3116 | '{' optnl uid_list '}' { $$ = $3; } 3117 ; 3118 3119 uid_list : uid_item optnl { $$ = $1; } 3120 | uid_list comma uid_item optnl { 3121 $1->tail->next = $3; 3122 $1->tail = $3; 3123 $$ = $1; 3124 } 3125 ; 3126 3127 uid_item : uid { 3128 $$ = calloc(1, sizeof(struct node_uid)); 3129 if ($$ == NULL) 3130 err(1, "uid_item: calloc"); 3131 $$->uid[0] = $1; 3132 $$->uid[1] = $1; 3133 $$->op = PF_OP_EQ; 3134 $$->next = NULL; 3135 $$->tail = $$; 3136 } 3137 | unaryop uid { 3138 if ($2 == UID_MAX && $1 != PF_OP_EQ && $1 != PF_OP_NE) { 3139 yyerror("user unknown requires operator = or " 3140 "!="); 3141 YYERROR; 3142 } 3143 $$ = calloc(1, sizeof(struct node_uid)); 3144 if ($$ == NULL) 3145 err(1, "uid_item: calloc"); 3146 $$->uid[0] = $2; 3147 $$->uid[1] = $2; 3148 $$->op = $1; 3149 $$->next = NULL; 3150 $$->tail = $$; 3151 } 3152 | uid PORTBINARY uid { 3153 if ($1 == UID_MAX || $3 == UID_MAX) { 3154 yyerror("user unknown requires operator = or " 3155 "!="); 3156 YYERROR; 3157 } 3158 $$ = calloc(1, sizeof(struct node_uid)); 3159 if ($$ == NULL) 3160 err(1, "uid_item: calloc"); 3161 $$->uid[0] = $1; 3162 $$->uid[1] = $3; 3163 $$->op = $2; 3164 $$->next = NULL; 3165 $$->tail = $$; 3166 } 3167 ; 3168 3169 uid : STRING { 3170 if (!strcmp($1, "unknown")) 3171 $$ = UID_MAX; 3172 else { 3173 struct passwd *pw; 3174 3175 if ((pw = getpwnam($1)) == NULL) { 3176 yyerror("unknown user %s", $1); 3177 free($1); 3178 YYERROR; 3179 } 3180 $$ = pw->pw_uid; 3181 } 3182 free($1); 3183 } 3184 | NUMBER { 3185 if ($1 < 0 || $1 >= UID_MAX) { 3186 yyerror("illegal uid value %lu", $1); 3187 YYERROR; 3188 } 3189 $$ = $1; 3190 } 3191 ; 3192 3193 gids : gid_item { $$ = $1; } 3194 | '{' optnl gid_list '}' { $$ = $3; } 3195 ; 3196 3197 gid_list : gid_item optnl { $$ = $1; } 3198 | gid_list comma gid_item optnl { 3199 $1->tail->next = $3; 3200 $1->tail = $3; 3201 $$ = $1; 3202 } 3203 ; 3204 3205 gid_item : gid { 3206 $$ = calloc(1, sizeof(struct node_gid)); 3207 if ($$ == NULL) 3208 err(1, "gid_item: calloc"); 3209 $$->gid[0] = $1; 3210 $$->gid[1] = $1; 3211 $$->op = PF_OP_EQ; 3212 $$->next = NULL; 3213 $$->tail = $$; 3214 } 3215 | unaryop gid { 3216 if ($2 == GID_MAX && $1 != PF_OP_EQ && $1 != PF_OP_NE) { 3217 yyerror("group unknown requires operator = or " 3218 "!="); 3219 YYERROR; 3220 } 3221 $$ = calloc(1, sizeof(struct node_gid)); 3222 if ($$ == NULL) 3223 err(1, "gid_item: calloc"); 3224 $$->gid[0] = $2; 3225 $$->gid[1] = $2; 3226 $$->op = $1; 3227 $$->next = NULL; 3228 $$->tail = $$; 3229 } 3230 | gid PORTBINARY gid { 3231 if ($1 == GID_MAX || $3 == GID_MAX) { 3232 yyerror("group unknown requires operator = or " 3233 "!="); 3234 YYERROR; 3235 } 3236 $$ = calloc(1, sizeof(struct node_gid)); 3237 if ($$ == NULL) 3238 err(1, "gid_item: calloc"); 3239 $$->gid[0] = $1; 3240 $$->gid[1] = $3; 3241 $$->op = $2; 3242 $$->next = NULL; 3243 $$->tail = $$; 3244 } 3245 ; 3246 3247 gid : STRING { 3248 if (!strcmp($1, "unknown")) 3249 $$ = GID_MAX; 3250 else { 3251 struct group *grp; 3252 3253 if ((grp = getgrnam($1)) == NULL) { 3254 yyerror("unknown group %s", $1); 3255 free($1); 3256 YYERROR; 3257 } 3258 $$ = grp->gr_gid; 3259 } 3260 free($1); 3261 } 3262 | NUMBER { 3263 if ($1 < 0 || $1 >= GID_MAX) { 3264 yyerror("illegal gid value %lu", $1); 3265 YYERROR; 3266 } 3267 $$ = $1; 3268 } 3269 ; 3270 3271 flag : STRING { 3272 int f; 3273 3274 if ((f = parse_flags($1)) < 0) { 3275 yyerror("bad flags %s", $1); 3276 free($1); 3277 YYERROR; 3278 } 3279 free($1); 3280 $$.b1 = f; 3281 } 3282 ; 3283 3284 flags : FLAGS flag '/' flag { $$.b1 = $2.b1; $$.b2 = $4.b1; } 3285 | FLAGS '/' flag { $$.b1 = 0; $$.b2 = $3.b1; } 3286 | FLAGS ANY { $$.b1 = 0; $$.b2 = 0; } 3287 ; 3288 3289 icmpspec : ICMPTYPE icmp_item { $$ = $2; } 3290 | ICMPTYPE '{' optnl icmp_list '}' { $$ = $4; } 3291 | ICMP6TYPE icmp6_item { $$ = $2; } 3292 | ICMP6TYPE '{' optnl icmp6_list '}' { $$ = $4; } 3293 ; 3294 3295 icmp_list : icmp_item optnl { $$ = $1; } 3296 | icmp_list comma icmp_item optnl { 3297 $1->tail->next = $3; 3298 $1->tail = $3; 3299 $$ = $1; 3300 } 3301 ; 3302 3303 icmp6_list : icmp6_item optnl { $$ = $1; } 3304 | icmp6_list comma icmp6_item optnl { 3305 $1->tail->next = $3; 3306 $1->tail = $3; 3307 $$ = $1; 3308 } 3309 ; 3310 3311 icmp_item : icmptype { 3312 $$ = calloc(1, sizeof(struct node_icmp)); 3313 if ($$ == NULL) 3314 err(1, "icmp_item: calloc"); 3315 $$->type = $1; 3316 $$->code = 0; 3317 $$->proto = IPPROTO_ICMP; 3318 $$->next = NULL; 3319 $$->tail = $$; 3320 } 3321 | icmptype CODE STRING { 3322 const struct icmpcodeent *p; 3323 3324 if ((p = geticmpcodebyname($1-1, $3, AF_INET)) == NULL) { 3325 yyerror("unknown icmp-code %s", $3); 3326 free($3); 3327 YYERROR; 3328 } 3329 3330 free($3); 3331 $$ = calloc(1, sizeof(struct node_icmp)); 3332 if ($$ == NULL) 3333 err(1, "icmp_item: calloc"); 3334 $$->type = $1; 3335 $$->code = p->code + 1; 3336 $$->proto = IPPROTO_ICMP; 3337 $$->next = NULL; 3338 $$->tail = $$; 3339 } 3340 | icmptype CODE NUMBER { 3341 if ($3 < 0 || $3 > 255) { 3342 yyerror("illegal icmp-code %lu", $3); 3343 YYERROR; 3344 } 3345 $$ = calloc(1, sizeof(struct node_icmp)); 3346 if ($$ == NULL) 3347 err(1, "icmp_item: calloc"); 3348 $$->type = $1; 3349 $$->code = $3 + 1; 3350 $$->proto = IPPROTO_ICMP; 3351 $$->next = NULL; 3352 $$->tail = $$; 3353 } 3354 ; 3355 3356 icmp6_item : icmp6type { 3357 $$ = calloc(1, sizeof(struct node_icmp)); 3358 if ($$ == NULL) 3359 err(1, "icmp_item: calloc"); 3360 $$->type = $1; 3361 $$->code = 0; 3362 $$->proto = IPPROTO_ICMPV6; 3363 $$->next = NULL; 3364 $$->tail = $$; 3365 } 3366 | icmp6type CODE STRING { 3367 const struct icmpcodeent *p; 3368 3369 if ((p = geticmpcodebyname($1-1, $3, AF_INET6)) == NULL) { 3370 yyerror("unknown icmp6-code %s", $3); 3371 free($3); 3372 YYERROR; 3373 } 3374 free($3); 3375 3376 $$ = calloc(1, sizeof(struct node_icmp)); 3377 if ($$ == NULL) 3378 err(1, "icmp_item: calloc"); 3379 $$->type = $1; 3380 $$->code = p->code + 1; 3381 $$->proto = IPPROTO_ICMPV6; 3382 $$->next = NULL; 3383 $$->tail = $$; 3384 } 3385 | icmp6type CODE NUMBER { 3386 if ($3 < 0 || $3 > 255) { 3387 yyerror("illegal icmp-code %lu", $3); 3388 YYERROR; 3389 } 3390 $$ = calloc(1, sizeof(struct node_icmp)); 3391 if ($$ == NULL) 3392 err(1, "icmp_item: calloc"); 3393 $$->type = $1; 3394 $$->code = $3 + 1; 3395 $$->proto = IPPROTO_ICMPV6; 3396 $$->next = NULL; 3397 $$->tail = $$; 3398 } 3399 ; 3400 3401 icmptype : STRING { 3402 const struct icmptypeent *p; 3403 3404 if ((p = geticmptypebyname($1, AF_INET)) == NULL) { 3405 yyerror("unknown icmp-type %s", $1); 3406 free($1); 3407 YYERROR; 3408 } 3409 $$ = p->type + 1; 3410 free($1); 3411 } 3412 | NUMBER { 3413 if ($1 < 0 || $1 > 255) { 3414 yyerror("illegal icmp-type %lu", $1); 3415 YYERROR; 3416 } 3417 $$ = $1 + 1; 3418 } 3419 ; 3420 3421 icmp6type : STRING { 3422 const struct icmptypeent *p; 3423 3424 if ((p = geticmptypebyname($1, AF_INET6)) == 3425 NULL) { 3426 yyerror("unknown icmp6-type %s", $1); 3427 free($1); 3428 YYERROR; 3429 } 3430 $$ = p->type + 1; 3431 free($1); 3432 } 3433 | NUMBER { 3434 if ($1 < 0 || $1 > 255) { 3435 yyerror("illegal icmp6-type %lu", $1); 3436 YYERROR; 3437 } 3438 $$ = $1 + 1; 3439 } 3440 ; 3441 3442 tos : STRING { 3443 if (!strcmp($1, "lowdelay")) 3444 $$ = IPTOS_LOWDELAY; 3445 else if (!strcmp($1, "throughput")) 3446 $$ = IPTOS_THROUGHPUT; 3447 else if (!strcmp($1, "reliability")) 3448 $$ = IPTOS_RELIABILITY; 3449 else if ($1[0] == '0' && $1[1] == 'x') 3450 $$ = strtoul($1, NULL, 16); 3451 else 3452 $$ = 0; /* flag bad argument */ 3453 if (!$$ || $$ > 255) { 3454 yyerror("illegal tos value %s", $1); 3455 free($1); 3456 YYERROR; 3457 } 3458 free($1); 3459 } 3460 | NUMBER { 3461 $$ = $1; 3462 if (!$$ || $$ > 255) { 3463 yyerror("illegal tos value %s", $1); 3464 YYERROR; 3465 } 3466 } 3467 ; 3468 3469 sourcetrack : SOURCETRACK { $$ = PF_SRCTRACK; } 3470 | SOURCETRACK GLOBAL { $$ = PF_SRCTRACK_GLOBAL; } 3471 | SOURCETRACK RULE { $$ = PF_SRCTRACK_RULE; } 3472 ; 3473 3474 statelock : IFBOUND { 3475 $$ = PFRULE_IFBOUND; 3476 } 3477 | FLOATING { 3478 $$ = 0; 3479 } 3480 ; 3481 3482 keep : NO STATE { 3483 $$.action = 0; 3484 $$.options = NULL; 3485 } 3486 | KEEP STATE state_opt_spec { 3487 $$.action = PF_STATE_NORMAL; 3488 $$.options = $3; 3489 } 3490 | MODULATE STATE state_opt_spec { 3491 $$.action = PF_STATE_MODULATE; 3492 $$.options = $3; 3493 } 3494 | SYNPROXY STATE state_opt_spec { 3495 $$.action = PF_STATE_SYNPROXY; 3496 $$.options = $3; 3497 } 3498 ; 3499 3500 flush : /* empty */ { $$ = 0; } 3501 | FLUSH { $$ = PF_FLUSH; } 3502 | FLUSH GLOBAL { 3503 $$ = PF_FLUSH | PF_FLUSH_GLOBAL; 3504 } 3505 ; 3506 3507 state_opt_spec : '(' state_opt_list ')' { $$ = $2; } 3508 | /* empty */ { $$ = NULL; } 3509 ; 3510 3511 state_opt_list : state_opt_item { $$ = $1; } 3512 | state_opt_list comma state_opt_item { 3513 $1->tail->next = $3; 3514 $1->tail = $3; 3515 $$ = $1; 3516 } 3517 ; 3518 3519 state_opt_item : MAXIMUM NUMBER { 3520 if ($2 < 0 || $2 > UINT_MAX) { 3521 yyerror("only positive values permitted"); 3522 YYERROR; 3523 } 3524 $$ = calloc(1, sizeof(struct node_state_opt)); 3525 if ($$ == NULL) 3526 err(1, "state_opt_item: calloc"); 3527 $$->type = PF_STATE_OPT_MAX; 3528 $$->data.max_states = $2; 3529 $$->next = NULL; 3530 $$->tail = $$; 3531 } 3532 | NOSYNC { 3533 $$ = calloc(1, sizeof(struct node_state_opt)); 3534 if ($$ == NULL) 3535 err(1, "state_opt_item: calloc"); 3536 $$->type = PF_STATE_OPT_NOSYNC; 3537 $$->next = NULL; 3538 $$->tail = $$; 3539 } 3540 | MAXSRCSTATES NUMBER { 3541 if ($2 < 0 || $2 > UINT_MAX) { 3542 yyerror("only positive values permitted"); 3543 YYERROR; 3544 } 3545 $$ = calloc(1, sizeof(struct node_state_opt)); 3546 if ($$ == NULL) 3547 err(1, "state_opt_item: calloc"); 3548 $$->type = PF_STATE_OPT_MAX_SRC_STATES; 3549 $$->data.max_src_states = $2; 3550 $$->next = NULL; 3551 $$->tail = $$; 3552 } 3553 | MAXSRCCONN NUMBER { 3554 if ($2 < 0 || $2 > UINT_MAX) { 3555 yyerror("only positive values permitted"); 3556 YYERROR; 3557 } 3558 $$ = calloc(1, sizeof(struct node_state_opt)); 3559 if ($$ == NULL) 3560 err(1, "state_opt_item: calloc"); 3561 $$->type = PF_STATE_OPT_MAX_SRC_CONN; 3562 $$->data.max_src_conn = $2; 3563 $$->next = NULL; 3564 $$->tail = $$; 3565 } 3566 | MAXSRCCONNRATE NUMBER '/' NUMBER { 3567 if ($2 < 0 || $2 > UINT_MAX || 3568 $4 < 0 || $4 > UINT_MAX) { 3569 yyerror("only positive values permitted"); 3570 YYERROR; 3571 } 3572 $$ = calloc(1, sizeof(struct node_state_opt)); 3573 if ($$ == NULL) 3574 err(1, "state_opt_item: calloc"); 3575 $$->type = PF_STATE_OPT_MAX_SRC_CONN_RATE; 3576 $$->data.max_src_conn_rate.limit = $2; 3577 $$->data.max_src_conn_rate.seconds = $4; 3578 $$->next = NULL; 3579 $$->tail = $$; 3580 } 3581 | OVERLOAD '<' STRING '>' flush { 3582 if (strlen($3) >= PF_TABLE_NAME_SIZE) { 3583 yyerror("table name '%s' too long", $3); 3584 free($3); 3585 YYERROR; 3586 } 3587 $$ = calloc(1, sizeof(struct node_state_opt)); 3588 if ($$ == NULL) 3589 err(1, "state_opt_item: calloc"); 3590 if (strlcpy($$->data.overload.tblname, $3, 3591 PF_TABLE_NAME_SIZE) >= PF_TABLE_NAME_SIZE) 3592 errx(1, "state_opt_item: strlcpy"); 3593 free($3); 3594 $$->type = PF_STATE_OPT_OVERLOAD; 3595 $$->data.overload.flush = $5; 3596 $$->next = NULL; 3597 $$->tail = $$; 3598 } 3599 | MAXSRCNODES NUMBER { 3600 if ($2 < 0 || $2 > UINT_MAX) { 3601 yyerror("only positive values permitted"); 3602 YYERROR; 3603 } 3604 $$ = calloc(1, sizeof(struct node_state_opt)); 3605 if ($$ == NULL) 3606 err(1, "state_opt_item: calloc"); 3607 $$->type = PF_STATE_OPT_MAX_SRC_NODES; 3608 $$->data.max_src_nodes = $2; 3609 $$->next = NULL; 3610 $$->tail = $$; 3611 } 3612 | sourcetrack { 3613 $$ = calloc(1, sizeof(struct node_state_opt)); 3614 if ($$ == NULL) 3615 err(1, "state_opt_item: calloc"); 3616 $$->type = PF_STATE_OPT_SRCTRACK; 3617 $$->data.src_track = $1; 3618 $$->next = NULL; 3619 $$->tail = $$; 3620 } 3621 | statelock { 3622 $$ = calloc(1, sizeof(struct node_state_opt)); 3623 if ($$ == NULL) 3624 err(1, "state_opt_item: calloc"); 3625 $$->type = PF_STATE_OPT_STATELOCK; 3626 $$->data.statelock = $1; 3627 $$->next = NULL; 3628 $$->tail = $$; 3629 } 3630 | SLOPPY { 3631 $$ = calloc(1, sizeof(struct node_state_opt)); 3632 if ($$ == NULL) 3633 err(1, "state_opt_item: calloc"); 3634 $$->type = PF_STATE_OPT_SLOPPY; 3635 $$->next = NULL; 3636 $$->tail = $$; 3637 } 3638 | STRING NUMBER { 3639 int i; 3640 3641 if ($2 < 0 || $2 > UINT_MAX) { 3642 yyerror("only positive values permitted"); 3643 YYERROR; 3644 } 3645 for (i = 0; pf_timeouts[i].name && 3646 strcmp(pf_timeouts[i].name, $1); ++i) 3647 ; /* nothing */ 3648 if (!pf_timeouts[i].name) { 3649 yyerror("illegal timeout name %s", $1); 3650 free($1); 3651 YYERROR; 3652 } 3653 if (strchr(pf_timeouts[i].name, '.') == NULL) { 3654 yyerror("illegal state timeout %s", $1); 3655 free($1); 3656 YYERROR; 3657 } 3658 free($1); 3659 $$ = calloc(1, sizeof(struct node_state_opt)); 3660 if ($$ == NULL) 3661 err(1, "state_opt_item: calloc"); 3662 $$->type = PF_STATE_OPT_TIMEOUT; 3663 $$->data.timeout.number = pf_timeouts[i].timeout; 3664 $$->data.timeout.seconds = $2; 3665 $$->next = NULL; 3666 $$->tail = $$; 3667 } 3668 ; 3669 3670 label : LABEL STRING { 3671 $$ = $2; 3672 } 3673 ; 3674 3675 qname : QUEUE STRING { 3676 $$.qname = $2; 3677 $$.pqname = NULL; 3678 } 3679 | QUEUE '(' STRING ')' { 3680 $$.qname = $3; 3681 $$.pqname = NULL; 3682 } 3683 | QUEUE '(' STRING comma STRING ')' { 3684 $$.qname = $3; 3685 $$.pqname = $5; 3686 } 3687 ; 3688 3689 no : /* empty */ { $$ = 0; } 3690 | NO { $$ = 1; } 3691 ; 3692 3693 portstar : numberstring { 3694 if (parseport($1, &$$, PPORT_RANGE|PPORT_STAR) == -1) { 3695 free($1); 3696 YYERROR; 3697 } 3698 free($1); 3699 } 3700 ; 3701 3702 redirspec : host { $$ = $1; } 3703 | '{' optnl redir_host_list '}' { $$ = $3; } 3704 ; 3705 3706 redir_host_list : host optnl { $$ = $1; } 3707 | redir_host_list comma host optnl { 3708 $1->tail->next = $3; 3709 $1->tail = $3->tail; 3710 $$ = $1; 3711 } 3712 ; 3713 3714 redirpool : /* empty */ { $$ = NULL; } 3715 | ARROW redirspec { 3716 $$ = calloc(1, sizeof(struct redirection)); 3717 if ($$ == NULL) 3718 err(1, "redirection: calloc"); 3719 $$->host = $2; 3720 $$->rport.a = $$->rport.b = $$->rport.t = 0; 3721 } 3722 | ARROW redirspec PORT portstar { 3723 $$ = calloc(1, sizeof(struct redirection)); 3724 if ($$ == NULL) 3725 err(1, "redirection: calloc"); 3726 $$->host = $2; 3727 $$->rport = $4; 3728 } 3729 ; 3730 3731 hashkey : /* empty */ 3732 { 3733 $$ = calloc(1, sizeof(struct pf_poolhashkey)); 3734 if ($$ == NULL) 3735 err(1, "hashkey: calloc"); 3736 $$->key32[0] = arc4random(); 3737 $$->key32[1] = arc4random(); 3738 $$->key32[2] = arc4random(); 3739 $$->key32[3] = arc4random(); 3740 } 3741 | string 3742 { 3743 if (!strncmp($1, "0x", 2)) { 3744 if (strlen($1) != 34) { 3745 free($1); 3746 yyerror("hex key must be 128 bits " 3747 "(32 hex digits) long"); 3748 YYERROR; 3749 } 3750 $$ = calloc(1, sizeof(struct pf_poolhashkey)); 3751 if ($$ == NULL) 3752 err(1, "hashkey: calloc"); 3753 3754 if (sscanf($1, "0x%8x%8x%8x%8x", 3755 &$$->key32[0], &$$->key32[1], 3756 &$$->key32[2], &$$->key32[3]) != 4) { 3757 free($$); 3758 free($1); 3759 yyerror("invalid hex key"); 3760 YYERROR; 3761 } 3762 } else { 3763 MD5_CTX context; 3764 3765 $$ = calloc(1, sizeof(struct pf_poolhashkey)); 3766 if ($$ == NULL) 3767 err(1, "hashkey: calloc"); 3768 MD5Init(&context); 3769 MD5Update(&context, (unsigned char *)$1, 3770 strlen($1)); 3771 MD5Final((unsigned char *)$$, &context); 3772 HTONL($$->key32[0]); 3773 HTONL($$->key32[1]); 3774 HTONL($$->key32[2]); 3775 HTONL($$->key32[3]); 3776 } 3777 free($1); 3778 } 3779 ; 3780 3781 pool_opts : { bzero(&pool_opts, sizeof pool_opts); } 3782 pool_opts_l 3783 { $$ = pool_opts; } 3784 | /* empty */ { 3785 bzero(&pool_opts, sizeof pool_opts); 3786 $$ = pool_opts; 3787 } 3788 ; 3789 3790 pool_opts_l : pool_opts_l pool_opt 3791 | pool_opt 3792 ; 3793 3794 pool_opt : BITMASK { 3795 if (pool_opts.type) { 3796 yyerror("pool type cannot be redefined"); 3797 YYERROR; 3798 } 3799 pool_opts.type = PF_POOL_BITMASK; 3800 } 3801 | RANDOM { 3802 if (pool_opts.type) { 3803 yyerror("pool type cannot be redefined"); 3804 YYERROR; 3805 } 3806 pool_opts.type = PF_POOL_RANDOM; 3807 } 3808 | SOURCEHASH hashkey { 3809 if (pool_opts.type) { 3810 yyerror("pool type cannot be redefined"); 3811 YYERROR; 3812 } 3813 pool_opts.type = PF_POOL_SRCHASH; 3814 pool_opts.key = $2; 3815 } 3816 | ROUNDROBIN { 3817 if (pool_opts.type) { 3818 yyerror("pool type cannot be redefined"); 3819 YYERROR; 3820 } 3821 pool_opts.type = PF_POOL_ROUNDROBIN; 3822 } 3823 | STATICPORT { 3824 if (pool_opts.staticport) { 3825 yyerror("static-port cannot be redefined"); 3826 YYERROR; 3827 } 3828 pool_opts.staticport = 1; 3829 } 3830 | STICKYADDRESS { 3831 if (filter_opts.marker & POM_STICKYADDRESS) { 3832 yyerror("sticky-address cannot be redefined"); 3833 YYERROR; 3834 } 3835 pool_opts.marker |= POM_STICKYADDRESS; 3836 pool_opts.opts |= PF_POOL_STICKYADDR; 3837 } 3838 ; 3839 3840 redirection : /* empty */ { $$ = NULL; } 3841 | ARROW host { 3842 $$ = calloc(1, sizeof(struct redirection)); 3843 if ($$ == NULL) 3844 err(1, "redirection: calloc"); 3845 $$->host = $2; 3846 $$->rport.a = $$->rport.b = $$->rport.t = 0; 3847 } 3848 | ARROW host PORT portstar { 3849 $$ = calloc(1, sizeof(struct redirection)); 3850 if ($$ == NULL) 3851 err(1, "redirection: calloc"); 3852 $$->host = $2; 3853 $$->rport = $4; 3854 } 3855 ; 3856 3857 natpasslog : /* empty */ { $$.b1 = $$.b2 = 0; $$.w2 = 0; } 3858 | PASS { $$.b1 = 1; $$.b2 = 0; $$.w2 = 0; } 3859 | PASS log { $$.b1 = 1; $$.b2 = $2.log; $$.w2 = $2.logif; } 3860 | log { $$.b1 = 0; $$.b2 = $1.log; $$.w2 = $1.logif; } 3861 ; 3862 3863 nataction : no NAT natpasslog { 3864 if ($1 && $3.b1) { 3865 yyerror("\"pass\" not valid with \"no\""); 3866 YYERROR; 3867 } 3868 if ($1) 3869 $$.b1 = PF_NONAT; 3870 else 3871 $$.b1 = PF_NAT; 3872 $$.b2 = $3.b1; 3873 $$.w = $3.b2; 3874 $$.w2 = $3.w2; 3875 } 3876 | no RDR natpasslog { 3877 if ($1 && $3.b1) { 3878 yyerror("\"pass\" not valid with \"no\""); 3879 YYERROR; 3880 } 3881 if ($1) 3882 $$.b1 = PF_NORDR; 3883 else 3884 $$.b1 = PF_RDR; 3885 $$.b2 = $3.b1; 3886 $$.w = $3.b2; 3887 $$.w2 = $3.w2; 3888 } 3889 ; 3890 3891 natrule : nataction interface af proto fromto tag tagged rtable 3892 redirpool pool_opts 3893 { 3894 struct pf_rule r; 3895 3896 if (check_rulestate(PFCTL_STATE_NAT)) 3897 YYERROR; 3898 3899 memset(&r, 0, sizeof(r)); 3900 3901 r.action = $1.b1; 3902 r.natpass = $1.b2; 3903 r.log = $1.w; 3904 r.logif = $1.w2; 3905 r.af = $3; 3906 3907 if (!r.af) { 3908 if ($5.src.host && $5.src.host->af && 3909 !$5.src.host->ifindex) 3910 r.af = $5.src.host->af; 3911 else if ($5.dst.host && $5.dst.host->af && 3912 !$5.dst.host->ifindex) 3913 r.af = $5.dst.host->af; 3914 } 3915 3916 if ($6 != NULL) 3917 if (strlcpy(r.tagname, $6, PF_TAG_NAME_SIZE) >= 3918 PF_TAG_NAME_SIZE) { 3919 yyerror("tag too long, max %u chars", 3920 PF_TAG_NAME_SIZE - 1); 3921 YYERROR; 3922 } 3923 3924 if ($7.name) 3925 if (strlcpy(r.match_tagname, $7.name, 3926 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 3927 yyerror("tag too long, max %u chars", 3928 PF_TAG_NAME_SIZE - 1); 3929 YYERROR; 3930 } 3931 r.match_tag_not = $7.neg; 3932 r.rtableid = $8; 3933 3934 if (r.action == PF_NONAT || r.action == PF_NORDR) { 3935 if ($9 != NULL) { 3936 yyerror("translation rule with 'no' " 3937 "does not need '->'"); 3938 YYERROR; 3939 } 3940 } else { 3941 if ($9 == NULL || $9->host == NULL) { 3942 yyerror("translation rule requires '-> " 3943 "address'"); 3944 YYERROR; 3945 } 3946 if (!r.af && ! $9->host->ifindex) 3947 r.af = $9->host->af; 3948 3949 remove_invalid_hosts(&$9->host, &r.af); 3950 if (invalid_redirect($9->host, r.af)) 3951 YYERROR; 3952 if (check_netmask($9->host, r.af)) 3953 YYERROR; 3954 3955 r.rpool.proxy_port[0] = ntohs($9->rport.a); 3956 3957 switch (r.action) { 3958 case PF_RDR: 3959 if (!$9->rport.b && $9->rport.t && 3960 $5.dst.port != NULL) { 3961 r.rpool.proxy_port[1] = 3962 ntohs($9->rport.a) + 3963 (ntohs( 3964 $5.dst.port->port[1]) - 3965 ntohs( 3966 $5.dst.port->port[0])); 3967 } else 3968 r.rpool.proxy_port[1] = 3969 ntohs($9->rport.b); 3970 break; 3971 case PF_NAT: 3972 r.rpool.proxy_port[1] = 3973 ntohs($9->rport.b); 3974 if (!r.rpool.proxy_port[0] && 3975 !r.rpool.proxy_port[1]) { 3976 r.rpool.proxy_port[0] = 3977 PF_NAT_PROXY_PORT_LOW; 3978 r.rpool.proxy_port[1] = 3979 PF_NAT_PROXY_PORT_HIGH; 3980 } else if (!r.rpool.proxy_port[1]) 3981 r.rpool.proxy_port[1] = 3982 r.rpool.proxy_port[0]; 3983 break; 3984 default: 3985 break; 3986 } 3987 3988 r.rpool.opts = $10.type; 3989 if ((r.rpool.opts & PF_POOL_TYPEMASK) == 3990 PF_POOL_NONE && ($9->host->next != NULL || 3991 $9->host->addr.type == PF_ADDR_TABLE || 3992 DYNIF_MULTIADDR($9->host->addr))) 3993 r.rpool.opts = PF_POOL_ROUNDROBIN; 3994 if ((r.rpool.opts & PF_POOL_TYPEMASK) != 3995 PF_POOL_ROUNDROBIN && 3996 disallow_table($9->host, "tables are only " 3997 "supported in round-robin redirection " 3998 "pools")) 3999 YYERROR; 4000 if ((r.rpool.opts & PF_POOL_TYPEMASK) != 4001 PF_POOL_ROUNDROBIN && 4002 disallow_alias($9->host, "interface (%s) " 4003 "is only supported in round-robin " 4004 "redirection pools")) 4005 YYERROR; 4006 if ($9->host->next != NULL) { 4007 if ((r.rpool.opts & PF_POOL_TYPEMASK) != 4008 PF_POOL_ROUNDROBIN) { 4009 yyerror("only round-robin " 4010 "valid for multiple " 4011 "redirection addresses"); 4012 YYERROR; 4013 } 4014 } 4015 } 4016 4017 if ($10.key != NULL) 4018 memcpy(&r.rpool.key, $10.key, 4019 sizeof(struct pf_poolhashkey)); 4020 4021 if ($10.opts) 4022 r.rpool.opts |= $10.opts; 4023 4024 if ($10.staticport) { 4025 if (r.action != PF_NAT) { 4026 yyerror("the 'static-port' option is " 4027 "only valid with nat rules"); 4028 YYERROR; 4029 } 4030 if (r.rpool.proxy_port[0] != 4031 PF_NAT_PROXY_PORT_LOW && 4032 r.rpool.proxy_port[1] != 4033 PF_NAT_PROXY_PORT_HIGH) { 4034 yyerror("the 'static-port' option can't" 4035 " be used when specifying a port" 4036 " range"); 4037 YYERROR; 4038 } 4039 r.rpool.proxy_port[0] = 0; 4040 r.rpool.proxy_port[1] = 0; 4041 } 4042 4043 expand_rule(&r, $2, $9 == NULL ? NULL : $9->host, $4, 4044 $5.src_os, $5.src.host, $5.src.port, $5.dst.host, 4045 $5.dst.port, 0, 0, 0, ""); 4046 free($9); 4047 } 4048 ; 4049 4050 binatrule : no BINAT natpasslog interface af proto FROM host toipspec tag 4051 tagged rtable redirection 4052 { 4053 struct pf_rule binat; 4054 struct pf_pooladdr *pa; 4055 4056 if (check_rulestate(PFCTL_STATE_NAT)) 4057 YYERROR; 4058 if (disallow_urpf_failed($9, "\"urpf-failed\" is not " 4059 "permitted as a binat destination")) 4060 YYERROR; 4061 4062 memset(&binat, 0, sizeof(binat)); 4063 4064 if ($1 && $3.b1) { 4065 yyerror("\"pass\" not valid with \"no\""); 4066 YYERROR; 4067 } 4068 if ($1) 4069 binat.action = PF_NOBINAT; 4070 else 4071 binat.action = PF_BINAT; 4072 binat.natpass = $3.b1; 4073 binat.log = $3.b2; 4074 binat.logif = $3.w2; 4075 binat.af = $5; 4076 if (!binat.af && $8 != NULL && $8->af) 4077 binat.af = $8->af; 4078 if (!binat.af && $9 != NULL && $9->af) 4079 binat.af = $9->af; 4080 4081 if (!binat.af && $13 != NULL && $13->host) 4082 binat.af = $13->host->af; 4083 if (!binat.af) { 4084 yyerror("address family (inet/inet6) " 4085 "undefined"); 4086 YYERROR; 4087 } 4088 4089 if ($4 != NULL) { 4090 memcpy(binat.ifname, $4->ifname, 4091 sizeof(binat.ifname)); 4092 binat.ifnot = $4->not; 4093 free($4); 4094 } 4095 4096 if ($10 != NULL) 4097 if (strlcpy(binat.tagname, $10, 4098 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 4099 yyerror("tag too long, max %u chars", 4100 PF_TAG_NAME_SIZE - 1); 4101 YYERROR; 4102 } 4103 if ($11.name) 4104 if (strlcpy(binat.match_tagname, $11.name, 4105 PF_TAG_NAME_SIZE) >= PF_TAG_NAME_SIZE) { 4106 yyerror("tag too long, max %u chars", 4107 PF_TAG_NAME_SIZE - 1); 4108 YYERROR; 4109 } 4110 binat.match_tag_not = $11.neg; 4111 binat.rtableid = $12; 4112 4113 if ($6 != NULL) { 4114 binat.proto = $6->proto; 4115 free($6); 4116 } 4117 4118 if ($8 != NULL && disallow_table($8, "invalid use of " 4119 "table <%s> as the source address of a binat rule")) 4120 YYERROR; 4121 if ($8 != NULL && disallow_alias($8, "invalid use of " 4122 "interface (%s) as the source address of a binat " 4123 "rule")) 4124 YYERROR; 4125 if ($13 != NULL && $13->host != NULL && disallow_table( 4126 $13->host, "invalid use of table <%s> as the " 4127 "redirect address of a binat rule")) 4128 YYERROR; 4129 if ($13 != NULL && $13->host != NULL && disallow_alias( 4130 $13->host, "invalid use of interface (%s) as the " 4131 "redirect address of a binat rule")) 4132 YYERROR; 4133 4134 if ($8 != NULL) { 4135 if ($8->next) { 4136 yyerror("multiple binat ip addresses"); 4137 YYERROR; 4138 } 4139 if ($8->addr.type == PF_ADDR_DYNIFTL) 4140 $8->af = binat.af; 4141 if ($8->af != binat.af) { 4142 yyerror("binat ip versions must match"); 4143 YYERROR; 4144 } 4145 if (check_netmask($8, binat.af)) 4146 YYERROR; 4147 memcpy(&binat.src.addr, &$8->addr, 4148 sizeof(binat.src.addr)); 4149 free($8); 4150 } 4151 if ($9 != NULL) { 4152 if ($9->next) { 4153 yyerror("multiple binat ip addresses"); 4154 YYERROR; 4155 } 4156 if ($9->af != binat.af && $9->af) { 4157 yyerror("binat ip versions must match"); 4158 YYERROR; 4159 } 4160 if (check_netmask($9, binat.af)) 4161 YYERROR; 4162 memcpy(&binat.dst.addr, &$9->addr, 4163 sizeof(binat.dst.addr)); 4164 binat.dst.neg = $9->not; 4165 free($9); 4166 } 4167 4168 if (binat.action == PF_NOBINAT) { 4169 if ($13 != NULL) { 4170 yyerror("'no binat' rule does not need" 4171 " '->'"); 4172 YYERROR; 4173 } 4174 } else { 4175 if ($13 == NULL || $13->host == NULL) { 4176 yyerror("'binat' rule requires" 4177 " '-> address'"); 4178 YYERROR; 4179 } 4180 4181 remove_invalid_hosts(&$13->host, &binat.af); 4182 if (invalid_redirect($13->host, binat.af)) 4183 YYERROR; 4184 if ($13->host->next != NULL) { 4185 yyerror("binat rule must redirect to " 4186 "a single address"); 4187 YYERROR; 4188 } 4189 if (check_netmask($13->host, binat.af)) 4190 YYERROR; 4191 4192 if (!PF_AZERO(&binat.src.addr.v.a.mask, 4193 binat.af) && 4194 !PF_AEQ(&binat.src.addr.v.a.mask, 4195 &$13->host->addr.v.a.mask, binat.af)) { 4196 yyerror("'binat' source mask and " 4197 "redirect mask must be the same"); 4198 YYERROR; 4199 } 4200 4201 TAILQ_INIT(&binat.rpool.list); 4202 pa = calloc(1, sizeof(struct pf_pooladdr)); 4203 if (pa == NULL) 4204 err(1, "binat: calloc"); 4205 pa->addr = $13->host->addr; 4206 pa->ifname[0] = 0; 4207 TAILQ_INSERT_TAIL(&binat.rpool.list, 4208 pa, entries); 4209 4210 free($13); 4211 } 4212 4213 pfctl_add_rule(pf, &binat, ""); 4214 } 4215 ; 4216 4217 tag : /* empty */ { $$ = NULL; } 4218 | TAG STRING { $$ = $2; } 4219 ; 4220 4221 tagged : /* empty */ { $$.neg = 0; $$.name = NULL; } 4222 | not TAGGED string { $$.neg = $1; $$.name = $3; } 4223 ; 4224 4225 rtable : /* empty */ { $$ = -1; } 4226 | RTABLE NUMBER { 4227 if ($2 < 0 || $2 > rt_tableid_max()) { 4228 yyerror("invalid rtable id"); 4229 YYERROR; 4230 } 4231 $$ = $2; 4232 } 4233 ; 4234 4235 route_host : STRING { 4236 $$ = calloc(1, sizeof(struct node_host)); 4237 if ($$ == NULL) 4238 err(1, "route_host: calloc"); 4239 $$->ifname = $1; 4240 set_ipmask($$, 128); 4241 $$->next = NULL; 4242 $$->tail = $$; 4243 } 4244 | '(' STRING host ')' { 4245 $$ = $3; 4246 $$->ifname = $2; 4247 } 4248 ; 4249 4250 route_host_list : route_host optnl { $$ = $1; } 4251 | route_host_list comma route_host optnl { 4252 if ($1->af == 0) 4253 $1->af = $3->af; 4254 if ($1->af != $3->af) { 4255 yyerror("all pool addresses must be in the " 4256 "same address family"); 4257 YYERROR; 4258 } 4259 $1->tail->next = $3; 4260 $1->tail = $3->tail; 4261 $$ = $1; 4262 } 4263 ; 4264 4265 routespec : route_host { $$ = $1; } 4266 | '{' optnl route_host_list '}' { $$ = $3; } 4267 ; 4268 4269 route : /* empty */ { 4270 $$.host = NULL; 4271 $$.rt = 0; 4272 $$.pool_opts = 0; 4273 } 4274 | FASTROUTE { 4275 $$.host = NULL; 4276 $$.rt = PF_FASTROUTE; 4277 $$.pool_opts = 0; 4278 } 4279 | ROUTETO routespec pool_opts { 4280 $$.host = $2; 4281 $$.rt = PF_ROUTETO; 4282 $$.pool_opts = $3.type | $3.opts; 4283 if ($3.key != NULL) 4284 $$.key = $3.key; 4285 } 4286 | REPLYTO routespec pool_opts { 4287 $$.host = $2; 4288 $$.rt = PF_REPLYTO; 4289 $$.pool_opts = $3.type | $3.opts; 4290 if ($3.key != NULL) 4291 $$.key = $3.key; 4292 } 4293 | DUPTO routespec pool_opts { 4294 $$.host = $2; 4295 $$.rt = PF_DUPTO; 4296 $$.pool_opts = $3.type | $3.opts; 4297 if ($3.key != NULL) 4298 $$.key = $3.key; 4299 } 4300 ; 4301 4302 timeout_spec : STRING NUMBER 4303 { 4304 if (check_rulestate(PFCTL_STATE_OPTION)) { 4305 free($1); 4306 YYERROR; 4307 } 4308 if ($2 < 0 || $2 > UINT_MAX) { 4309 yyerror("only positive values permitted"); 4310 YYERROR; 4311 } 4312 if (pfctl_set_timeout(pf, $1, $2, 0) != 0) { 4313 yyerror("unknown timeout %s", $1); 4314 free($1); 4315 YYERROR; 4316 } 4317 free($1); 4318 } 4319 ; 4320 4321 timeout_list : timeout_list comma timeout_spec optnl 4322 | timeout_spec optnl 4323 ; 4324 4325 limit_spec : STRING NUMBER 4326 { 4327 if (check_rulestate(PFCTL_STATE_OPTION)) { 4328 free($1); 4329 YYERROR; 4330 } 4331 if ($2 < 0 || $2 > UINT_MAX) { 4332 yyerror("only positive values permitted"); 4333 YYERROR; 4334 } 4335 if (pfctl_set_limit(pf, $1, $2) != 0) { 4336 yyerror("unable to set limit %s %u", $1, $2); 4337 free($1); 4338 YYERROR; 4339 } 4340 free($1); 4341 } 4342 ; 4343 4344 limit_list : limit_list comma limit_spec optnl 4345 | limit_spec optnl 4346 ; 4347 4348 comma : ',' 4349 | /* empty */ 4350 ; 4351 4352 yesno : NO { $$ = 0; } 4353 | STRING { 4354 if (!strcmp($1, "yes")) 4355 $$ = 1; 4356 else { 4357 yyerror("invalid value '%s', expected 'yes' " 4358 "or 'no'", $1); 4359 free($1); 4360 YYERROR; 4361 } 4362 free($1); 4363 } 4364 ; 4365 4366 unaryop : '=' { $$ = PF_OP_EQ; } 4367 | '!' '=' { $$ = PF_OP_NE; } 4368 | '<' '=' { $$ = PF_OP_LE; } 4369 | '<' { $$ = PF_OP_LT; } 4370 | '>' '=' { $$ = PF_OP_GE; } 4371 | '>' { $$ = PF_OP_GT; } 4372 ; 4373 4374 %% 4375 4376 int 4377 yyerror(const char *fmt, ...) 4378 { 4379 va_list ap; 4380 4381 file->errors++; 4382 va_start(ap, fmt); 4383 fprintf(stderr, "%s:%d: ", file->name, yylval.lineno); 4384 vfprintf(stderr, fmt, ap); 4385 fprintf(stderr, "\n"); 4386 va_end(ap); 4387 return (0); 4388 } 4389 4390 int 4391 disallow_table(struct node_host *h, const char *fmt) 4392 { 4393 for (; h != NULL; h = h->next) 4394 if (h->addr.type == PF_ADDR_TABLE) { 4395 yyerror(fmt, h->addr.v.tblname); 4396 return (1); 4397 } 4398 return (0); 4399 } 4400 4401 int 4402 disallow_urpf_failed(struct node_host *h, const char *fmt) 4403 { 4404 for (; h != NULL; h = h->next) 4405 if (h->addr.type == PF_ADDR_URPFFAILED) { 4406 yyerror(fmt); 4407 return (1); 4408 } 4409 return (0); 4410 } 4411 4412 int 4413 disallow_alias(struct node_host *h, const char *fmt) 4414 { 4415 for (; h != NULL; h = h->next) 4416 if (DYNIF_MULTIADDR(h->addr)) { 4417 yyerror(fmt, h->addr.v.tblname); 4418 return (1); 4419 } 4420 return (0); 4421 } 4422 4423 int 4424 rule_consistent(struct pf_rule *r, int anchor_call) 4425 { 4426 int problems = 0; 4427 4428 switch (r->action) { 4429 case PF_PASS: 4430 case PF_DROP: 4431 case PF_SCRUB: 4432 case PF_NOSCRUB: 4433 problems = filter_consistent(r, anchor_call); 4434 break; 4435 case PF_NAT: 4436 case PF_NONAT: 4437 problems = nat_consistent(r); 4438 break; 4439 case PF_RDR: 4440 case PF_NORDR: 4441 problems = rdr_consistent(r); 4442 break; 4443 case PF_BINAT: 4444 case PF_NOBINAT: 4445 default: 4446 break; 4447 } 4448 return (problems); 4449 } 4450 4451 int 4452 filter_consistent(struct pf_rule *r, int anchor_call) 4453 { 4454 int problems = 0; 4455 4456 if (r->proto != IPPROTO_TCP && r->proto != IPPROTO_UDP && 4457 (r->src.port_op || r->dst.port_op)) { 4458 yyerror("port only applies to tcp/udp"); 4459 problems++; 4460 } 4461 if (r->proto != IPPROTO_ICMP && r->proto != IPPROTO_ICMPV6 && 4462 (r->type || r->code)) { 4463 yyerror("icmp-type/code only applies to icmp"); 4464 problems++; 4465 } 4466 if (!r->af && (r->type || r->code)) { 4467 yyerror("must indicate address family with icmp-type/code"); 4468 problems++; 4469 } 4470 if (r->overload_tblname[0] && 4471 r->max_src_conn == 0 && r->max_src_conn_rate.seconds == 0) { 4472 yyerror("'overload' requires 'max-src-conn' " 4473 "or 'max-src-conn-rate'"); 4474 problems++; 4475 } 4476 if ((r->proto == IPPROTO_ICMP && r->af == AF_INET6) || 4477 (r->proto == IPPROTO_ICMPV6 && r->af == AF_INET)) { 4478 yyerror("proto %s doesn't match address family %s", 4479 r->proto == IPPROTO_ICMP ? "icmp" : "icmp6", 4480 r->af == AF_INET ? "inet" : "inet6"); 4481 problems++; 4482 } 4483 if (r->allow_opts && r->action != PF_PASS) { 4484 yyerror("allow-opts can only be specified for pass rules"); 4485 problems++; 4486 } 4487 if (r->rule_flag & PFRULE_FRAGMENT && (r->src.port_op || 4488 r->dst.port_op || r->flagset || r->type || r->code)) { 4489 yyerror("fragments can be filtered only on IP header fields"); 4490 problems++; 4491 } 4492 if (r->rule_flag & PFRULE_RETURNRST && r->proto != IPPROTO_TCP) { 4493 yyerror("return-rst can only be applied to TCP rules"); 4494 problems++; 4495 } 4496 if (r->max_src_nodes && !(r->rule_flag & PFRULE_RULESRCTRACK)) { 4497 yyerror("max-src-nodes requires 'source-track rule'"); 4498 problems++; 4499 } 4500 if (r->action == PF_DROP && r->keep_state) { 4501 yyerror("keep state on block rules doesn't make sense"); 4502 problems++; 4503 } 4504 if (r->rule_flag & PFRULE_STATESLOPPY && 4505 (r->keep_state == PF_STATE_MODULATE || 4506 r->keep_state == PF_STATE_SYNPROXY)) { 4507 yyerror("sloppy state matching cannot be used with " 4508 "synproxy state or modulate state"); 4509 problems++; 4510 } 4511 return (-problems); 4512 } 4513 4514 int 4515 nat_consistent(struct pf_rule *r) 4516 { 4517 return (0); /* yeah! */ 4518 } 4519 4520 int 4521 rdr_consistent(struct pf_rule *r) 4522 { 4523 int problems = 0; 4524 4525 if (r->proto != IPPROTO_TCP && r->proto != IPPROTO_UDP) { 4526 if (r->src.port_op) { 4527 yyerror("src port only applies to tcp/udp"); 4528 problems++; 4529 } 4530 if (r->dst.port_op) { 4531 yyerror("dst port only applies to tcp/udp"); 4532 problems++; 4533 } 4534 if (r->rpool.proxy_port[0]) { 4535 yyerror("rpool port only applies to tcp/udp"); 4536 problems++; 4537 } 4538 } 4539 if (r->dst.port_op && 4540 r->dst.port_op != PF_OP_EQ && r->dst.port_op != PF_OP_RRG) { 4541 yyerror("invalid port operator for rdr destination port"); 4542 problems++; 4543 } 4544 return (-problems); 4545 } 4546 4547 int 4548 process_tabledef(char *name, struct table_opts *opts) 4549 { 4550 struct pfr_buffer ab; 4551 struct node_tinit *ti; 4552 4553 bzero(&ab, sizeof(ab)); 4554 ab.pfrb_type = PFRB_ADDRS; 4555 SIMPLEQ_FOREACH(ti, &opts->init_nodes, entries) { 4556 if (ti->file) 4557 if (pfr_buf_load(&ab, ti->file, 0, append_addr)) { 4558 if (errno) 4559 yyerror("cannot load \"%s\": %s", 4560 ti->file, strerror(errno)); 4561 else 4562 yyerror("file \"%s\" contains bad data", 4563 ti->file); 4564 goto _error; 4565 } 4566 if (ti->host) 4567 if (append_addr_host(&ab, ti->host, 0, 0)) { 4568 yyerror("cannot create address buffer: %s", 4569 strerror(errno)); 4570 goto _error; 4571 } 4572 } 4573 if (pf->opts & PF_OPT_VERBOSE) 4574 print_tabledef(name, opts->flags, opts->init_addr, 4575 &opts->init_nodes); 4576 if (!(pf->opts & PF_OPT_NOACTION) && 4577 pfctl_define_table(name, opts->flags, opts->init_addr, 4578 pf->anchor->name, &ab, pf->anchor->ruleset.tticket)) { 4579 yyerror("cannot define table %s: %s", name, 4580 pfr_strerror(errno)); 4581 goto _error; 4582 } 4583 pf->tdirty = 1; 4584 pfr_buf_clear(&ab); 4585 return (0); 4586 _error: 4587 pfr_buf_clear(&ab); 4588 return (-1); 4589 } 4590 4591 struct keywords { 4592 const char *k_name; 4593 int k_val; 4594 }; 4595 4596 /* macro gore, but you should've seen the prior indentation nightmare... */ 4597 4598 #define FREE_LIST(T,r) \ 4599 do { \ 4600 T *p, *node = r; \ 4601 while (node != NULL) { \ 4602 p = node; \ 4603 node = node->next; \ 4604 free(p); \ 4605 } \ 4606 } while (0) 4607 4608 #define LOOP_THROUGH(T,n,r,C) \ 4609 do { \ 4610 T *n; \ 4611 if (r == NULL) { \ 4612 r = calloc(1, sizeof(T)); \ 4613 if (r == NULL) \ 4614 err(1, "LOOP: calloc"); \ 4615 r->next = NULL; \ 4616 } \ 4617 n = r; \ 4618 while (n != NULL) { \ 4619 do { \ 4620 C; \ 4621 } while (0); \ 4622 n = n->next; \ 4623 } \ 4624 } while (0) 4625 4626 void 4627 expand_label_str(char *label, size_t len, const char *srch, const char *repl) 4628 { 4629 char *tmp; 4630 char *p, *q; 4631 4632 if ((tmp = calloc(1, len)) == NULL) 4633 err(1, "expand_label_str: calloc"); 4634 p = q = label; 4635 while ((q = strstr(p, srch)) != NULL) { 4636 *q = '\0'; 4637 if ((strlcat(tmp, p, len) >= len) || 4638 (strlcat(tmp, repl, len) >= len)) 4639 errx(1, "expand_label: label too long"); 4640 q += strlen(srch); 4641 p = q; 4642 } 4643 if (strlcat(tmp, p, len) >= len) 4644 errx(1, "expand_label: label too long"); 4645 strlcpy(label, tmp, len); /* always fits */ 4646 free(tmp); 4647 } 4648 4649 void 4650 expand_label_if(const char *name, char *label, size_t len, const char *ifname) 4651 { 4652 if (strstr(label, name) != NULL) { 4653 if (!*ifname) 4654 expand_label_str(label, len, name, "any"); 4655 else 4656 expand_label_str(label, len, name, ifname); 4657 } 4658 } 4659 4660 void 4661 expand_label_addr(const char *name, char *label, size_t len, sa_family_t af, 4662 struct node_host *h) 4663 { 4664 char tmp[64], tmp_not[66]; 4665 4666 if (strstr(label, name) != NULL) { 4667 switch (h->addr.type) { 4668 case PF_ADDR_DYNIFTL: 4669 snprintf(tmp, sizeof(tmp), "(%s)", h->addr.v.ifname); 4670 break; 4671 case PF_ADDR_TABLE: 4672 snprintf(tmp, sizeof(tmp), "<%s>", h->addr.v.tblname); 4673 break; 4674 case PF_ADDR_NOROUTE: 4675 snprintf(tmp, sizeof(tmp), "no-route"); 4676 break; 4677 case PF_ADDR_URPFFAILED: 4678 snprintf(tmp, sizeof(tmp), "urpf-failed"); 4679 break; 4680 case PF_ADDR_ADDRMASK: 4681 if (!af || (PF_AZERO(&h->addr.v.a.addr, af) && 4682 PF_AZERO(&h->addr.v.a.mask, af))) 4683 snprintf(tmp, sizeof(tmp), "any"); 4684 else { 4685 char a[48]; 4686 int bits; 4687 4688 if (inet_ntop(af, &h->addr.v.a.addr, a, 4689 sizeof(a)) == NULL) 4690 snprintf(tmp, sizeof(tmp), "?"); 4691 else { 4692 bits = unmask(&h->addr.v.a.mask, af); 4693 if ((af == AF_INET && bits < 32) || 4694 (af == AF_INET6 && bits < 128)) 4695 snprintf(tmp, sizeof(tmp), 4696 "%s/%d", a, bits); 4697 else 4698 snprintf(tmp, sizeof(tmp), 4699 "%s", a); 4700 } 4701 } 4702 break; 4703 default: 4704 snprintf(tmp, sizeof(tmp), "?"); 4705 break; 4706 } 4707 4708 if (h->not) { 4709 snprintf(tmp_not, sizeof(tmp_not), "! %s", tmp); 4710 expand_label_str(label, len, name, tmp_not); 4711 } else 4712 expand_label_str(label, len, name, tmp); 4713 } 4714 } 4715 4716 void 4717 expand_label_port(const char *name, char *label, size_t len, 4718 struct node_port *port) 4719 { 4720 char a1[6], a2[6], op[13] = ""; 4721 4722 if (strstr(label, name) != NULL) { 4723 snprintf(a1, sizeof(a1), "%u", ntohs(port->port[0])); 4724 snprintf(a2, sizeof(a2), "%u", ntohs(port->port[1])); 4725 if (!port->op) 4726 ; 4727 else if (port->op == PF_OP_IRG) 4728 snprintf(op, sizeof(op), "%s><%s", a1, a2); 4729 else if (port->op == PF_OP_XRG) 4730 snprintf(op, sizeof(op), "%s<>%s", a1, a2); 4731 else if (port->op == PF_OP_EQ) 4732 snprintf(op, sizeof(op), "%s", a1); 4733 else if (port->op == PF_OP_NE) 4734 snprintf(op, sizeof(op), "!=%s", a1); 4735 else if (port->op == PF_OP_LT) 4736 snprintf(op, sizeof(op), "<%s", a1); 4737 else if (port->op == PF_OP_LE) 4738 snprintf(op, sizeof(op), "<=%s", a1); 4739 else if (port->op == PF_OP_GT) 4740 snprintf(op, sizeof(op), ">%s", a1); 4741 else if (port->op == PF_OP_GE) 4742 snprintf(op, sizeof(op), ">=%s", a1); 4743 expand_label_str(label, len, name, op); 4744 } 4745 } 4746 4747 void 4748 expand_label_proto(const char *name, char *label, size_t len, u_int8_t proto) 4749 { 4750 struct protoent *pe; 4751 char n[4]; 4752 4753 if (strstr(label, name) != NULL) { 4754 pe = getprotobynumber(proto); 4755 if (pe != NULL) 4756 expand_label_str(label, len, name, pe->p_name); 4757 else { 4758 snprintf(n, sizeof(n), "%u", proto); 4759 expand_label_str(label, len, name, n); 4760 } 4761 } 4762 } 4763 4764 void 4765 expand_label_nr(const char *name, char *label, size_t len) 4766 { 4767 char n[11]; 4768 4769 if (strstr(label, name) != NULL) { 4770 snprintf(n, sizeof(n), "%u", pf->anchor->match); 4771 expand_label_str(label, len, name, n); 4772 } 4773 } 4774 4775 void 4776 expand_label(char *label, size_t len, const char *ifname, sa_family_t af, 4777 struct node_host *src_host, struct node_port *src_port, 4778 struct node_host *dst_host, struct node_port *dst_port, 4779 u_int8_t proto) 4780 { 4781 expand_label_if("$if", label, len, ifname); 4782 expand_label_addr("$srcaddr", label, len, af, src_host); 4783 expand_label_addr("$dstaddr", label, len, af, dst_host); 4784 expand_label_port("$srcport", label, len, src_port); 4785 expand_label_port("$dstport", label, len, dst_port); 4786 expand_label_proto("$proto", label, len, proto); 4787 expand_label_nr("$nr", label, len); 4788 } 4789 4790 int 4791 expand_altq(struct pf_altq *a, struct node_if *interfaces, 4792 struct node_queue *nqueues, struct node_queue_bw bwspec, 4793 struct node_queue_opt *opts) 4794 { 4795 struct pf_altq pa, pb; 4796 char qname[PF_QNAME_SIZE]; 4797 struct node_queue *n; 4798 struct node_queue_bw bw; 4799 int errs = 0; 4800 4801 if ((pf->loadopt & PFCTL_FLAG_ALTQ) == 0) { 4802 FREE_LIST(struct node_if, interfaces); 4803 FREE_LIST(struct node_queue, nqueues); 4804 return (0); 4805 } 4806 4807 LOOP_THROUGH(struct node_if, interface, interfaces, 4808 memcpy(&pa, a, sizeof(struct pf_altq)); 4809 if (strlcpy(pa.ifname, interface->ifname, 4810 sizeof(pa.ifname)) >= sizeof(pa.ifname)) 4811 errx(1, "expand_altq: strlcpy"); 4812 4813 if (interface->not) { 4814 yyerror("altq on ! <interface> is not supported"); 4815 errs++; 4816 } else { 4817 if (eval_pfaltq(pf, &pa, &bwspec, opts)) 4818 errs++; 4819 else 4820 if (pfctl_add_altq(pf, &pa)) 4821 errs++; 4822 4823 if (pf->opts & PF_OPT_VERBOSE) { 4824 print_altq(&pf->paltq->altq, 0, 4825 &bwspec, opts); 4826 if (nqueues && nqueues->tail) { 4827 printf("queue { "); 4828 LOOP_THROUGH(struct node_queue, queue, 4829 nqueues, 4830 printf("%s ", 4831 queue->queue); 4832 ); 4833 printf("}"); 4834 } 4835 printf("\n"); 4836 } 4837 4838 if (pa.scheduler == ALTQT_CBQ || 4839 pa.scheduler == ALTQT_HFSC) { 4840 /* now create a root queue */ 4841 memset(&pb, 0, sizeof(struct pf_altq)); 4842 if (strlcpy(qname, "root_", sizeof(qname)) >= 4843 sizeof(qname)) 4844 errx(1, "expand_altq: strlcpy"); 4845 if (strlcat(qname, interface->ifname, 4846 sizeof(qname)) >= sizeof(qname)) 4847 errx(1, "expand_altq: strlcat"); 4848 if (strlcpy(pb.qname, qname, 4849 sizeof(pb.qname)) >= sizeof(pb.qname)) 4850 errx(1, "expand_altq: strlcpy"); 4851 if (strlcpy(pb.ifname, interface->ifname, 4852 sizeof(pb.ifname)) >= sizeof(pb.ifname)) 4853 errx(1, "expand_altq: strlcpy"); 4854 pb.qlimit = pa.qlimit; 4855 pb.scheduler = pa.scheduler; 4856 bw.bw_absolute = pa.ifbandwidth; 4857 bw.bw_percent = 0; 4858 if (eval_pfqueue(pf, &pb, &bw, opts)) 4859 errs++; 4860 else 4861 if (pfctl_add_altq(pf, &pb)) 4862 errs++; 4863 } 4864 4865 LOOP_THROUGH(struct node_queue, queue, nqueues, 4866 n = calloc(1, sizeof(struct node_queue)); 4867 if (n == NULL) 4868 err(1, "expand_altq: calloc"); 4869 if (pa.scheduler == ALTQT_CBQ || 4870 pa.scheduler == ALTQT_HFSC) 4871 if (strlcpy(n->parent, qname, 4872 sizeof(n->parent)) >= 4873 sizeof(n->parent)) 4874 errx(1, "expand_altq: strlcpy"); 4875 if (strlcpy(n->queue, queue->queue, 4876 sizeof(n->queue)) >= sizeof(n->queue)) 4877 errx(1, "expand_altq: strlcpy"); 4878 if (strlcpy(n->ifname, interface->ifname, 4879 sizeof(n->ifname)) >= sizeof(n->ifname)) 4880 errx(1, "expand_altq: strlcpy"); 4881 n->scheduler = pa.scheduler; 4882 n->next = NULL; 4883 n->tail = n; 4884 if (queues == NULL) 4885 queues = n; 4886 else { 4887 queues->tail->next = n; 4888 queues->tail = n; 4889 } 4890 ); 4891 } 4892 ); 4893 FREE_LIST(struct node_if, interfaces); 4894 FREE_LIST(struct node_queue, nqueues); 4895 4896 return (errs); 4897 } 4898 4899 int 4900 expand_queue(struct pf_altq *a, struct node_if *interfaces, 4901 struct node_queue *nqueues, struct node_queue_bw bwspec, 4902 struct node_queue_opt *opts) 4903 { 4904 struct node_queue *n, *nq; 4905 struct pf_altq pa; 4906 u_int8_t found = 0; 4907 u_int8_t errs = 0; 4908 4909 if ((pf->loadopt & PFCTL_FLAG_ALTQ) == 0) { 4910 FREE_LIST(struct node_queue, nqueues); 4911 return (0); 4912 } 4913 4914 if (queues == NULL) { 4915 yyerror("queue %s has no parent", a->qname); 4916 FREE_LIST(struct node_queue, nqueues); 4917 return (1); 4918 } 4919 4920 LOOP_THROUGH(struct node_if, interface, interfaces, 4921 LOOP_THROUGH(struct node_queue, tqueue, queues, 4922 if (!strncmp(a->qname, tqueue->queue, PF_QNAME_SIZE) && 4923 (interface->ifname[0] == 0 || 4924 (!interface->not && !strncmp(interface->ifname, 4925 tqueue->ifname, IFNAMSIZ)) || 4926 (interface->not && strncmp(interface->ifname, 4927 tqueue->ifname, IFNAMSIZ)))) { 4928 /* found ourself in queues */ 4929 found++; 4930 4931 memcpy(&pa, a, sizeof(struct pf_altq)); 4932 4933 if (pa.scheduler != ALTQT_NONE && 4934 pa.scheduler != tqueue->scheduler) { 4935 yyerror("exactly one scheduler type " 4936 "per interface allowed"); 4937 return (1); 4938 } 4939 pa.scheduler = tqueue->scheduler; 4940 4941 /* scheduler dependent error checking */ 4942 switch (pa.scheduler) { 4943 case ALTQT_PRIQ: 4944 if (nqueues != NULL) { 4945 yyerror("priq queues cannot " 4946 "have child queues"); 4947 return (1); 4948 } 4949 if (bwspec.bw_absolute > 0 || 4950 bwspec.bw_percent < 100) { 4951 yyerror("priq doesn't take " 4952 "bandwidth"); 4953 return (1); 4954 } 4955 break; 4956 default: 4957 break; 4958 } 4959 4960 if (strlcpy(pa.ifname, tqueue->ifname, 4961 sizeof(pa.ifname)) >= sizeof(pa.ifname)) 4962 errx(1, "expand_queue: strlcpy"); 4963 if (strlcpy(pa.parent, tqueue->parent, 4964 sizeof(pa.parent)) >= sizeof(pa.parent)) 4965 errx(1, "expand_queue: strlcpy"); 4966 4967 if (eval_pfqueue(pf, &pa, &bwspec, opts)) 4968 errs++; 4969 else 4970 if (pfctl_add_altq(pf, &pa)) 4971 errs++; 4972 4973 for (nq = nqueues; nq != NULL; nq = nq->next) { 4974 if (!strcmp(a->qname, nq->queue)) { 4975 yyerror("queue cannot have " 4976 "itself as child"); 4977 errs++; 4978 continue; 4979 } 4980 n = calloc(1, 4981 sizeof(struct node_queue)); 4982 if (n == NULL) 4983 err(1, "expand_queue: calloc"); 4984 if (strlcpy(n->parent, a->qname, 4985 sizeof(n->parent)) >= 4986 sizeof(n->parent)) 4987 errx(1, "expand_queue strlcpy"); 4988 if (strlcpy(n->queue, nq->queue, 4989 sizeof(n->queue)) >= 4990 sizeof(n->queue)) 4991 errx(1, "expand_queue strlcpy"); 4992 if (strlcpy(n->ifname, tqueue->ifname, 4993 sizeof(n->ifname)) >= 4994 sizeof(n->ifname)) 4995 errx(1, "expand_queue strlcpy"); 4996 n->scheduler = tqueue->scheduler; 4997 n->next = NULL; 4998 n->tail = n; 4999 if (queues == NULL) 5000 queues = n; 5001 else { 5002 queues->tail->next = n; 5003 queues->tail = n; 5004 } 5005 } 5006 if ((pf->opts & PF_OPT_VERBOSE) && ( 5007 (found == 1 && interface->ifname[0] == 0) || 5008 (found > 0 && interface->ifname[0] != 0))) { 5009 print_queue(&pf->paltq->altq, 0, 5010 &bwspec, interface->ifname[0] != 0, 5011 opts); 5012 if (nqueues && nqueues->tail) { 5013 printf("{ "); 5014 LOOP_THROUGH(struct node_queue, 5015 queue, nqueues, 5016 printf("%s ", 5017 queue->queue); 5018 ); 5019 printf("}"); 5020 } 5021 printf("\n"); 5022 } 5023 } 5024 ); 5025 ); 5026 5027 FREE_LIST(struct node_queue, nqueues); 5028 FREE_LIST(struct node_if, interfaces); 5029 5030 if (!found) { 5031 yyerror("queue %s has no parent", a->qname); 5032 errs++; 5033 } 5034 5035 if (errs) 5036 return (1); 5037 else 5038 return (0); 5039 } 5040 5041 void 5042 expand_rule(struct pf_rule *r, 5043 struct node_if *interfaces, struct node_host *rpool_hosts, 5044 struct node_proto *protos, struct node_os *src_oses, 5045 struct node_host *src_hosts, struct node_port *src_ports, 5046 struct node_host *dst_hosts, struct node_port *dst_ports, 5047 struct node_uid *uids, struct node_gid *gids, struct node_icmp *icmp_types, 5048 const char *anchor_call) 5049 { 5050 sa_family_t af = r->af; 5051 int added = 0, error = 0; 5052 char ifname[IF_NAMESIZE]; 5053 char label[PF_RULE_LABEL_SIZE]; 5054 char tagname[PF_TAG_NAME_SIZE]; 5055 char match_tagname[PF_TAG_NAME_SIZE]; 5056 struct pf_pooladdr *pa; 5057 struct node_host *h; 5058 u_int8_t flags, flagset, keep_state; 5059 5060 if (strlcpy(label, r->label, sizeof(label)) >= sizeof(label)) 5061 errx(1, "expand_rule: strlcpy"); 5062 if (strlcpy(tagname, r->tagname, sizeof(tagname)) >= sizeof(tagname)) 5063 errx(1, "expand_rule: strlcpy"); 5064 if (strlcpy(match_tagname, r->match_tagname, sizeof(match_tagname)) >= 5065 sizeof(match_tagname)) 5066 errx(1, "expand_rule: strlcpy"); 5067 flags = r->flags; 5068 flagset = r->flagset; 5069 keep_state = r->keep_state; 5070 5071 LOOP_THROUGH(struct node_if, interface, interfaces, 5072 LOOP_THROUGH(struct node_proto, proto, protos, 5073 LOOP_THROUGH(struct node_icmp, icmp_type, icmp_types, 5074 LOOP_THROUGH(struct node_host, src_host, src_hosts, 5075 LOOP_THROUGH(struct node_port, src_port, src_ports, 5076 LOOP_THROUGH(struct node_os, src_os, src_oses, 5077 LOOP_THROUGH(struct node_host, dst_host, dst_hosts, 5078 LOOP_THROUGH(struct node_port, dst_port, dst_ports, 5079 LOOP_THROUGH(struct node_uid, uid, uids, 5080 LOOP_THROUGH(struct node_gid, gid, gids, 5081 5082 r->af = af; 5083 /* for link-local IPv6 address, interface must match up */ 5084 if ((r->af && src_host->af && r->af != src_host->af) || 5085 (r->af && dst_host->af && r->af != dst_host->af) || 5086 (src_host->af && dst_host->af && 5087 src_host->af != dst_host->af) || 5088 (src_host->ifindex && dst_host->ifindex && 5089 src_host->ifindex != dst_host->ifindex) || 5090 (src_host->ifindex && *interface->ifname && 5091 src_host->ifindex != if_nametoindex(interface->ifname)) || 5092 (dst_host->ifindex && *interface->ifname && 5093 dst_host->ifindex != if_nametoindex(interface->ifname))) 5094 continue; 5095 if (!r->af && src_host->af) 5096 r->af = src_host->af; 5097 else if (!r->af && dst_host->af) 5098 r->af = dst_host->af; 5099 5100 if (*interface->ifname) 5101 strlcpy(r->ifname, interface->ifname, 5102 sizeof(r->ifname)); 5103 else if (if_indextoname(src_host->ifindex, ifname)) 5104 strlcpy(r->ifname, ifname, sizeof(r->ifname)); 5105 else if (if_indextoname(dst_host->ifindex, ifname)) 5106 strlcpy(r->ifname, ifname, sizeof(r->ifname)); 5107 else 5108 memset(r->ifname, '\0', sizeof(r->ifname)); 5109 5110 if (strlcpy(r->label, label, sizeof(r->label)) >= 5111 sizeof(r->label)) 5112 errx(1, "expand_rule: strlcpy"); 5113 if (strlcpy(r->tagname, tagname, sizeof(r->tagname)) >= 5114 sizeof(r->tagname)) 5115 errx(1, "expand_rule: strlcpy"); 5116 if (strlcpy(r->match_tagname, match_tagname, 5117 sizeof(r->match_tagname)) >= sizeof(r->match_tagname)) 5118 errx(1, "expand_rule: strlcpy"); 5119 expand_label(r->label, PF_RULE_LABEL_SIZE, r->ifname, r->af, 5120 src_host, src_port, dst_host, dst_port, proto->proto); 5121 expand_label(r->tagname, PF_TAG_NAME_SIZE, r->ifname, r->af, 5122 src_host, src_port, dst_host, dst_port, proto->proto); 5123 expand_label(r->match_tagname, PF_TAG_NAME_SIZE, r->ifname, 5124 r->af, src_host, src_port, dst_host, dst_port, 5125 proto->proto); 5126 5127 error += check_netmask(src_host, r->af); 5128 error += check_netmask(dst_host, r->af); 5129 5130 r->ifnot = interface->not; 5131 r->proto = proto->proto; 5132 r->src.addr = src_host->addr; 5133 r->src.neg = src_host->not; 5134 r->src.port[0] = src_port->port[0]; 5135 r->src.port[1] = src_port->port[1]; 5136 r->src.port_op = src_port->op; 5137 r->dst.addr = dst_host->addr; 5138 r->dst.neg = dst_host->not; 5139 r->dst.port[0] = dst_port->port[0]; 5140 r->dst.port[1] = dst_port->port[1]; 5141 r->dst.port_op = dst_port->op; 5142 r->uid.op = uid->op; 5143 r->uid.uid[0] = uid->uid[0]; 5144 r->uid.uid[1] = uid->uid[1]; 5145 r->gid.op = gid->op; 5146 r->gid.gid[0] = gid->gid[0]; 5147 r->gid.gid[1] = gid->gid[1]; 5148 r->type = icmp_type->type; 5149 r->code = icmp_type->code; 5150 5151 if ((keep_state == PF_STATE_MODULATE || 5152 keep_state == PF_STATE_SYNPROXY) && 5153 r->proto && r->proto != IPPROTO_TCP) 5154 r->keep_state = PF_STATE_NORMAL; 5155 else 5156 r->keep_state = keep_state; 5157 5158 if (r->proto && r->proto != IPPROTO_TCP) { 5159 r->flags = 0; 5160 r->flagset = 0; 5161 } else { 5162 r->flags = flags; 5163 r->flagset = flagset; 5164 } 5165 if (icmp_type->proto && r->proto != icmp_type->proto) { 5166 yyerror("icmp-type mismatch"); 5167 error++; 5168 } 5169 5170 if (src_os && src_os->os) { 5171 r->os_fingerprint = pfctl_get_fingerprint(src_os->os); 5172 if ((pf->opts & PF_OPT_VERBOSE2) && 5173 r->os_fingerprint == PF_OSFP_NOMATCH) 5174 fprintf(stderr, 5175 "warning: unknown '%s' OS fingerprint\n", 5176 src_os->os); 5177 } else { 5178 r->os_fingerprint = PF_OSFP_ANY; 5179 } 5180 5181 TAILQ_INIT(&r->rpool.list); 5182 for (h = rpool_hosts; h != NULL; h = h->next) { 5183 pa = calloc(1, sizeof(struct pf_pooladdr)); 5184 if (pa == NULL) 5185 err(1, "expand_rule: calloc"); 5186 pa->addr = h->addr; 5187 if (h->ifname != NULL) { 5188 if (strlcpy(pa->ifname, h->ifname, 5189 sizeof(pa->ifname)) >= 5190 sizeof(pa->ifname)) 5191 errx(1, "expand_rule: strlcpy"); 5192 } else 5193 pa->ifname[0] = 0; 5194 TAILQ_INSERT_TAIL(&r->rpool.list, pa, entries); 5195 } 5196 5197 if (rule_consistent(r, anchor_call[0]) < 0 || error) 5198 yyerror("skipping rule due to errors"); 5199 else { 5200 r->nr = pf->astack[pf->asd]->match++; 5201 pfctl_add_rule(pf, r, anchor_call); 5202 added++; 5203 } 5204 5205 )))))))))); 5206 5207 FREE_LIST(struct node_if, interfaces); 5208 FREE_LIST(struct node_proto, protos); 5209 FREE_LIST(struct node_host, src_hosts); 5210 FREE_LIST(struct node_port, src_ports); 5211 FREE_LIST(struct node_os, src_oses); 5212 FREE_LIST(struct node_host, dst_hosts); 5213 FREE_LIST(struct node_port, dst_ports); 5214 FREE_LIST(struct node_uid, uids); 5215 FREE_LIST(struct node_gid, gids); 5216 FREE_LIST(struct node_icmp, icmp_types); 5217 FREE_LIST(struct node_host, rpool_hosts); 5218 5219 if (!added) 5220 yyerror("rule expands to no valid combination"); 5221 } 5222 5223 int 5224 expand_skip_interface(struct node_if *interfaces) 5225 { 5226 int errs = 0; 5227 5228 if (!interfaces || (!interfaces->next && !interfaces->not && 5229 !strcmp(interfaces->ifname, "none"))) { 5230 if (pf->opts & PF_OPT_VERBOSE) 5231 printf("set skip on none\n"); 5232 errs = pfctl_set_interface_flags(pf, "", PFI_IFLAG_SKIP, 0); 5233 return (errs); 5234 } 5235 5236 if (pf->opts & PF_OPT_VERBOSE) 5237 printf("set skip on {"); 5238 LOOP_THROUGH(struct node_if, interface, interfaces, 5239 if (pf->opts & PF_OPT_VERBOSE) 5240 printf(" %s", interface->ifname); 5241 if (interface->not) { 5242 yyerror("skip on ! <interface> is not supported"); 5243 errs++; 5244 } else 5245 errs += pfctl_set_interface_flags(pf, 5246 interface->ifname, PFI_IFLAG_SKIP, 1); 5247 ); 5248 if (pf->opts & PF_OPT_VERBOSE) 5249 printf(" }\n"); 5250 5251 FREE_LIST(struct node_if, interfaces); 5252 5253 if (errs) 5254 return (1); 5255 else 5256 return (0); 5257 } 5258 5259 #undef FREE_LIST 5260 #undef LOOP_THROUGH 5261 5262 int 5263 check_rulestate(int desired_state) 5264 { 5265 if (require_order && (rulestate > desired_state)) { 5266 yyerror("Rules must be in order: options, normalization, " 5267 "queueing, translation, filtering"); 5268 return (1); 5269 } 5270 rulestate = desired_state; 5271 return (0); 5272 } 5273 5274 int 5275 kw_cmp(const void *k, const void *e) 5276 { 5277 return (strcmp(k, ((const struct keywords *)e)->k_name)); 5278 } 5279 5280 int 5281 lookup(char *s) 5282 { 5283 /* this has to be sorted always */ 5284 static const struct keywords keywords[] = { 5285 { "all", ALL}, 5286 { "allow-opts", ALLOWOPTS}, 5287 { "altq", ALTQ}, 5288 { "anchor", ANCHOR}, 5289 { "antispoof", ANTISPOOF}, 5290 { "any", ANY}, 5291 { "bandwidth", BANDWIDTH}, 5292 { "binat", BINAT}, 5293 { "binat-anchor", BINATANCHOR}, 5294 { "bitmask", BITMASK}, 5295 { "block", BLOCK}, 5296 { "block-policy", BLOCKPOLICY}, 5297 { "buckets", BUCKETS}, 5298 { "cbq", CBQ}, 5299 { "code", CODE}, 5300 { "crop", FRAGCROP}, 5301 { "debug", DEBUG}, 5302 { "divert-reply", DIVERTREPLY}, 5303 { "divert-to", DIVERTTO}, 5304 { "drop", DROP}, 5305 { "drop-ovl", FRAGDROP}, 5306 { "dup-to", DUPTO}, 5307 { "fairq", FAIRQ}, 5308 { "fastroute", FASTROUTE}, 5309 { "file", FILENAME}, 5310 { "fingerprints", FINGERPRINTS}, 5311 { "flags", FLAGS}, 5312 { "floating", FLOATING}, 5313 { "flush", FLUSH}, 5314 { "for", FOR}, 5315 { "fragment", FRAGMENT}, 5316 { "from", FROM}, 5317 { "global", GLOBAL}, 5318 { "group", GROUP}, 5319 { "hfsc", HFSC}, 5320 { "hogs", HOGS}, 5321 { "hostid", HOSTID}, 5322 { "icmp-type", ICMPTYPE}, 5323 { "icmp6-type", ICMP6TYPE}, 5324 { "if-bound", IFBOUND}, 5325 { "in", IN}, 5326 { "include", INCLUDE}, 5327 { "inet", INET}, 5328 { "inet6", INET6}, 5329 { "keep", KEEP}, 5330 { "label", LABEL}, 5331 { "limit", LIMIT}, 5332 { "linkshare", LINKSHARE}, 5333 { "load", LOAD}, 5334 { "log", LOG}, 5335 { "loginterface", LOGINTERFACE}, 5336 { "max", MAXIMUM}, 5337 { "max-mss", MAXMSS}, 5338 { "max-src-conn", MAXSRCCONN}, 5339 { "max-src-conn-rate", MAXSRCCONNRATE}, 5340 { "max-src-nodes", MAXSRCNODES}, 5341 { "max-src-states", MAXSRCSTATES}, 5342 { "min-ttl", MINTTL}, 5343 { "modulate", MODULATE}, 5344 { "nat", NAT}, 5345 { "nat-anchor", NATANCHOR}, 5346 { "no", NO}, 5347 { "no-df", NODF}, 5348 { "no-route", NOROUTE}, 5349 { "no-sync", NOSYNC}, 5350 { "on", ON}, 5351 { "optimization", OPTIMIZATION}, 5352 { "os", OS}, 5353 { "out", OUT}, 5354 { "overload", OVERLOAD}, 5355 { "pass", PASS}, 5356 { "port", PORT}, 5357 { "priority", PRIORITY}, 5358 { "priq", PRIQ}, 5359 { "probability", PROBABILITY}, 5360 { "proto", PROTO}, 5361 { "qlimit", QLIMIT}, 5362 { "queue", QUEUE}, 5363 { "quick", QUICK}, 5364 { "random", RANDOM}, 5365 { "random-id", RANDOMID}, 5366 { "rdr", RDR}, 5367 { "rdr-anchor", RDRANCHOR}, 5368 { "realtime", REALTIME}, 5369 { "reassemble", REASSEMBLE}, 5370 { "reply-to", REPLYTO}, 5371 { "require-order", REQUIREORDER}, 5372 { "return", RETURN}, 5373 { "return-icmp", RETURNICMP}, 5374 { "return-icmp6", RETURNICMP6}, 5375 { "return-rst", RETURNRST}, 5376 { "round-robin", ROUNDROBIN}, 5377 { "route", ROUTE}, 5378 { "route-to", ROUTETO}, 5379 { "rtable", RTABLE}, 5380 { "rule", RULE}, 5381 { "ruleset-optimization", RULESET_OPTIMIZATION}, 5382 { "scrub", SCRUB}, 5383 { "set", SET}, 5384 { "set-tos", SETTOS}, 5385 { "skip", SKIP}, 5386 { "sloppy", SLOPPY}, 5387 { "source-hash", SOURCEHASH}, 5388 { "source-track", SOURCETRACK}, 5389 { "state", STATE}, 5390 { "state-defaults", STATEDEFAULTS}, 5391 { "state-policy", STATEPOLICY}, 5392 { "static-port", STATICPORT}, 5393 { "sticky-address", STICKYADDRESS}, 5394 { "synproxy", SYNPROXY}, 5395 { "table", TABLE}, 5396 { "tag", TAG}, 5397 { "tagged", TAGGED}, 5398 { "tbrsize", TBRSIZE}, 5399 { "timeout", TIMEOUT}, 5400 { "to", TO}, 5401 { "tos", TOS}, 5402 { "ttl", TTL}, 5403 { "upperlimit", UPPERLIMIT}, 5404 { "urpf-failed", URPFFAILED}, 5405 { "user", USER}, 5406 }; 5407 const struct keywords *p; 5408 5409 p = bsearch(s, keywords, sizeof(keywords)/sizeof(keywords[0]), 5410 sizeof(keywords[0]), kw_cmp); 5411 5412 if (p) { 5413 if (debug > 1) 5414 fprintf(stderr, "%s: %d\n", s, p->k_val); 5415 return (p->k_val); 5416 } else { 5417 if (debug > 1) 5418 fprintf(stderr, "string: %s\n", s); 5419 return (STRING); 5420 } 5421 } 5422 5423 #define MAXPUSHBACK 128 5424 5425 char *parsebuf; 5426 int parseindex; 5427 char pushback_buffer[MAXPUSHBACK]; 5428 int pushback_index = 0; 5429 5430 int 5431 lgetc(int quotec) 5432 { 5433 int c, next; 5434 5435 if (parsebuf) { 5436 /* Read character from the parsebuffer instead of input. */ 5437 if (parseindex >= 0) { 5438 c = parsebuf[parseindex++]; 5439 if (c != '\0') 5440 return (c); 5441 parsebuf = NULL; 5442 } else 5443 parseindex++; 5444 } 5445 5446 if (pushback_index) 5447 return (pushback_buffer[--pushback_index]); 5448 5449 if (quotec) { 5450 if ((c = getc(file->stream)) == EOF) { 5451 yyerror("reached end of file while parsing quoted string"); 5452 if (popfile() == EOF) 5453 return (EOF); 5454 return (quotec); 5455 } 5456 return (c); 5457 } 5458 5459 while ((c = getc(file->stream)) == '\\') { 5460 next = getc(file->stream); 5461 if (next != '\n') { 5462 c = next; 5463 break; 5464 } 5465 yylval.lineno = file->lineno; 5466 file->lineno++; 5467 } 5468 5469 while (c == EOF) { 5470 if (popfile() == EOF) 5471 return (EOF); 5472 c = getc(file->stream); 5473 } 5474 return (c); 5475 } 5476 5477 int 5478 lungetc(int c) 5479 { 5480 if (c == EOF) 5481 return (EOF); 5482 if (parsebuf) { 5483 parseindex--; 5484 if (parseindex >= 0) 5485 return (c); 5486 } 5487 if (pushback_index < MAXPUSHBACK-1) 5488 return (pushback_buffer[pushback_index++] = c); 5489 else 5490 return (EOF); 5491 } 5492 5493 int 5494 findeol(void) 5495 { 5496 int c; 5497 5498 parsebuf = NULL; 5499 5500 /* skip to either EOF or the first real EOL */ 5501 while (1) { 5502 if (pushback_index) 5503 c = pushback_buffer[--pushback_index]; 5504 else 5505 c = lgetc(0); 5506 if (c == '\n') { 5507 file->lineno++; 5508 break; 5509 } 5510 if (c == EOF) 5511 break; 5512 } 5513 return (ERROR); 5514 } 5515 5516 int 5517 yylex(void) 5518 { 5519 char buf[8096]; 5520 char *p, *val; 5521 int quotec, next, c; 5522 int token; 5523 5524 top: 5525 p = buf; 5526 while ((c = lgetc(0)) == ' ' || c == '\t') 5527 ; /* nothing */ 5528 5529 yylval.lineno = file->lineno; 5530 if (c == '#') 5531 while ((c = lgetc(0)) != '\n' && c != EOF) 5532 ; /* nothing */ 5533 if (c == '$' && parsebuf == NULL) { 5534 while (1) { 5535 if ((c = lgetc(0)) == EOF) 5536 return (0); 5537 5538 if (p + 1 >= buf + sizeof(buf) - 1) { 5539 yyerror("string too long"); 5540 return (findeol()); 5541 } 5542 if (isalnum(c) || c == '_') { 5543 *p++ = (char)c; 5544 continue; 5545 } 5546 *p = '\0'; 5547 lungetc(c); 5548 break; 5549 } 5550 val = symget(buf); 5551 if (val == NULL) { 5552 yyerror("macro '%s' not defined", buf); 5553 return (findeol()); 5554 } 5555 parsebuf = val; 5556 parseindex = 0; 5557 goto top; 5558 } 5559 5560 switch (c) { 5561 case '\'': 5562 case '"': 5563 quotec = c; 5564 while (1) { 5565 if ((c = lgetc(quotec)) == EOF) 5566 return (0); 5567 if (c == '\n') { 5568 file->lineno++; 5569 continue; 5570 } else if (c == '\\') { 5571 if ((next = lgetc(quotec)) == EOF) 5572 return (0); 5573 if (next == quotec || c == ' ' || c == '\t') 5574 c = next; 5575 else if (next == '\n') 5576 continue; 5577 else 5578 lungetc(next); 5579 } else if (c == quotec) { 5580 *p = '\0'; 5581 break; 5582 } 5583 if (p + 1 >= buf + sizeof(buf) - 1) { 5584 yyerror("string too long"); 5585 return (findeol()); 5586 } 5587 *p++ = (char)c; 5588 } 5589 yylval.v.string = strdup(buf); 5590 if (yylval.v.string == NULL) 5591 err(1, "yylex: strdup"); 5592 return (STRING); 5593 case '<': 5594 next = lgetc(0); 5595 if (next == '>') { 5596 yylval.v.i = PF_OP_XRG; 5597 return (PORTBINARY); 5598 } 5599 lungetc(next); 5600 break; 5601 case '>': 5602 next = lgetc(0); 5603 if (next == '<') { 5604 yylval.v.i = PF_OP_IRG; 5605 return (PORTBINARY); 5606 } 5607 lungetc(next); 5608 break; 5609 case '-': 5610 next = lgetc(0); 5611 if (next == '>') 5612 return (ARROW); 5613 lungetc(next); 5614 break; 5615 } 5616 5617 #define allowed_to_end_number(x) \ 5618 (isspace(x) || x == ')' || x ==',' || x == '/' || x == '}' || x == '=') 5619 5620 if (c == '-' || isdigit(c)) { 5621 do { 5622 *p++ = c; 5623 if ((unsigned)(p-buf) >= sizeof(buf)) { 5624 yyerror("string too long"); 5625 return (findeol()); 5626 } 5627 } while ((c = lgetc(0)) != EOF && isdigit(c)); 5628 lungetc(c); 5629 if (p == buf + 1 && buf[0] == '-') 5630 goto nodigits; 5631 if (c == EOF || allowed_to_end_number(c)) { 5632 const char *errstr = NULL; 5633 5634 *p = '\0'; 5635 yylval.v.number = strtonum(buf, LLONG_MIN, 5636 LLONG_MAX, &errstr); 5637 if (errstr) { 5638 yyerror("\"%s\" invalid number: %s", 5639 buf, errstr); 5640 return (findeol()); 5641 } 5642 return (NUMBER); 5643 } else { 5644 nodigits: 5645 while (p > buf + 1) 5646 lungetc(*--p); 5647 c = *--p; 5648 if (c == '-') 5649 return (c); 5650 } 5651 } 5652 5653 #define allowed_in_string(x) \ 5654 (isalnum(x) || (ispunct(x) && x != '(' && x != ')' && \ 5655 x != '{' && x != '}' && x != '<' && x != '>' && \ 5656 x != '!' && x != '=' && x != '/' && x != '#' && \ 5657 x != ',')) 5658 5659 if (isalnum(c) || c == ':' || c == '_') { 5660 do { 5661 *p++ = c; 5662 if ((unsigned)(p-buf) >= sizeof(buf)) { 5663 yyerror("string too long"); 5664 return (findeol()); 5665 } 5666 } while ((c = lgetc(0)) != EOF && (allowed_in_string(c))); 5667 lungetc(c); 5668 *p = '\0'; 5669 if ((token = lookup(buf)) == STRING) 5670 if ((yylval.v.string = strdup(buf)) == NULL) 5671 err(1, "yylex: strdup"); 5672 return (token); 5673 } 5674 if (c == '\n') { 5675 yylval.lineno = file->lineno; 5676 file->lineno++; 5677 } 5678 if (c == EOF) 5679 return (0); 5680 return (c); 5681 } 5682 5683 int 5684 check_file_secrecy(int fd, const char *fname) 5685 { 5686 struct stat st; 5687 5688 if (fstat(fd, &st)) { 5689 warn("cannot stat %s", fname); 5690 return (-1); 5691 } 5692 if (st.st_uid != 0 && st.st_uid != getuid()) { 5693 warnx("%s: owner not root or current user", fname); 5694 return (-1); 5695 } 5696 if (st.st_mode & (S_IRWXG | S_IRWXO)) { 5697 warnx("%s: group/world readable/writeable", fname); 5698 return (-1); 5699 } 5700 return (0); 5701 } 5702 5703 struct file * 5704 pushfile(const char *name, int secret) 5705 { 5706 struct file *nfile; 5707 5708 if ((nfile = calloc(1, sizeof(struct file))) == NULL || 5709 (nfile->name = strdup(name)) == NULL) { 5710 warn("malloc"); 5711 return (NULL); 5712 } 5713 if (TAILQ_FIRST(&files) == NULL && strcmp(nfile->name, "-") == 0) { 5714 nfile->stream = stdin; 5715 free(nfile->name); 5716 if ((nfile->name = strdup("stdin")) == NULL) { 5717 warn("strdup"); 5718 free(nfile); 5719 return (NULL); 5720 } 5721 } else if ((nfile->stream = fopen(nfile->name, "r")) == NULL) { 5722 warn("%s", nfile->name); 5723 free(nfile->name); 5724 free(nfile); 5725 return (NULL); 5726 } else if (secret && 5727 check_file_secrecy(fileno(nfile->stream), nfile->name)) { 5728 fclose(nfile->stream); 5729 free(nfile->name); 5730 free(nfile); 5731 return (NULL); 5732 } 5733 nfile->lineno = 1; 5734 TAILQ_INSERT_TAIL(&files, nfile, entry); 5735 return (nfile); 5736 } 5737 5738 int 5739 popfile(void) 5740 { 5741 struct file *prev; 5742 5743 if ((prev = TAILQ_PREV(file, files, entry)) != NULL) { 5744 prev->errors += file->errors; 5745 TAILQ_REMOVE(&files, file, entry); 5746 fclose(file->stream); 5747 free(file->name); 5748 free(file); 5749 file = prev; 5750 return (0); 5751 } 5752 return (EOF); 5753 } 5754 5755 int 5756 parse_config(char *filename, struct pfctl *xpf) 5757 { 5758 int errors = 0; 5759 struct sym *sym; 5760 5761 pf = xpf; 5762 errors = 0; 5763 rulestate = PFCTL_STATE_NONE; 5764 returnicmpdefault = (ICMP_UNREACH << 8) | ICMP_UNREACH_PORT; 5765 returnicmp6default = 5766 (ICMP6_DST_UNREACH << 8) | ICMP6_DST_UNREACH_NOPORT; 5767 blockpolicy = PFRULE_DROP; 5768 require_order = 1; 5769 5770 if ((file = pushfile(filename, 0)) == NULL) { 5771 warn("cannot open the main config file!"); 5772 return (-1); 5773 } 5774 5775 yyparse(); 5776 errors = file->errors; 5777 popfile(); 5778 5779 /* Free macros and check which have not been used. */ 5780 while ((sym = TAILQ_FIRST(&symhead))) { 5781 if ((pf->opts & PF_OPT_VERBOSE2) && !sym->used) 5782 fprintf(stderr, "warning: macro '%s' not " 5783 "used\n", sym->nam); 5784 free(sym->nam); 5785 free(sym->val); 5786 TAILQ_REMOVE(&symhead, sym, entry); 5787 free(sym); 5788 } 5789 5790 return (errors ? -1 : 0); 5791 } 5792 5793 int 5794 symset(const char *nam, const char *val, int persist) 5795 { 5796 struct sym *sym; 5797 5798 for (sym = TAILQ_FIRST(&symhead); sym && strcmp(nam, sym->nam); 5799 sym = TAILQ_NEXT(sym, entry)) 5800 ; /* nothing */ 5801 5802 if (sym != NULL) { 5803 if (sym->persist == 1) 5804 return (0); 5805 else { 5806 free(sym->nam); 5807 free(sym->val); 5808 TAILQ_REMOVE(&symhead, sym, entry); 5809 free(sym); 5810 } 5811 } 5812 if ((sym = calloc(1, sizeof(*sym))) == NULL) 5813 return (-1); 5814 5815 sym->nam = strdup(nam); 5816 if (sym->nam == NULL) { 5817 free(sym); 5818 return (-1); 5819 } 5820 sym->val = strdup(val); 5821 if (sym->val == NULL) { 5822 free(sym->nam); 5823 free(sym); 5824 return (-1); 5825 } 5826 sym->used = 0; 5827 sym->persist = persist; 5828 TAILQ_INSERT_TAIL(&symhead, sym, entry); 5829 return (0); 5830 } 5831 5832 int 5833 pfctl_cmdline_symset(char *s) 5834 { 5835 char *sym, *val; 5836 int ret; 5837 5838 if ((val = strrchr(s, '=')) == NULL) 5839 return (-1); 5840 5841 if ((sym = malloc(strlen(s) - strlen(val) + 1)) == NULL) 5842 err(1, "pfctl_cmdline_symset: malloc"); 5843 5844 strlcpy(sym, s, strlen(s) - strlen(val) + 1); 5845 5846 ret = symset(sym, val + 1, 1); 5847 free(sym); 5848 5849 return (ret); 5850 } 5851 5852 char * 5853 symget(const char *nam) 5854 { 5855 struct sym *sym; 5856 5857 TAILQ_FOREACH(sym, &symhead, entry) 5858 if (strcmp(nam, sym->nam) == 0) { 5859 sym->used = 1; 5860 return (sym->val); 5861 } 5862 return (NULL); 5863 } 5864 5865 void 5866 mv_rules(struct pf_ruleset *src, struct pf_ruleset *dst) 5867 { 5868 int i; 5869 struct pf_rule *r; 5870 5871 for (i = 0; i < PF_RULESET_MAX; ++i) { 5872 while ((r = TAILQ_FIRST(src->rules[i].active.ptr)) 5873 != NULL) { 5874 TAILQ_REMOVE(src->rules[i].active.ptr, r, entries); 5875 TAILQ_INSERT_TAIL(dst->rules[i].active.ptr, r, entries); 5876 dst->anchor->match++; 5877 } 5878 src->anchor->match = 0; 5879 while ((r = TAILQ_FIRST(src->rules[i].inactive.ptr)) 5880 != NULL) { 5881 TAILQ_REMOVE(src->rules[i].inactive.ptr, r, entries); 5882 TAILQ_INSERT_TAIL(dst->rules[i].inactive.ptr, 5883 r, entries); 5884 } 5885 } 5886 } 5887 5888 void 5889 decide_address_family(struct node_host *n, sa_family_t *af) 5890 { 5891 if (*af != 0 || n == NULL) 5892 return; 5893 *af = n->af; 5894 while ((n = n->next) != NULL) { 5895 if (n->af != *af) { 5896 *af = 0; 5897 return; 5898 } 5899 } 5900 } 5901 5902 void 5903 remove_invalid_hosts(struct node_host **nh, sa_family_t *af) 5904 { 5905 struct node_host *n = *nh, *prev = NULL; 5906 5907 while (n != NULL) { 5908 if (*af && n->af && n->af != *af) { 5909 /* unlink and free n */ 5910 struct node_host *next = n->next; 5911 5912 /* adjust tail pointer */ 5913 if (n == (*nh)->tail) 5914 (*nh)->tail = prev; 5915 /* adjust previous node's next pointer */ 5916 if (prev == NULL) 5917 *nh = next; 5918 else 5919 prev->next = next; 5920 /* free node */ 5921 if (n->ifname != NULL) 5922 free(n->ifname); 5923 free(n); 5924 n = next; 5925 } else { 5926 if (n->af && !*af) 5927 *af = n->af; 5928 prev = n; 5929 n = n->next; 5930 } 5931 } 5932 } 5933 5934 int 5935 invalid_redirect(struct node_host *nh, sa_family_t af) 5936 { 5937 if (!af) { 5938 struct node_host *n; 5939 5940 /* tables and dyniftl are ok without an address family */ 5941 for (n = nh; n != NULL; n = n->next) { 5942 if (n->addr.type != PF_ADDR_TABLE && 5943 n->addr.type != PF_ADDR_DYNIFTL) { 5944 yyerror("address family not given and " 5945 "translation address expands to multiple " 5946 "address families"); 5947 return (1); 5948 } 5949 } 5950 } 5951 if (nh == NULL) { 5952 yyerror("no translation address with matching address family " 5953 "found."); 5954 return (1); 5955 } 5956 return (0); 5957 } 5958 5959 int 5960 atoul(char *s, u_long *ulvalp) 5961 { 5962 u_long ulval; 5963 char *ep; 5964 5965 errno = 0; 5966 ulval = strtoul(s, &ep, 0); 5967 if (s[0] == '\0' || *ep != '\0') 5968 return (-1); 5969 if (errno == ERANGE && ulval == ULONG_MAX) 5970 return (-1); 5971 *ulvalp = ulval; 5972 return (0); 5973 } 5974 5975 int 5976 getservice(char *n) 5977 { 5978 struct servent *s; 5979 u_long ulval; 5980 5981 if (atoul(n, &ulval) == 0) { 5982 if (ulval > 65535) { 5983 yyerror("illegal port value %lu", ulval); 5984 return (-1); 5985 } 5986 return (htons(ulval)); 5987 } else { 5988 s = getservbyname(n, "tcp"); 5989 if (s == NULL) 5990 s = getservbyname(n, "udp"); 5991 if (s == NULL) { 5992 yyerror("unknown port %s", n); 5993 return (-1); 5994 } 5995 return (s->s_port); 5996 } 5997 } 5998 5999 int 6000 rule_label(struct pf_rule *r, char *s) 6001 { 6002 if (s) { 6003 if (strlcpy(r->label, s, sizeof(r->label)) >= 6004 sizeof(r->label)) { 6005 yyerror("rule label too long (max %d chars)", 6006 sizeof(r->label)-1); 6007 return (-1); 6008 } 6009 } 6010 return (0); 6011 } 6012 6013 u_int16_t 6014 parseicmpspec(char *w, sa_family_t af) 6015 { 6016 const struct icmpcodeent *p; 6017 u_long ulval; 6018 u_int8_t icmptype; 6019 6020 if (af == AF_INET) 6021 icmptype = returnicmpdefault >> 8; 6022 else 6023 icmptype = returnicmp6default >> 8; 6024 6025 if (atoul(w, &ulval) == -1) { 6026 if ((p = geticmpcodebyname(icmptype, w, af)) == NULL) { 6027 yyerror("unknown icmp code %s", w); 6028 return (0); 6029 } 6030 ulval = p->code; 6031 } 6032 if (ulval > 255) { 6033 yyerror("invalid icmp code %lu", ulval); 6034 return (0); 6035 } 6036 return (icmptype << 8 | ulval); 6037 } 6038 6039 int 6040 parseport(char *port, struct range *r, int extensions) 6041 { 6042 char *p = strchr(port, ':'); 6043 6044 if (p == NULL) { 6045 if ((r->a = getservice(port)) == -1) 6046 return (-1); 6047 r->b = 0; 6048 r->t = PF_OP_NONE; 6049 return (0); 6050 } 6051 if ((extensions & PPORT_STAR) && !strcmp(p+1, "*")) { 6052 *p = 0; 6053 if ((r->a = getservice(port)) == -1) 6054 return (-1); 6055 r->b = 0; 6056 r->t = PF_OP_IRG; 6057 return (0); 6058 } 6059 if ((extensions & PPORT_RANGE)) { 6060 *p++ = 0; 6061 if ((r->a = getservice(port)) == -1 || 6062 (r->b = getservice(p)) == -1) 6063 return (-1); 6064 if (r->a == r->b) { 6065 r->b = 0; 6066 r->t = PF_OP_NONE; 6067 } else 6068 r->t = PF_OP_RRG; 6069 return (0); 6070 } 6071 return (-1); 6072 } 6073 6074 int 6075 pfctl_load_anchors(int dev, struct pfctl *pf, struct pfr_buffer *trans) 6076 { 6077 struct loadanchors *la; 6078 6079 TAILQ_FOREACH(la, &loadanchorshead, entries) { 6080 if (pf->opts & PF_OPT_VERBOSE) 6081 fprintf(stderr, "\nLoading anchor %s from %s\n", 6082 la->anchorname, la->filename); 6083 if (pfctl_rules(dev, la->filename, pf->opts, pf->optimize, 6084 la->anchorname, trans) == -1) 6085 return (-1); 6086 } 6087 6088 return (0); 6089 } 6090 6091 int 6092 rt_tableid_max(void) 6093 { 6094 #ifdef __FreeBSD__ 6095 int fibs; 6096 size_t l = sizeof(fibs); 6097 6098 if (sysctlbyname("net.fibs", &fibs, &l, NULL, 0) == -1) 6099 fibs = 16; /* XXX RT_MAXFIBS, at least limit it some. */ 6100 /* 6101 * As the OpenBSD code only compares > and not >= we need to adjust 6102 * here given we only accept values of 0..n and want to avoid #ifdefs 6103 * in the grammer. 6104 */ 6105 return (fibs - 1); 6106 #else 6107 return (RT_TABLEID_MAX); 6108 #endif 6109 } 6110