3 * Copyright (c) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996
4 * The Regents of the University of California. All rights reserved.
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that: (1) source code distributions
8 * retain the above copyright notice and this paragraph in its entirety, (2)
9 * distributions including binary code include the above copyright notice and
10 * this paragraph in its entirety in the documentation or other materials
11 * provided with the distribution, and (3) all advertising materials mentioning
12 * features or use of this software display the following acknowledgement:
13 * ``This product includes software developed by the University of California,
14 * Lawrence Berkeley Laboratory and its contributors.'' Neither the name of
15 * the University nor the names of its contributors may be used to endorse
16 * or promote products derived from this software without specific prior
18 * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED
19 * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
20 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
24 static const char rcsid[] _U_ =
25 "@(#) $Header: /tcpdump/master/libpcap/grammar.y,v 1.79.2.3 2004/03/28 21:45:32 fenner Exp $ (LBL)";
33 #include <pcap-stdinc.h>
35 #include <sys/types.h>
37 #include <sys/socket.h>
48 #include <netinet/in.h>
58 #include <pcap-namedb.h>
60 #ifdef HAVE_OS_PROTO_H
64 #define QSET(q, p, d, a) (q).proto = (p),\
70 static struct qual qerr = { Q_UNDEF, Q_UNDEF, Q_UNDEF, Q_UNDEF };
107 %type <blk> expr id nid pid term rterm qid
109 %type <i> pqual dqual aqual ndaqual
111 %type <i> byteop pname pnum relop irelop
112 %type <blk> and or paren not null prog
113 %type <rblk> other pfvar
114 %type <i> atmtype atmmultitype
116 %type <blk> atmfieldvalue atmvalue atmlistvalue
118 %token DST SRC HOST GATEWAY
119 %token NET NETMASK PORT LESS GREATER PROTO PROTOCHAIN CBYTE
120 %token ARP RARP IP SCTP TCP UDP ICMP IGMP IGRP PIM VRRP
121 %token ATALK AARP DECNET LAT SCA MOPRC MOPDL
122 %token TK_BROADCAST TK_MULTICAST
123 %token NUM INBOUND OUTBOUND
124 %token PF_IFNAME PF_RSET PF_RNR PF_SRNR PF_REASON PF_ACTION
127 %token ID EID HID HID6 AID
130 %token IPV6 ICMPV6 AH ESP
132 %token ISO ESIS CLNP ISIS L1 L2 IIH LSP SNP CSNP PSNP
136 %token LANE LLC METAC BCC SC ILMIC OAMF4EC OAMF4SC
137 %token OAM OAMF4 CONNECTMSG METACONNECT
144 %type <i> NUM action reason
161 null: /* null */ { $$.q = qerr; }
164 | expr and term { gen_and($1.b, $3.b); $$ = $3; }
165 | expr and id { gen_and($1.b, $3.b); $$ = $3; }
166 | expr or term { gen_or($1.b, $3.b); $$ = $3; }
167 | expr or id { gen_or($1.b, $3.b); $$ = $3; }
169 and: AND { $$ = $<blk>0; }
171 or: OR { $$ = $<blk>0; }
174 | pnum { $$.b = gen_ncode(NULL, (bpf_u_int32)$1,
176 | paren pid ')' { $$ = $2; }
178 nid: ID { $$.b = gen_scode($1, $$.q = $<blk>0.q); }
179 | HID '/' NUM { $$.b = gen_mcode($1, NULL, $3,
181 | HID NETMASK HID { $$.b = gen_mcode($1, $3, 0,
184 /* Decide how to parse HID based on proto */
186 $$.b = gen_ncode($1, 0, $$.q);
190 $$.b = gen_mcode6($1, NULL, $3,
193 bpf_error("'ip6addr/prefixlen' not supported "
194 "in this configuration");
199 $$.b = gen_mcode6($1, 0, 128,
202 bpf_error("'ip6addr' not supported "
203 "in this configuration");
207 $$.b = gen_ecode($1, $$.q = $<blk>0.q);
209 * $1 was allocated by "pcap_ether_aton()",
210 * so we must free it now that we're done
216 $$.b = gen_acode($1, $$.q = $<blk>0.q);
218 * $1 was allocated by "pcap_ether_aton()",
219 * so we must free it now that we're done
224 | not id { gen_not($2.b); $$ = $2; }
226 not: '!' { $$ = $<blk>0; }
228 paren: '(' { $$ = $<blk>0; }
231 | qid and id { gen_and($1.b, $3.b); $$ = $3; }
232 | qid or id { gen_or($1.b, $3.b); $$ = $3; }
234 qid: pnum { $$.b = gen_ncode(NULL, (bpf_u_int32)$1,
239 | not term { gen_not($2.b); $$ = $2; }
241 head: pqual dqual aqual { QSET($$.q, $1, $2, $3); }
242 | pqual dqual { QSET($$.q, $1, $2, Q_DEFAULT); }
243 | pqual aqual { QSET($$.q, $1, Q_DEFAULT, $2); }
244 | pqual PROTO { QSET($$.q, $1, Q_DEFAULT, Q_PROTO); }
245 | pqual PROTOCHAIN { QSET($$.q, $1, Q_DEFAULT, Q_PROTOCHAIN); }
246 | pqual ndaqual { QSET($$.q, $1, Q_DEFAULT, $2); }
248 rterm: head id { $$ = $2; }
249 | paren expr ')' { $$.b = $2.b; $$.q = $1.q; }
250 | pname { $$.b = gen_proto_abbrev($1); $$.q = qerr; }
251 | arth relop arth { $$.b = gen_relation($2, $1, $3, 0);
253 | arth irelop arth { $$.b = gen_relation($2, $1, $3, 1);
255 | other { $$.b = $1; $$.q = qerr; }
256 | atmtype { $$.b = gen_atmtype_abbrev($1); $$.q = qerr; }
257 | atmmultitype { $$.b = gen_atmmulti_abbrev($1); $$.q = qerr; }
258 | atmfield atmvalue { $$.b = $2.b; $$.q = qerr; }
260 /* protocol level qualifiers */
262 | { $$ = Q_DEFAULT; }
264 /* 'direction' qualifiers */
265 dqual: SRC { $$ = Q_SRC; }
266 | DST { $$ = Q_DST; }
267 | SRC OR DST { $$ = Q_OR; }
268 | DST OR SRC { $$ = Q_OR; }
269 | SRC AND DST { $$ = Q_AND; }
270 | DST AND SRC { $$ = Q_AND; }
272 /* address type qualifiers */
273 aqual: HOST { $$ = Q_HOST; }
274 | NET { $$ = Q_NET; }
275 | PORT { $$ = Q_PORT; }
277 /* non-directional address type qualifiers */
278 ndaqual: GATEWAY { $$ = Q_GATEWAY; }
280 pname: LINK { $$ = Q_LINK; }
282 | ARP { $$ = Q_ARP; }
283 | RARP { $$ = Q_RARP; }
284 | SCTP { $$ = Q_SCTP; }
285 | TCP { $$ = Q_TCP; }
286 | UDP { $$ = Q_UDP; }
287 | ICMP { $$ = Q_ICMP; }
288 | IGMP { $$ = Q_IGMP; }
289 | IGRP { $$ = Q_IGRP; }
290 | PIM { $$ = Q_PIM; }
291 | VRRP { $$ = Q_VRRP; }
292 | ATALK { $$ = Q_ATALK; }
293 | AARP { $$ = Q_AARP; }
294 | DECNET { $$ = Q_DECNET; }
295 | LAT { $$ = Q_LAT; }
296 | SCA { $$ = Q_SCA; }
297 | MOPDL { $$ = Q_MOPDL; }
298 | MOPRC { $$ = Q_MOPRC; }
299 | IPV6 { $$ = Q_IPV6; }
300 | ICMPV6 { $$ = Q_ICMPV6; }
302 | ESP { $$ = Q_ESP; }
303 | ISO { $$ = Q_ISO; }
304 | ESIS { $$ = Q_ESIS; }
305 | ISIS { $$ = Q_ISIS; }
306 | L1 { $$ = Q_ISIS_L1; }
307 | L2 { $$ = Q_ISIS_L2; }
308 | IIH { $$ = Q_ISIS_IIH; }
309 | LSP { $$ = Q_ISIS_LSP; }
310 | SNP { $$ = Q_ISIS_SNP; }
311 | PSNP { $$ = Q_ISIS_PSNP; }
312 | CSNP { $$ = Q_ISIS_CSNP; }
313 | CLNP { $$ = Q_CLNP; }
314 | STP { $$ = Q_STP; }
315 | IPX { $$ = Q_IPX; }
316 | NETBEUI { $$ = Q_NETBEUI; }
318 other: pqual TK_BROADCAST { $$ = gen_broadcast($1); }
319 | pqual TK_MULTICAST { $$ = gen_multicast($1); }
320 | LESS NUM { $$ = gen_less($2); }
321 | GREATER NUM { $$ = gen_greater($2); }
322 | CBYTE NUM byteop NUM { $$ = gen_byteop($3, $2, $4); }
323 | INBOUND { $$ = gen_inbound(0); }
324 | OUTBOUND { $$ = gen_inbound(1); }
325 | VLAN pnum { $$ = gen_vlan($2); }
326 | VLAN { $$ = gen_vlan(-1); }
330 pfvar: PF_IFNAME ID { $$ = gen_pf_ifname($2); }
331 | PF_RSET ID { $$ = gen_pf_ruleset($2); }
332 | PF_RNR NUM { $$ = gen_pf_rnr($2); }
333 | PF_SRNR NUM { $$ = gen_pf_srnr($2); }
334 | PF_REASON reason { $$ = gen_pf_reason($2); }
335 | PF_ACTION action { $$ = gen_pf_action($2); }
338 reason: NUM { $$ = $1; }
339 | ID { const char *reasons[] = PFRES_NAMES;
341 for (i = 0; reasons[i]; i++) {
342 if (pcap_strcasecmp($1, reasons[i]) == 0) {
347 if (reasons[i] == NULL)
348 bpf_error("unknown PF reason");
352 action: ID { if (pcap_strcasecmp($1, "pass") == 0 ||
353 pcap_strcasecmp($1, "accept") == 0)
355 else if (pcap_strcasecmp($1, "drop") == 0 ||
356 pcap_strcasecmp($1, "block") == 0)
359 bpf_error("unknown PF action");
363 relop: '>' { $$ = BPF_JGT; }
364 | GEQ { $$ = BPF_JGE; }
365 | '=' { $$ = BPF_JEQ; }
367 irelop: LEQ { $$ = BPF_JGT; }
368 | '<' { $$ = BPF_JGE; }
369 | NEQ { $$ = BPF_JEQ; }
371 arth: pnum { $$ = gen_loadi($1); }
374 narth: pname '[' arth ']' { $$ = gen_load($1, $3, 1); }
375 | pname '[' arth ':' NUM ']' { $$ = gen_load($1, $3, $5); }
376 | arth '+' arth { $$ = gen_arth(BPF_ADD, $1, $3); }
377 | arth '-' arth { $$ = gen_arth(BPF_SUB, $1, $3); }
378 | arth '*' arth { $$ = gen_arth(BPF_MUL, $1, $3); }
379 | arth '/' arth { $$ = gen_arth(BPF_DIV, $1, $3); }
380 | arth '&' arth { $$ = gen_arth(BPF_AND, $1, $3); }
381 | arth '|' arth { $$ = gen_arth(BPF_OR, $1, $3); }
382 | arth LSH arth { $$ = gen_arth(BPF_LSH, $1, $3); }
383 | arth RSH arth { $$ = gen_arth(BPF_RSH, $1, $3); }
384 | '-' arth %prec UMINUS { $$ = gen_neg($2); }
385 | paren narth ')' { $$ = $2; }
386 | LEN { $$ = gen_loadlen(); }
388 byteop: '&' { $$ = '&'; }
395 | paren pnum ')' { $$ = $2; }
397 atmtype: LANE { $$ = A_LANE; }
398 | LLC { $$ = A_LLC; }
399 | METAC { $$ = A_METAC; }
400 | BCC { $$ = A_BCC; }
401 | OAMF4EC { $$ = A_OAMF4EC; }
402 | OAMF4SC { $$ = A_OAMF4SC; }
404 | ILMIC { $$ = A_ILMIC; }
406 atmmultitype: OAM { $$ = A_OAM; }
407 | OAMF4 { $$ = A_OAMF4; }
408 | CONNECTMSG { $$ = A_CONNECTMSG; }
409 | METACONNECT { $$ = A_METACONNECT; }
411 /* ATM field types quantifier */
412 atmfield: VPI { $$.atmfieldtype = A_VPI; }
413 | VCI { $$.atmfieldtype = A_VCI; }
415 atmvalue: atmfieldvalue
416 | relop NUM { $$.b = gen_atmfield_code($<blk>0.atmfieldtype, (u_int)$2, (u_int)$1, 0); }
417 | irelop NUM { $$.b = gen_atmfield_code($<blk>0.atmfieldtype, (u_int)$2, (u_int)$1, 1); }
418 | paren atmlistvalue ')' { $$.b = $2.b; $$.q = qerr; }
421 $$.atmfieldtype = $<blk>0.atmfieldtype;
422 if ($$.atmfieldtype == A_VPI ||
423 $$.atmfieldtype == A_VCI)
424 $$.b = gen_atmfield_code($$.atmfieldtype, (u_int) $1, BPF_JEQ, 0);
427 atmlistvalue: atmfieldvalue
428 | atmlistvalue or atmfieldvalue { gen_or($1.b, $3.b); $$ = $3; }