?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge commit 'f06dce2c1f0f3af78581e7574f65bfba843ddb6e' into merges
[unleashed.git] / contrib / libpcap / grammar.y
blob8e1d40a7ceeedd98bd2b500c87890fb0d5bf6bbe
1 /*
2 * We want a reentrant parser.
3 */
4 %pure-parser
5
6 /*
7 * We also want a reentrant scanner, so we have to pass the
8 * handle for the reentrant scanner to the parser, and the
9 * parser has to pass it to the lexical analyzer.
10 *
11 * We use void * rather than yyscan_t because, at least with some
12 * versions of Flex and Bison, if you use yyscan_t in %parse-param and
13 * %lex-param, you have to include scanner.h before grammar.h to get
14 * yyscan_t declared, and you have to include grammar.h before scanner.h
15 * to get YYSTYPE declared. Using void * breaks the cycle; the Flex
16 * documentation says yyscan_t is just a void *.
17 */
18 %parse-param {void *yyscanner}
19 %lex-param {void *yyscanner}
20
21 /*
22 * And we need to pass the compiler state to the scanner.
23 */
24 %parse-param {compiler_state_t *cstate}
25
26 %{
27 /*
28 * Copyright (c) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996
29 * The Regents of the University of California. All rights reserved.
30 *
31 * Redistribution and use in source and binary forms, with or without
32 * modification, are permitted provided that: (1) source code distributions
33 * retain the above copyright notice and this paragraph in its entirety, (2)
34 * distributions including binary code include the above copyright notice and
35 * this paragraph in its entirety in the documentation or other materials
36 * provided with the distribution, and (3) all advertising materials mentioning
37 * features or use of this software display the following acknowledgement:
38 * ``This product includes software developed by the University of California,
39 * Lawrence Berkeley Laboratory and its contributors.'' Neither the name of
40 * the University nor the names of its contributors may be used to endorse
41 * or promote products derived from this software without specific prior
42 * written permission.
43 * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED
44 * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
45 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
46 *
47 */
48
49 #ifdef HAVE_CONFIG_H
50 #include "config.h"
51 #endif
52
53 #ifdef _WIN32
54 #include <pcap-stdinc.h>
55 #else /* _WIN32 */
56 #include <sys/types.h>
57 #include <sys/socket.h>
58 #endif /* _WIN32 */
59
60 #include <stdlib.h>
61
62 #ifndef _WIN32
63 #if __STDC__
64 struct mbuf;
65 struct rtentry;
66 #endif
67
68 #include <netinet/in.h>
69 #include <arpa/inet.h>
70 #endif /* _WIN32 */
71
72 #include <stdio.h>
73
74 #include "pcap-int.h"
75
76 #include "gencode.h"
77 #include "grammar.h"
78 #include "scanner.h"
79
80 #ifdef HAVE_NET_PFVAR_H
81 #include <net/if.h>
82 #include <net/pfvar.h>
83 #include <net/if_pflog.h>
84 #endif
85 #include "llc.h"
86 #include "ieee80211.h"
87 #include <pcap/namedb.h>
88
89 #ifdef HAVE_OS_PROTO_H
90 #include "os-proto.h"
91 #endif
92
93 #define QSET(q, p, d, a) (q).proto = (p),\
94 (q).dir = (d),\
95 (q).addr = (a)
96
97 struct tok {
98 int v; /* value */
99 const char *s; /* string */
100 };
101
102 static const struct tok ieee80211_types[] = {
103 { IEEE80211_FC0_TYPE_DATA, "data" },
104 { IEEE80211_FC0_TYPE_MGT, "mgt" },
105 { IEEE80211_FC0_TYPE_MGT, "management" },
106 { IEEE80211_FC0_TYPE_CTL, "ctl" },
107 { IEEE80211_FC0_TYPE_CTL, "control" },
108 { 0, NULL }
109 };
110 static const struct tok ieee80211_mgt_subtypes[] = {
111 { IEEE80211_FC0_SUBTYPE_ASSOC_REQ, "assocreq" },
112 { IEEE80211_FC0_SUBTYPE_ASSOC_REQ, "assoc-req" },
113 { IEEE80211_FC0_SUBTYPE_ASSOC_RESP, "assocresp" },
114 { IEEE80211_FC0_SUBTYPE_ASSOC_RESP, "assoc-resp" },
115 { IEEE80211_FC0_SUBTYPE_REASSOC_REQ, "reassocreq" },
116 { IEEE80211_FC0_SUBTYPE_REASSOC_REQ, "reassoc-req" },
117 { IEEE80211_FC0_SUBTYPE_REASSOC_RESP, "reassocresp" },
118 { IEEE80211_FC0_SUBTYPE_REASSOC_RESP, "reassoc-resp" },
119 { IEEE80211_FC0_SUBTYPE_PROBE_REQ, "probereq" },
120 { IEEE80211_FC0_SUBTYPE_PROBE_REQ, "probe-req" },
121 { IEEE80211_FC0_SUBTYPE_PROBE_RESP, "proberesp" },
122 { IEEE80211_FC0_SUBTYPE_PROBE_RESP, "probe-resp" },
123 { IEEE80211_FC0_SUBTYPE_BEACON, "beacon" },
124 { IEEE80211_FC0_SUBTYPE_ATIM, "atim" },
125 { IEEE80211_FC0_SUBTYPE_DISASSOC, "disassoc" },
126 { IEEE80211_FC0_SUBTYPE_DISASSOC, "disassociation" },
127 { IEEE80211_FC0_SUBTYPE_AUTH, "auth" },
128 { IEEE80211_FC0_SUBTYPE_AUTH, "authentication" },
129 { IEEE80211_FC0_SUBTYPE_DEAUTH, "deauth" },
130 { IEEE80211_FC0_SUBTYPE_DEAUTH, "deauthentication" },
131 { 0, NULL }
132 };
133 static const struct tok ieee80211_ctl_subtypes[] = {
134 { IEEE80211_FC0_SUBTYPE_PS_POLL, "ps-poll" },
135 { IEEE80211_FC0_SUBTYPE_RTS, "rts" },
136 { IEEE80211_FC0_SUBTYPE_CTS, "cts" },
137 { IEEE80211_FC0_SUBTYPE_ACK, "ack" },
138 { IEEE80211_FC0_SUBTYPE_CF_END, "cf-end" },
139 { IEEE80211_FC0_SUBTYPE_CF_END_ACK, "cf-end-ack" },
140 { 0, NULL }
141 };
142 static const struct tok ieee80211_data_subtypes[] = {
143 { IEEE80211_FC0_SUBTYPE_DATA, "data" },
144 { IEEE80211_FC0_SUBTYPE_CF_ACK, "data-cf-ack" },
145 { IEEE80211_FC0_SUBTYPE_CF_POLL, "data-cf-poll" },
146 { IEEE80211_FC0_SUBTYPE_CF_ACPL, "data-cf-ack-poll" },
147 { IEEE80211_FC0_SUBTYPE_NODATA, "null" },
148 { IEEE80211_FC0_SUBTYPE_NODATA_CF_ACK, "cf-ack" },
149 { IEEE80211_FC0_SUBTYPE_NODATA_CF_POLL, "cf-poll" },
150 { IEEE80211_FC0_SUBTYPE_NODATA_CF_ACPL, "cf-ack-poll" },
151 { IEEE80211_FC0_SUBTYPE_QOS|IEEE80211_FC0_SUBTYPE_DATA, "qos-data" },
152 { IEEE80211_FC0_SUBTYPE_QOS|IEEE80211_FC0_SUBTYPE_CF_ACK, "qos-data-cf-ack" },
153 { IEEE80211_FC0_SUBTYPE_QOS|IEEE80211_FC0_SUBTYPE_CF_POLL, "qos-data-cf-poll" },
154 { IEEE80211_FC0_SUBTYPE_QOS|IEEE80211_FC0_SUBTYPE_CF_ACPL, "qos-data-cf-ack-poll" },
155 { IEEE80211_FC0_SUBTYPE_QOS|IEEE80211_FC0_SUBTYPE_NODATA, "qos" },
156 { IEEE80211_FC0_SUBTYPE_QOS|IEEE80211_FC0_SUBTYPE_NODATA_CF_POLL, "qos-cf-poll" },
157 { IEEE80211_FC0_SUBTYPE_QOS|IEEE80211_FC0_SUBTYPE_NODATA_CF_ACPL, "qos-cf-ack-poll" },
158 { 0, NULL }
159 };
160 static const struct tok llc_s_subtypes[] = {
161 { LLC_RR, "rr" },
162 { LLC_RNR, "rnr" },
163 { LLC_REJ, "rej" },
164 { 0, NULL }
165 };
166 static const struct tok llc_u_subtypes[] = {
167 { LLC_UI, "ui" },
168 { LLC_UA, "ua" },
169 { LLC_DISC, "disc" },
170 { LLC_DM, "dm" },
171 { LLC_SABME, "sabme" },
172 { LLC_TEST, "test" },
173 { LLC_XID, "xid" },
174 { LLC_FRMR, "frmr" },
175 { 0, NULL }
176 };
177 struct type2tok {
178 int type;
179 const struct tok *tok;
180 };
181 static const struct type2tok ieee80211_type_subtypes[] = {
182 { IEEE80211_FC0_TYPE_MGT, ieee80211_mgt_subtypes },
183 { IEEE80211_FC0_TYPE_CTL, ieee80211_ctl_subtypes },
184 { IEEE80211_FC0_TYPE_DATA, ieee80211_data_subtypes },
185 { 0, NULL }
186 };
187
188 static int
189 str2tok(const char *str, const struct tok *toks)
190 {
191 int i;
192
193 for (i = 0; toks[i].s != NULL; i++) {
194 if (pcap_strcasecmp(toks[i].s, str) == 0)
195 return (toks[i].v);
196 }
197 return (-1);
198 }
199
200 static struct qual qerr = { Q_UNDEF, Q_UNDEF, Q_UNDEF, Q_UNDEF };
201
202 static void
203 yyerror(void *yyscanner, compiler_state_t *cstate, const char *msg)
204 {
205 bpf_syntax_error(cstate, msg);
206 /* NOTREACHED */
207 }
208
209 #ifdef HAVE_NET_PFVAR_H
210 static int
211 pfreason_to_num(compiler_state_t *cstate, const char *reason)
212 {
213 const char *reasons[] = PFRES_NAMES;
214 int i;
215
216 for (i = 0; reasons[i]; i++) {
217 if (pcap_strcasecmp(reason, reasons[i]) == 0)
218 return (i);
219 }
220 bpf_error(cstate, "unknown PF reason");
221 /*NOTREACHED*/
222 }
223
224 static int
225 pfaction_to_num(compiler_state_t *cstate, const char *action)
226 {
227 if (pcap_strcasecmp(action, "pass") == 0 ||
228 pcap_strcasecmp(action, "accept") == 0)
229 return (PF_PASS);
230 else if (pcap_strcasecmp(action, "drop") == 0 ||
231 pcap_strcasecmp(action, "block") == 0)
232 return (PF_DROP);
233 #if HAVE_PF_NAT_THROUGH_PF_NORDR
234 else if (pcap_strcasecmp(action, "rdr") == 0)
235 return (PF_RDR);
236 else if (pcap_strcasecmp(action, "nat") == 0)
237 return (PF_NAT);
238 else if (pcap_strcasecmp(action, "binat") == 0)
239 return (PF_BINAT);
240 else if (pcap_strcasecmp(action, "nordr") == 0)
241 return (PF_NORDR);
242 #endif
243 else {
244 bpf_error(cstate, "unknown PF action");
245 /*NOTREACHED*/
246 }
247 }
248 #else /* !HAVE_NET_PFVAR_H */
249 static int
250 pfreason_to_num(compiler_state_t *cstate, const char *reason)
251 {
252 bpf_error(cstate, "libpcap was compiled on a machine without pf support");
253 /*NOTREACHED*/
254
255 /* this is to make the VC compiler happy */
256 return -1;
257 }
258
259 static int
260 pfaction_to_num(compiler_state_t *cstate, const char *action)
261 {
262 bpf_error(cstate, "libpcap was compiled on a machine without pf support");
263 /*NOTREACHED*/
264
265 /* this is to make the VC compiler happy */
266 return -1;
267 }
268 #endif /* HAVE_NET_PFVAR_H */
269 %}
270
271 %union {
272 int i;
273 bpf_u_int32 h;
274 u_char *e;
275 char *s;
276 struct stmt *stmt;
277 struct arth *a;
278 struct {
279 struct qual q;
280 int atmfieldtype;
281 int mtp3fieldtype;
282 struct block *b;
283 } blk;
284 struct block *rblk;
285 }
286
287 %type <blk> expr id nid pid term rterm qid
288 %type <blk> head
289 %type <i> pqual dqual aqual ndaqual
290 %type <a> arth narth
291 %type <i> byteop pname pnum relop irelop
292 %type <blk> and or paren not null prog
293 %type <rblk> other pfvar p80211 pllc
294 %type <i> atmtype atmmultitype
295 %type <blk> atmfield
296 %type <blk> atmfieldvalue atmvalue atmlistvalue
297 %type <i> mtp2type
298 %type <blk> mtp3field
299 %type <blk> mtp3fieldvalue mtp3value mtp3listvalue
300
301
302 %token DST SRC HOST GATEWAY
303 %token NET NETMASK PORT PORTRANGE LESS GREATER PROTO PROTOCHAIN CBYTE
304 %token ARP RARP IP SCTP TCP UDP ICMP IGMP IGRP PIM VRRP CARP
305 %token ATALK AARP DECNET LAT SCA MOPRC MOPDL
306 %token TK_BROADCAST TK_MULTICAST
307 %token NUM INBOUND OUTBOUND
308 %token PF_IFNAME PF_RSET PF_RNR PF_SRNR PF_REASON PF_ACTION
309 %token TYPE SUBTYPE DIR ADDR1 ADDR2 ADDR3 ADDR4 RA TA
310 %token LINK
311 %token GEQ LEQ NEQ
312 %token ID EID HID HID6 AID
313 %token LSH RSH
314 %token LEN
315 %token IPV6 ICMPV6 AH ESP
316 %token VLAN MPLS
317 %token PPPOED PPPOES GENEVE
318 %token ISO ESIS CLNP ISIS L1 L2 IIH LSP SNP CSNP PSNP
319 %token STP
320 %token IPX
321 %token NETBEUI
322 %token LANE LLC METAC BCC SC ILMIC OAMF4EC OAMF4SC
323 %token OAM OAMF4 CONNECTMSG METACONNECT
324 %token VPI VCI
325 %token RADIO
326 %token FISU LSSU MSU HFISU HLSSU HMSU
327 %token SIO OPC DPC SLS HSIO HOPC HDPC HSLS
328
329
330 %type <s> ID
331 %type <e> EID
332 %type <e> AID
333 %type <s> HID HID6
334 %type <i> NUM action reason type subtype type_subtype dir
335
336 %left OR AND
337 %nonassoc '!'
338 %left '|'
339 %left '&'
340 %left LSH RSH
341 %left '+' '-'
342 %left '*' '/'
343 %nonassoc UMINUS
344 %%
345 prog: null expr
346 {
347 finish_parse(cstate, $2.b);
348 }
349 | null
350 ;
351 null: /* null */ { $$.q = qerr; }
352 ;
353 expr: term
354 | expr and term { gen_and($1.b, $3.b); $$ = $3; }
355 | expr and id { gen_and($1.b, $3.b); $$ = $3; }
356 | expr or term { gen_or($1.b, $3.b); $$ = $3; }
357 | expr or id { gen_or($1.b, $3.b); $$ = $3; }
358 ;
359 and: AND { $$ = $<blk>0; }
360 ;
361 or: OR { $$ = $<blk>0; }
362 ;
363 id: nid
364 | pnum { $$.b = gen_ncode(cstate, NULL, (bpf_u_int32)$1,
365 $$.q = $<blk>0.q); }
366 | paren pid ')' { $$ = $2; }
367 ;
368 nid: ID { $$.b = gen_scode(cstate, $1, $$.q = $<blk>0.q); }
369 | HID '/' NUM { $$.b = gen_mcode(cstate, $1, NULL, $3,
370 $$.q = $<blk>0.q); }
371 | HID NETMASK HID { $$.b = gen_mcode(cstate, $1, $3, 0,
372 $$.q = $<blk>0.q); }
373 | HID {
374 /* Decide how to parse HID based on proto */
375 $$.q = $<blk>0.q;
376 if ($$.q.addr == Q_PORT)
377 bpf_error(cstate, "'port' modifier applied to ip host");
378 else if ($$.q.addr == Q_PORTRANGE)
379 bpf_error(cstate, "'portrange' modifier applied to ip host");
380 else if ($$.q.addr == Q_PROTO)
381 bpf_error(cstate, "'proto' modifier applied to ip host");
382 else if ($$.q.addr == Q_PROTOCHAIN)
383 bpf_error(cstate, "'protochain' modifier applied to ip host");
384 $$.b = gen_ncode(cstate, $1, 0, $$.q);
385 }
386 | HID6 '/' NUM {
387 #ifdef INET6
388 $$.b = gen_mcode6(cstate, $1, NULL, $3,
389 $$.q = $<blk>0.q);
390 #else
391 bpf_error(cstate, "'ip6addr/prefixlen' not supported "
392 "in this configuration");
393 #endif /*INET6*/
394 }
395 | HID6 {
396 #ifdef INET6
397 $$.b = gen_mcode6(cstate, $1, 0, 128,
398 $$.q = $<blk>0.q);
399 #else
400 bpf_error(cstate, "'ip6addr' not supported "
401 "in this configuration");
402 #endif /*INET6*/
403 }
404 | EID {
405 $$.b = gen_ecode(cstate, $1, $$.q = $<blk>0.q);
406 /*
407 * $1 was allocated by "pcap_ether_aton()",
408 * so we must free it now that we're done
409 * with it.
410 */
411 free($1);
412 }
413 | AID {
414 $$.b = gen_acode(cstate, $1, $$.q = $<blk>0.q);
415 /*
416 * $1 was allocated by "pcap_ether_aton()",
417 * so we must free it now that we're done
418 * with it.
419 */
420 free($1);
421 }
422 | not id { gen_not($2.b); $$ = $2; }
423 ;
424 not: '!' { $$ = $<blk>0; }
425 ;
426 paren: '(' { $$ = $<blk>0; }
427 ;
428 pid: nid
429 | qid and id { gen_and($1.b, $3.b); $$ = $3; }
430 | qid or id { gen_or($1.b, $3.b); $$ = $3; }
431 ;
432 qid: pnum { $$.b = gen_ncode(cstate, NULL, (bpf_u_int32)$1,
433 $$.q = $<blk>0.q); }
434 | pid
435 ;
436 term: rterm
437 | not term { gen_not($2.b); $$ = $2; }
438 ;
439 head: pqual dqual aqual { QSET($$.q, $1, $2, $3); }
440 | pqual dqual { QSET($$.q, $1, $2, Q_DEFAULT); }
441 | pqual aqual { QSET($$.q, $1, Q_DEFAULT, $2); }
442 | pqual PROTO { QSET($$.q, $1, Q_DEFAULT, Q_PROTO); }
443 | pqual PROTOCHAIN { QSET($$.q, $1, Q_DEFAULT, Q_PROTOCHAIN); }
444 | pqual ndaqual { QSET($$.q, $1, Q_DEFAULT, $2); }
445 ;
446 rterm: head id { $$ = $2; }
447 | paren expr ')' { $$.b = $2.b; $$.q = $1.q; }
448 | pname { $$.b = gen_proto_abbrev(cstate, $1); $$.q = qerr; }
449 | arth relop arth { $$.b = gen_relation(cstate, $2, $1, $3, 0);
450 $$.q = qerr; }
451 | arth irelop arth { $$.b = gen_relation(cstate, $2, $1, $3, 1);
452 $$.q = qerr; }
453 | other { $$.b = $1; $$.q = qerr; }
454 | atmtype { $$.b = gen_atmtype_abbrev(cstate, $1); $$.q = qerr; }
455 | atmmultitype { $$.b = gen_atmmulti_abbrev(cstate, $1); $$.q = qerr; }
456 | atmfield atmvalue { $$.b = $2.b; $$.q = qerr; }
457 | mtp2type { $$.b = gen_mtp2type_abbrev(cstate, $1); $$.q = qerr; }
458 | mtp3field mtp3value { $$.b = $2.b; $$.q = qerr; }
459 ;
460 /* protocol level qualifiers */
461 pqual: pname
462 | { $$ = Q_DEFAULT; }
463 ;
464 /* 'direction' qualifiers */
465 dqual: SRC { $$ = Q_SRC; }
466 | DST { $$ = Q_DST; }
467 | SRC OR DST { $$ = Q_OR; }
468 | DST OR SRC { $$ = Q_OR; }
469 | SRC AND DST { $$ = Q_AND; }
470 | DST AND SRC { $$ = Q_AND; }
471 | ADDR1 { $$ = Q_ADDR1; }
472 | ADDR2 { $$ = Q_ADDR2; }
473 | ADDR3 { $$ = Q_ADDR3; }
474 | ADDR4 { $$ = Q_ADDR4; }
475 | RA { $$ = Q_RA; }
476 | TA { $$ = Q_TA; }
477 ;
478 /* address type qualifiers */
479 aqual: HOST { $$ = Q_HOST; }
480 | NET { $$ = Q_NET; }
481 | PORT { $$ = Q_PORT; }
482 | PORTRANGE { $$ = Q_PORTRANGE; }
483 ;
484 /* non-directional address type qualifiers */
485 ndaqual: GATEWAY { $$ = Q_GATEWAY; }
486 ;
487 pname: LINK { $$ = Q_LINK; }
488 | IP { $$ = Q_IP; }
489 | ARP { $$ = Q_ARP; }
490 | RARP { $$ = Q_RARP; }
491 | SCTP { $$ = Q_SCTP; }
492 | TCP { $$ = Q_TCP; }
493 | UDP { $$ = Q_UDP; }
494 | ICMP { $$ = Q_ICMP; }
495 | IGMP { $$ = Q_IGMP; }
496 | IGRP { $$ = Q_IGRP; }
497 | PIM { $$ = Q_PIM; }
498 | VRRP { $$ = Q_VRRP; }
499 | CARP { $$ = Q_CARP; }
500 | ATALK { $$ = Q_ATALK; }
501 | AARP { $$ = Q_AARP; }
502 | DECNET { $$ = Q_DECNET; }
503 | LAT { $$ = Q_LAT; }
504 | SCA { $$ = Q_SCA; }
505 | MOPDL { $$ = Q_MOPDL; }
506 | MOPRC { $$ = Q_MOPRC; }
507 | IPV6 { $$ = Q_IPV6; }
508 | ICMPV6 { $$ = Q_ICMPV6; }
509 | AH { $$ = Q_AH; }
510 | ESP { $$ = Q_ESP; }
511 | ISO { $$ = Q_ISO; }
512 | ESIS { $$ = Q_ESIS; }
513 | ISIS { $$ = Q_ISIS; }
514 | L1 { $$ = Q_ISIS_L1; }
515 | L2 { $$ = Q_ISIS_L2; }
516 | IIH { $$ = Q_ISIS_IIH; }
517 | LSP { $$ = Q_ISIS_LSP; }
518 | SNP { $$ = Q_ISIS_SNP; }
519 | PSNP { $$ = Q_ISIS_PSNP; }
520 | CSNP { $$ = Q_ISIS_CSNP; }
521 | CLNP { $$ = Q_CLNP; }
522 | STP { $$ = Q_STP; }
523 | IPX { $$ = Q_IPX; }
524 | NETBEUI { $$ = Q_NETBEUI; }
525 | RADIO { $$ = Q_RADIO; }
526 ;
527 other: pqual TK_BROADCAST { $$ = gen_broadcast(cstate, $1); }
528 | pqual TK_MULTICAST { $$ = gen_multicast(cstate, $1); }
529 | LESS NUM { $$ = gen_less(cstate, $2); }
530 | GREATER NUM { $$ = gen_greater(cstate, $2); }
531 | CBYTE NUM byteop NUM { $$ = gen_byteop(cstate, $3, $2, $4); }
532 | INBOUND { $$ = gen_inbound(cstate, 0); }
533 | OUTBOUND { $$ = gen_inbound(cstate, 1); }
534 | VLAN pnum { $$ = gen_vlan(cstate, $2); }
535 | VLAN { $$ = gen_vlan(cstate, -1); }
536 | MPLS pnum { $$ = gen_mpls(cstate, $2); }
537 | MPLS { $$ = gen_mpls(cstate, -1); }
538 | PPPOED { $$ = gen_pppoed(cstate); }
539 | PPPOES pnum { $$ = gen_pppoes(cstate, $2); }
540 | PPPOES { $$ = gen_pppoes(cstate, -1); }
541 | GENEVE pnum { $$ = gen_geneve(cstate, $2); }
542 | GENEVE { $$ = gen_geneve(cstate, -1); }
543 | pfvar { $$ = $1; }
544 | pqual p80211 { $$ = $2; }
545 | pllc { $$ = $1; }
546 ;
547
548 pfvar: PF_IFNAME ID { $$ = gen_pf_ifname(cstate, $2); }
549 | PF_RSET ID { $$ = gen_pf_ruleset(cstate, $2); }
550 | PF_RNR NUM { $$ = gen_pf_rnr(cstate, $2); }
551 | PF_SRNR NUM { $$ = gen_pf_srnr(cstate, $2); }
552 | PF_REASON reason { $$ = gen_pf_reason(cstate, $2); }
553 | PF_ACTION action { $$ = gen_pf_action(cstate, $2); }
554 ;
555
556 p80211: TYPE type SUBTYPE subtype
557 { $$ = gen_p80211_type(cstate, $2 | $4,
558 IEEE80211_FC0_TYPE_MASK |
559 IEEE80211_FC0_SUBTYPE_MASK);
560 }
561 | TYPE type { $$ = gen_p80211_type(cstate, $2,
562 IEEE80211_FC0_TYPE_MASK);
563 }
564 | SUBTYPE type_subtype { $$ = gen_p80211_type(cstate, $2,
565 IEEE80211_FC0_TYPE_MASK |
566 IEEE80211_FC0_SUBTYPE_MASK);
567 }
568 | DIR dir { $$ = gen_p80211_fcdir(cstate, $2); }
569 ;
570
571 type: NUM
572 | ID { $$ = str2tok($1, ieee80211_types);
573 if ($$ == -1)
574 bpf_error(cstate, "unknown 802.11 type name");
575 }
576 ;
577
578 subtype: NUM
579 | ID { const struct tok *types = NULL;
580 int i;
581 for (i = 0;; i++) {
582 if (ieee80211_type_subtypes[i].tok == NULL) {
583 /* Ran out of types */
584 bpf_error(cstate, "unknown 802.11 type");
585 break;
586 }
587 if ($<i>-1 == ieee80211_type_subtypes[i].type) {
588 types = ieee80211_type_subtypes[i].tok;
589 break;
590 }
591 }
592
593 $$ = str2tok($1, types);
594 if ($$ == -1)
595 bpf_error(cstate, "unknown 802.11 subtype name");
596 }
597 ;
598
599 type_subtype: ID { int i;
600 for (i = 0;; i++) {
601 if (ieee80211_type_subtypes[i].tok == NULL) {
602 /* Ran out of types */
603 bpf_error(cstate, "unknown 802.11 type name");
604 break;
605 }
606 $$ = str2tok($1, ieee80211_type_subtypes[i].tok);
607 if ($$ != -1) {
608 $$ |= ieee80211_type_subtypes[i].type;
609 break;
610 }
611 }
612 }
613 ;
614
615 pllc: LLC { $$ = gen_llc(cstate); }
616 | LLC ID { if (pcap_strcasecmp($2, "i") == 0)
617 $$ = gen_llc_i(cstate);
618 else if (pcap_strcasecmp($2, "s") == 0)
619 $$ = gen_llc_s(cstate);
620 else if (pcap_strcasecmp($2, "u") == 0)
621 $$ = gen_llc_u(cstate);
622 else {
623 int subtype;
624
625 subtype = str2tok($2, llc_s_subtypes);
626 if (subtype != -1)
627 $$ = gen_llc_s_subtype(cstate, subtype);
628 else {
629 subtype = str2tok($2, llc_u_subtypes);
630 if (subtype == -1)
631 bpf_error(cstate, "unknown LLC type name \"%s\"", $2);
632 $$ = gen_llc_u_subtype(cstate, subtype);
633 }
634 }
635 }
636 /* sigh, "rnr" is already a keyword for PF */
637 | LLC PF_RNR { $$ = gen_llc_s_subtype(cstate, LLC_RNR); }
638 ;
639
640 dir: NUM
641 | ID { if (pcap_strcasecmp($1, "nods") == 0)
642 $$ = IEEE80211_FC1_DIR_NODS;
643 else if (pcap_strcasecmp($1, "tods") == 0)
644 $$ = IEEE80211_FC1_DIR_TODS;
645 else if (pcap_strcasecmp($1, "fromds") == 0)
646 $$ = IEEE80211_FC1_DIR_FROMDS;
647 else if (pcap_strcasecmp($1, "dstods") == 0)
648 $$ = IEEE80211_FC1_DIR_DSTODS;
649 else
650 bpf_error(cstate, "unknown 802.11 direction");
651 }
652 ;
653
654 reason: NUM { $$ = $1; }
655 | ID { $$ = pfreason_to_num(cstate, $1); }
656 ;
657
658 action: ID { $$ = pfaction_to_num(cstate, $1); }
659 ;
660
661 relop: '>' { $$ = BPF_JGT; }
662 | GEQ { $$ = BPF_JGE; }
663 | '=' { $$ = BPF_JEQ; }
664 ;
665 irelop: LEQ { $$ = BPF_JGT; }
666 | '<' { $$ = BPF_JGE; }
667 | NEQ { $$ = BPF_JEQ; }
668 ;
669 arth: pnum { $$ = gen_loadi(cstate, $1); }
670 | narth
671 ;
672 narth: pname '[' arth ']' { $$ = gen_load(cstate, $1, $3, 1); }
673 | pname '[' arth ':' NUM ']' { $$ = gen_load(cstate, $1, $3, $5); }
674 | arth '+' arth { $$ = gen_arth(cstate, BPF_ADD, $1, $3); }
675 | arth '-' arth { $$ = gen_arth(cstate, BPF_SUB, $1, $3); }
676 | arth '*' arth { $$ = gen_arth(cstate, BPF_MUL, $1, $3); }
677 | arth '/' arth { $$ = gen_arth(cstate, BPF_DIV, $1, $3); }
678 | arth '%' arth { $$ = gen_arth(cstate, BPF_MOD, $1, $3); }
679 | arth '&' arth { $$ = gen_arth(cstate, BPF_AND, $1, $3); }
680 | arth '|' arth { $$ = gen_arth(cstate, BPF_OR, $1, $3); }
681 | arth '^' arth { $$ = gen_arth(cstate, BPF_XOR, $1, $3); }
682 | arth LSH arth { $$ = gen_arth(cstate, BPF_LSH, $1, $3); }
683 | arth RSH arth { $$ = gen_arth(cstate, BPF_RSH, $1, $3); }
684 | '-' arth %prec UMINUS { $$ = gen_neg(cstate, $2); }
685 | paren narth ')' { $$ = $2; }
686 | LEN { $$ = gen_loadlen(cstate); }
687 ;
688 byteop: '&' { $$ = '&'; }
689 | '|' { $$ = '|'; }
690 | '<' { $$ = '<'; }
691 | '>' { $$ = '>'; }
692 | '=' { $$ = '='; }
693 ;
694 pnum: NUM
695 | paren pnum ')' { $$ = $2; }
696 ;
697 atmtype: LANE { $$ = A_LANE; }
698 | METAC { $$ = A_METAC; }
699 | BCC { $$ = A_BCC; }
700 | OAMF4EC { $$ = A_OAMF4EC; }
701 | OAMF4SC { $$ = A_OAMF4SC; }
702 | SC { $$ = A_SC; }
703 | ILMIC { $$ = A_ILMIC; }
704 ;
705 atmmultitype: OAM { $$ = A_OAM; }
706 | OAMF4 { $$ = A_OAMF4; }
707 | CONNECTMSG { $$ = A_CONNECTMSG; }
708 | METACONNECT { $$ = A_METACONNECT; }
709 ;
710 /* ATM field types quantifier */
711 atmfield: VPI { $$.atmfieldtype = A_VPI; }
712 | VCI { $$.atmfieldtype = A_VCI; }
713 ;
714 atmvalue: atmfieldvalue
715 | relop NUM { $$.b = gen_atmfield_code(cstate, $<blk>0.atmfieldtype, (bpf_int32)$2, (bpf_u_int32)$1, 0); }
716 | irelop NUM { $$.b = gen_atmfield_code(cstate, $<blk>0.atmfieldtype, (bpf_int32)$2, (bpf_u_int32)$1, 1); }
717 | paren atmlistvalue ')' { $$.b = $2.b; $$.q = qerr; }
718 ;
719 atmfieldvalue: NUM {
720 $$.atmfieldtype = $<blk>0.atmfieldtype;
721 if ($$.atmfieldtype == A_VPI ||
722 $$.atmfieldtype == A_VCI)
723 $$.b = gen_atmfield_code(cstate, $$.atmfieldtype, (bpf_int32) $1, BPF_JEQ, 0);
724 }
725 ;
726 atmlistvalue: atmfieldvalue
727 | atmlistvalue or atmfieldvalue { gen_or($1.b, $3.b); $$ = $3; }
728 ;
729 /* MTP2 types quantifier */
730 mtp2type: FISU { $$ = M_FISU; }
731 | LSSU { $$ = M_LSSU; }
732 | MSU { $$ = M_MSU; }
733 | HFISU { $$ = MH_FISU; }
734 | HLSSU { $$ = MH_LSSU; }
735 | HMSU { $$ = MH_MSU; }
736 ;
737 /* MTP3 field types quantifier */
738 mtp3field: SIO { $$.mtp3fieldtype = M_SIO; }
739 | OPC { $$.mtp3fieldtype = M_OPC; }
740 | DPC { $$.mtp3fieldtype = M_DPC; }
741 | SLS { $$.mtp3fieldtype = M_SLS; }
742 | HSIO { $$.mtp3fieldtype = MH_SIO; }
743 | HOPC { $$.mtp3fieldtype = MH_OPC; }
744 | HDPC { $$.mtp3fieldtype = MH_DPC; }
745 | HSLS { $$.mtp3fieldtype = MH_SLS; }
746 ;
747 mtp3value: mtp3fieldvalue
748 | relop NUM { $$.b = gen_mtp3field_code(cstate, $<blk>0.mtp3fieldtype, (u_int)$2, (u_int)$1, 0); }
749 | irelop NUM { $$.b = gen_mtp3field_code(cstate, $<blk>0.mtp3fieldtype, (u_int)$2, (u_int)$1, 1); }
750 | paren mtp3listvalue ')' { $$.b = $2.b; $$.q = qerr; }
751 ;
752 mtp3fieldvalue: NUM {
753 $$.mtp3fieldtype = $<blk>0.mtp3fieldtype;
754 if ($$.mtp3fieldtype == M_SIO ||
755 $$.mtp3fieldtype == M_OPC ||
756 $$.mtp3fieldtype == M_DPC ||
757 $$.mtp3fieldtype == M_SLS ||
758 $$.mtp3fieldtype == MH_SIO ||
759 $$.mtp3fieldtype == MH_OPC ||
760 $$.mtp3fieldtype == MH_DPC ||
761 $$.mtp3fieldtype == MH_SLS)
762 $$.b = gen_mtp3field_code(cstate, $$.mtp3fieldtype, (u_int) $1, BPF_JEQ, 0);
763 }
764 ;
765 mtp3listvalue: mtp3fieldvalue
766 | mtp3listvalue or mtp3fieldvalue { gen_or($1.b, $3.b); $$ = $3; }
767 ;
768 %%
Unleashed OS