?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
curve: curve25519_tfm_alloc/curve25519_tfm_free helpers
[netsniff-ng.git] / bpf_parser.y
blob19268ae4dec036fdd6c22c0f33d85f63b55fef52
1 /*
2 * netsniff-ng - the packet sniffing beast
3 * By Daniel Borkmann <daniel@netsniff-ng.org>
4 * Copyright 2011 Daniel Borkmann <dborkma@tik.ee.ethz.ch>,
5 * Swiss federal institute of technology (ETH Zurich)
6 * Subject to the GPL, version 2.
7 */
8
9 /* yaac-func-prefix: yy */
10
11 %{
12
13 #include <stdio.h>
14 #include <stdlib.h>
15 #include <stdbool.h>
16 #include <signal.h>
17 #include <stdint.h>
18 #include <errno.h>
19 #include <libgen.h>
20
21 #include "bpf.h"
22 #include "str.h"
23 #include "xmalloc.h"
24 #include "bpf_parser.tab.h"
25 #include "built_in.h"
26 #include "die.h"
27
28 #define MAX_INSTRUCTIONS 4096
29
30 int compile_filter(char *file, int verbose, int bypass, int format,
31 bool invoke_cpp);
32
33 static int curr_instr = 0;
34
35 static struct sock_filter out[MAX_INSTRUCTIONS];
36
37 static char *labels[MAX_INSTRUCTIONS];
38
39 static char *labels_jt[MAX_INSTRUCTIONS];
40 static char *labels_jf[MAX_INSTRUCTIONS];
41 static char *labels_k[MAX_INSTRUCTIONS];
42
43 #define YYERROR_VERBOSE 0
44 #define YYDEBUG 0
45 #define YYENABLE_NLS 1
46 #define YYLTYPE_IS_TRIVIAL 1
47 #define ENABLE_NLS 1
48
49 extern FILE *yyin;
50 extern int yylex(void);
51 extern void yyerror(const char *);
52 extern int yylineno;
53 extern char *yytext;
54
55 static inline void check_max_instr(void)
56 {
57 if (curr_instr >= MAX_INSTRUCTIONS)
58 panic("Exceeded maximal number of instructions!\n");
59 }
60
61 static inline void set_curr_instr(uint16_t code, uint8_t jt, uint8_t jf, uint32_t k)
62 {
63 check_max_instr();
64
65 out[curr_instr].code = code;
66 out[curr_instr].jt = jt;
67 out[curr_instr].jf = jf;
68 out[curr_instr].k = k;
69
70 curr_instr++;
71 }
72
73 static inline void set_curr_label(char *label)
74 {
75 check_max_instr();
76
77 labels[curr_instr] = label;
78 }
79
80 #define JTL 1
81 #define JFL 2
82 #define JKL 3
83
84 static inline void set_jmp_label(char *label, int which)
85 {
86 check_max_instr();
87
88 switch (which) {
89 case JTL:
90 labels_jt[curr_instr] = label;
91 break;
92 case JFL:
93 labels_jf[curr_instr] = label;
94 break;
95 case JKL:
96 labels_k[curr_instr] = label;
97 break;
98 default:
99 bug();
100 }
101 }
102
103 static int find_intr_offset_or_panic(char *label_to_search)
104 {
105 int i, max = curr_instr, ret = -ENOENT;
106
107 bug_on(!label_to_search);
108
109 for (i = 0; i < max; ++i) {
110 if (labels[i] != NULL) {
111 /* Both are \0-terminated! */
112 if (!strcmp(label_to_search, labels[i])) {
113 ret = i;
114 break;
115 }
116 }
117 }
118
119 if (ret == -ENOENT)
120 panic("No such label!\n");
121
122 return ret;
123 }
124
125 %}
126
127 %union {
128 char *label;
129 long int number;
130 }
131
132 %token OP_LDB OP_LDH OP_LD OP_LDX OP_ST OP_STX OP_JMP OP_JEQ OP_JGT OP_JGE
133 %token OP_JSET OP_ADD OP_SUB OP_MUL OP_DIV OP_AND OP_OR OP_XOR OP_LSH OP_RSH
134 %token OP_RET OP_TAX OP_TXA OP_LDXB OP_MOD OP_NEG OP_JNEQ OP_JLT OP_JLE OP_LDI
135 %token OP_LDXI
136
137 %token K_PKT_LEN K_PROTO K_TYPE K_NLATTR K_NLATTR_NEST K_MARK K_QUEUE K_HATYPE
138 %token K_RXHASH K_CPU K_IFIDX K_VLANT K_VLANP K_POFF
139
140 %token ':' ',' '[' ']' '(' ')' 'x' 'a' '+' 'M' '*' '&' '#'
141
142 %token number label
143
144 %type <number> number
145 %type <label> label
146
147 %%
148
149 prog
150 : line
151 | prog line
152 ;
153
154 line
155 : instr
156 | labelled_instr
157 ;
158
159 labelled_instr
160 : labelled instr
161 ;
162
163 instr
164 : ldb
165 | ldh
166 | ld
167 | ldi
168 | ldx
169 | ldxi
170 | st
171 | stx
172 | jmp
173 | jeq
174 | jneq
175 | jlt
176 | jle
177 | jgt
178 | jge
179 | jset
180 | add
181 | sub
182 | mul
183 | div
184 | mod
185 | neg
186 | and
187 | or
188 | xor
189 | lsh
190 | rsh
191 | ret
192 | tax
193 | txa
194 ;
195
196 labelled
197 : label ':' { set_curr_label($1); }
198 ;
199
200 ldb
201 : OP_LDB '[' 'x' '+' number ']' {
202 set_curr_instr(BPF_LD | BPF_B | BPF_IND, 0, 0, $5); }
203 | OP_LDB '[' number ']' {
204 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0, $3); }
205 | OP_LDB K_PROTO {
206 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
207 SKF_AD_OFF + SKF_AD_PROTOCOL); }
208 | OP_LDB K_TYPE {
209 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
210 SKF_AD_OFF + SKF_AD_PKTTYPE); }
211 | OP_LDB K_IFIDX {
212 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
213 SKF_AD_OFF + SKF_AD_IFINDEX); }
214 | OP_LDB K_NLATTR {
215 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
216 SKF_AD_OFF + SKF_AD_NLATTR); }
217 | OP_LDB K_NLATTR_NEST {
218 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
219 SKF_AD_OFF + SKF_AD_NLATTR_NEST); }
220 | OP_LDB K_MARK {
221 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
222 SKF_AD_OFF + SKF_AD_MARK); }
223 | OP_LDB K_QUEUE {
224 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
225 SKF_AD_OFF + SKF_AD_QUEUE); }
226 | OP_LDB K_HATYPE {
227 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
228 SKF_AD_OFF + SKF_AD_HATYPE); }
229 | OP_LDB K_RXHASH {
230 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
231 SKF_AD_OFF + SKF_AD_RXHASH); }
232 | OP_LDB K_CPU {
233 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
234 SKF_AD_OFF + SKF_AD_CPU); }
235 | OP_LDB K_VLANT {
236 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
237 SKF_AD_OFF + SKF_AD_VLAN_TAG); }
238 | OP_LDB K_VLANP {
239 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
240 SKF_AD_OFF + SKF_AD_VLAN_TAG_PRESENT); }
241 | OP_LDB K_POFF {
242 set_curr_instr(BPF_LD | BPF_B | BPF_ABS, 0, 0,
243 SKF_AD_OFF + SKF_AD_PAY_OFFSET); }
244 ;
245
246 ldh
247 : OP_LDH '[' 'x' '+' number ']' {
248 set_curr_instr(BPF_LD | BPF_H | BPF_IND, 0, 0, $5); }
249 | OP_LDH '[' number ']' {
250 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0, $3); }
251 | OP_LDH K_PROTO {
252 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
253 SKF_AD_OFF + SKF_AD_PROTOCOL); }
254 | OP_LDH K_TYPE {
255 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
256 SKF_AD_OFF + SKF_AD_PKTTYPE); }
257 | OP_LDH K_IFIDX {
258 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
259 SKF_AD_OFF + SKF_AD_IFINDEX); }
260 | OP_LDH K_NLATTR {
261 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
262 SKF_AD_OFF + SKF_AD_NLATTR); }
263 | OP_LDH K_NLATTR_NEST {
264 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
265 SKF_AD_OFF + SKF_AD_NLATTR_NEST); }
266 | OP_LDH K_MARK {
267 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
268 SKF_AD_OFF + SKF_AD_MARK); }
269 | OP_LDH K_QUEUE {
270 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
271 SKF_AD_OFF + SKF_AD_QUEUE); }
272 | OP_LDH K_HATYPE {
273 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
274 SKF_AD_OFF + SKF_AD_HATYPE); }
275 | OP_LDH K_RXHASH {
276 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
277 SKF_AD_OFF + SKF_AD_RXHASH); }
278 | OP_LDH K_CPU {
279 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
280 SKF_AD_OFF + SKF_AD_CPU); }
281 | OP_LDH K_VLANT {
282 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
283 SKF_AD_OFF + SKF_AD_VLAN_TAG); }
284 | OP_LDH K_VLANP {
285 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
286 SKF_AD_OFF + SKF_AD_VLAN_TAG_PRESENT); }
287 | OP_LDH K_POFF {
288 set_curr_instr(BPF_LD | BPF_H | BPF_ABS, 0, 0,
289 SKF_AD_OFF + SKF_AD_PAY_OFFSET); }
290 ;
291
292 ldi
293 : OP_LDI number {
294 set_curr_instr(BPF_LD | BPF_IMM, 0, 0, $2); }
295 ;
296
297 ld
298 : OP_LD '#' number {
299 set_curr_instr(BPF_LD | BPF_IMM, 0, 0, $3); }
300 | OP_LD K_PKT_LEN {
301 set_curr_instr(BPF_LD | BPF_W | BPF_LEN, 0, 0, 0); }
302 | OP_LD K_PROTO {
303 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
304 SKF_AD_OFF + SKF_AD_PROTOCOL); }
305 | OP_LD K_TYPE {
306 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
307 SKF_AD_OFF + SKF_AD_PKTTYPE); }
308 | OP_LD K_IFIDX {
309 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
310 SKF_AD_OFF + SKF_AD_IFINDEX); }
311 | OP_LD K_NLATTR {
312 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
313 SKF_AD_OFF + SKF_AD_NLATTR); }
314 | OP_LD K_NLATTR_NEST {
315 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
316 SKF_AD_OFF + SKF_AD_NLATTR_NEST); }
317 | OP_LD K_MARK {
318 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
319 SKF_AD_OFF + SKF_AD_MARK); }
320 | OP_LD K_QUEUE {
321 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
322 SKF_AD_OFF + SKF_AD_QUEUE); }
323 | OP_LD K_HATYPE {
324 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
325 SKF_AD_OFF + SKF_AD_HATYPE); }
326 | OP_LD K_RXHASH {
327 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
328 SKF_AD_OFF + SKF_AD_RXHASH); }
329 | OP_LD K_CPU {
330 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
331 SKF_AD_OFF + SKF_AD_CPU); }
332 | OP_LD K_VLANT {
333 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
334 SKF_AD_OFF + SKF_AD_VLAN_TAG); }
335 | OP_LD K_VLANP {
336 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
337 SKF_AD_OFF + SKF_AD_VLAN_TAG_PRESENT); }
338 | OP_LD K_POFF {
339 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0,
340 SKF_AD_OFF + SKF_AD_PAY_OFFSET); }
341 | OP_LD 'M' '[' number ']' {
342 set_curr_instr(BPF_LD | BPF_MEM, 0, 0, $4); }
343 | OP_LD '[' 'x' '+' number ']' {
344 set_curr_instr(BPF_LD | BPF_W | BPF_IND, 0, 0, $5); }
345 | OP_LD '[' number ']' {
346 set_curr_instr(BPF_LD | BPF_W | BPF_ABS, 0, 0, $3); }
347 ;
348
349 ldxi
350 : OP_LDXI number {
351 set_curr_instr(BPF_LDX | BPF_IMM, 0, 0, $2); }
352 ;
353
354 ldx
355 : OP_LDX '#' number {
356 set_curr_instr(BPF_LDX | BPF_IMM, 0, 0, $3); }
357 | OP_LDX K_PKT_LEN {
358 set_curr_instr(BPF_LDX | BPF_W | BPF_LEN, 0, 0, 0); }
359 | OP_LDX 'M' '[' number ']' {
360 set_curr_instr(BPF_LDX | BPF_MEM, 0, 0, $4); }
361 | OP_LDXB number '*' '(' '[' number ']' '&' number ')' {
362 if ($2 != 4 || $9 != 0xf) {
363 panic("ldxb offset not supported!\n");
364 } else {
365 set_curr_instr(BPF_LDX | BPF_MSH | BPF_B, 0, 0, $6); } }
366 | OP_LDX number '*' '(' '[' number ']' '&' number ')' {
367 if ($2 != 4 || $9 != 0xf) {
368 panic("ldxb offset not supported!\n");
369 } else {
370 set_curr_instr(BPF_LDX | BPF_MSH | BPF_B, 0, 0, $6); } }
371 ;
372
373 st
374 : OP_ST 'M' '[' number ']' {
375 set_curr_instr(BPF_ST, 0, 0, $4); }
376 ;
377
378 stx
379 : OP_STX 'M' '[' number ']' {
380 set_curr_instr(BPF_STX, 0, 0, $4); }
381 ;
382
383 jmp
384 : OP_JMP label {
385 set_jmp_label($2, JKL);
386 set_curr_instr(BPF_JMP | BPF_JA, 0, 0, 0); }
387 ;
388
389 jeq
390 : OP_JEQ '#' number ',' label ',' label {
391 set_jmp_label($5, JTL);
392 set_jmp_label($7, JFL);
393 set_curr_instr(BPF_JMP | BPF_JEQ | BPF_K, 0, 0, $3); }
394 | OP_JEQ 'x' ',' label ',' label {
395 set_jmp_label($4, JTL);
396 set_jmp_label($6, JFL);
397 set_curr_instr(BPF_JMP | BPF_JEQ | BPF_X, 0, 0, 0); }
398 | OP_JEQ '#' number ',' label {
399 set_jmp_label($5, JTL);
400 set_curr_instr(BPF_JMP | BPF_JEQ | BPF_K, 0, 0, $3); }
401 | OP_JEQ 'x' ',' label {
402 set_jmp_label($4, JTL);
403 set_curr_instr(BPF_JMP | BPF_JEQ | BPF_X, 0, 0, 0); }
404 ;
405
406 jneq
407 : OP_JNEQ '#' number ',' label {
408 set_jmp_label($5, JFL);
409 set_curr_instr(BPF_JMP | BPF_JEQ | BPF_K, 0, 0, $3); }
410 | OP_JNEQ 'x' ',' label {
411 set_jmp_label($4, JFL);
412 set_curr_instr(BPF_JMP | BPF_JEQ | BPF_X, 0, 0, 0); }
413 ;
414
415 jlt
416 : OP_JLT '#' number ',' label {
417 set_jmp_label($5, JFL);
418 set_curr_instr(BPF_JMP | BPF_JGE | BPF_K, 0, 0, $3); }
419 | OP_JLT 'x' ',' label {
420 set_jmp_label($4, JFL);
421 set_curr_instr(BPF_JMP | BPF_JGE | BPF_X, 0, 0, 0); }
422 ;
423
424 jle
425 : OP_JLE '#' number ',' label {
426 set_jmp_label($5, JFL);
427 set_curr_instr(BPF_JMP | BPF_JGT | BPF_K, 0, 0, $3); }
428 | OP_JLE 'x' ',' label {
429 set_jmp_label($4, JFL);
430 set_curr_instr(BPF_JMP | BPF_JGT | BPF_X, 0, 0, 0); }
431 ;
432
433 jgt
434 : OP_JGT '#' number ',' label ',' label {
435 set_jmp_label($5, JTL);
436 set_jmp_label($7, JFL);
437 set_curr_instr(BPF_JMP | BPF_JGT | BPF_K, 0, 0, $3); }
438 | OP_JGT 'x' ',' label ',' label {
439 set_jmp_label($4, JTL);
440 set_jmp_label($6, JFL);
441 set_curr_instr(BPF_JMP | BPF_JGT | BPF_X, 0, 0, 0); }
442 | OP_JGT '#' number ',' label {
443 set_jmp_label($5, JTL);
444 set_curr_instr(BPF_JMP | BPF_JGT | BPF_K, 0, 0, $3); }
445 | OP_JGT 'x' ',' label {
446 set_jmp_label($4, JTL);
447 set_curr_instr(BPF_JMP | BPF_JGT | BPF_X, 0, 0, 0); }
448 ;
449
450 jge
451 : OP_JGE '#' number ',' label ',' label {
452 set_jmp_label($5, JTL);
453 set_jmp_label($7, JFL);
454 set_curr_instr(BPF_JMP | BPF_JGE | BPF_K, 0, 0, $3); }
455 | OP_JGE 'x' ',' label ',' label {
456 set_jmp_label($4, JTL);
457 set_jmp_label($6, JFL);
458 set_curr_instr(BPF_JMP | BPF_JGE | BPF_X, 0, 0, 0); }
459 | OP_JGE '#' number ',' label {
460 set_jmp_label($5, JTL);
461 set_curr_instr(BPF_JMP | BPF_JGE | BPF_K, 0, 0, $3); }
462 | OP_JGE 'x' ',' label {
463 set_jmp_label($4, JTL);
464 set_curr_instr(BPF_JMP | BPF_JGE | BPF_X, 0, 0, 0); }
465 ;
466
467 jset
468 : OP_JSET '#' number ',' label ',' label {
469 set_jmp_label($5, JTL);
470 set_jmp_label($7, JFL);
471 set_curr_instr(BPF_JMP | BPF_JSET | BPF_K, 0, 0, $3); }
472 | OP_JSET 'x' ',' label ',' label {
473 set_jmp_label($4, JTL);
474 set_jmp_label($6, JFL);
475 set_curr_instr(BPF_JMP | BPF_JSET | BPF_X, 0, 0, 0); }
476 | OP_JSET '#' number ',' label {
477 set_jmp_label($5, JTL);
478 set_curr_instr(BPF_JMP | BPF_JSET | BPF_K, 0, 0, $3); }
479 | OP_JSET 'x' ',' label {
480 set_jmp_label($4, JTL);
481 set_curr_instr(BPF_JMP | BPF_JSET | BPF_X, 0, 0, 0); }
482 ;
483
484 add
485 : OP_ADD '#' number {
486 set_curr_instr(BPF_ALU | BPF_ADD | BPF_K, 0, 0, $3); }
487 | OP_ADD 'x' {
488 set_curr_instr(BPF_ALU | BPF_ADD | BPF_X, 0, 0, 0); }
489 ;
490
491 sub
492 : OP_SUB '#' number {
493 set_curr_instr(BPF_ALU | BPF_SUB | BPF_K, 0, 0, $3); }
494 | OP_SUB 'x' {
495 set_curr_instr(BPF_ALU | BPF_SUB | BPF_X, 0, 0, 0); }
496 ;
497
498 mul
499 : OP_MUL '#' number {
500 set_curr_instr(BPF_ALU | BPF_MUL | BPF_K, 0, 0, $3); }
501 | OP_MUL 'x' {
502 set_curr_instr(BPF_ALU | BPF_MUL | BPF_X, 0, 0, 0); }
503 ;
504
505 div
506 : OP_DIV '#' number {
507 set_curr_instr(BPF_ALU | BPF_DIV | BPF_K, 0, 0, $3); }
508 | OP_DIV 'x' {
509 set_curr_instr(BPF_ALU | BPF_DIV | BPF_X, 0, 0, 0); }
510 ;
511
512 mod
513 : OP_MOD '#' number {
514 set_curr_instr(BPF_ALU | BPF_MOD | BPF_K, 0, 0, $3); }
515 | OP_MOD 'x' {
516 set_curr_instr(BPF_ALU | BPF_MOD | BPF_X, 0, 0, 0); }
517 ;
518
519 neg
520 : OP_NEG {
521 set_curr_instr(BPF_ALU | BPF_NEG, 0, 0, 0); }
522 ;
523
524 and
525 : OP_AND '#' number {
526 set_curr_instr(BPF_ALU | BPF_AND | BPF_K, 0, 0, $3); }
527 | OP_AND 'x' {
528 set_curr_instr(BPF_ALU | BPF_AND | BPF_X, 0, 0, 0); }
529 ;
530
531 or
532 : OP_OR '#' number {
533 set_curr_instr(BPF_ALU | BPF_OR | BPF_K, 0, 0, $3); }
534 | OP_OR 'x' {
535 set_curr_instr(BPF_ALU | BPF_OR | BPF_X, 0, 0, 0); }
536 ;
537
538 xor
539 : OP_XOR '#' number {
540 set_curr_instr(BPF_ALU | BPF_XOR | BPF_K, 0, 0, $3); }
541 | OP_XOR 'x' {
542 set_curr_instr(BPF_ALU | BPF_XOR | BPF_X, 0, 0, 0); }
543 ;
544
545 lsh
546 : OP_LSH '#' number {
547 set_curr_instr(BPF_ALU | BPF_LSH | BPF_K, 0, 0, $3); }
548 | OP_LSH 'x' {
549 set_curr_instr(BPF_ALU | BPF_LSH | BPF_X, 0, 0, 0); }
550 ;
551
552 rsh
553 : OP_RSH '#' number {
554 set_curr_instr(BPF_ALU | BPF_RSH | BPF_K, 0, 0, $3); }
555 | OP_RSH 'x' {
556 set_curr_instr(BPF_ALU | BPF_RSH | BPF_X, 0, 0, 0); }
557 ;
558
559 ret
560 : OP_RET 'a' {
561 set_curr_instr(BPF_RET | BPF_A, 0, 0, 0); }
562 | OP_RET 'x' {
563 set_curr_instr(BPF_RET | BPF_X, 0, 0, 0); }
564 | OP_RET '#' number {
565 set_curr_instr(BPF_RET | BPF_K, 0, 0, $3); }
566 ;
567
568 tax
569 : OP_TAX {
570 set_curr_instr(BPF_MISC | BPF_TAX, 0, 0, 0); }
571 ;
572
573 txa
574 : OP_TXA {
575 set_curr_instr(BPF_MISC | BPF_TXA, 0, 0, 0); }
576 ;
577
578 %%
579
580 static void stage_1_inline(void)
581 {
582 yyparse();
583 }
584
585 static void stage_2_label_reduce(void)
586 {
587 int i, max = curr_instr, off;
588
589 /* 1. reduce k jumps */
590 for (i = 0; i < max; ++i) {
591 if (labels_k[i] != NULL) {
592 off = find_intr_offset_or_panic(labels_k[i]);
593 out[i].k = (uint32_t) (off - i - 1);
594 }
595 }
596
597 /* 1. reduce jt jumps */
598 for (i = 0; i < max; ++i) {
599 if (labels_jt[i] != NULL) {
600 off = find_intr_offset_or_panic(labels_jt[i]);
601 out[i].jt = (uint8_t) (off - i -1);
602 }
603 }
604
605 /* 1. reduce jf jumps */
606 for (i = 0; i < max; ++i) {
607 if (labels_jf[i] != NULL) {
608 off = find_intr_offset_or_panic(labels_jf[i]);
609 out[i].jf = (uint8_t) (off - i - 1);
610 }
611 }
612 }
613
614 static void pretty_printer_c(const struct sock_fprog *prog)
615 {
616 int i;
617
618 for (i = 0; i < prog->len; ++i) {
619 printf("{ 0x%x, %u, %u, 0x%08x },\n",
620 prog->filter[i].code, prog->filter[i].jt,
621 prog->filter[i].jf, prog->filter[i].k);
622 }
623 }
624
625 static void pretty_printer_xt_bpf(const struct sock_fprog *prog)
626 {
627 int i;
628
629 printf("%d,", prog->len);
630 for (i = 0; i < prog->len; ++i) {
631 printf("%u %u %u %u,",
632 prog->filter[i].code, prog->filter[i].jt,
633 prog->filter[i].jf, prog->filter[i].k);
634 }
635
636 fflush(stdout);
637 }
638
639 static void pretty_printer_tcpdump(const struct sock_fprog *prog)
640 {
641 int i;
642
643 for (i = 0; i < prog->len; ++i) {
644 printf("%u %u %u %u\n",
645 prog->filter[i].code, prog->filter[i].jt,
646 prog->filter[i].jf, prog->filter[i].k);
647 }
648 }
649
650 static void pretty_printer(const struct sock_fprog *prog, int format)
651 {
652 switch (format) {
653 case 0:
654 pretty_printer_c(prog);
655 break;
656 case 1:
657 pretty_printer_xt_bpf(prog);
658 break;
659 case 2:
660 pretty_printer_tcpdump(prog);
661 break;
662 default:
663 bug();
664 }
665 }
666
667 int compile_filter(char *file, int verbose, int bypass, int format,
668 bool invoke_cpp)
669 {
670 int i;
671 struct sock_fprog res;
672 char tmp_file[128];
673
674 memset(tmp_file, 0, sizeof(tmp_file));
675
676 if (invoke_cpp) {
677 char cmd[256], *dir, *base, *a, *b;
678
679 dir = dirname((a = xstrdup(file)));
680 base = basename((b = xstrdup(file)));
681
682 slprintf(tmp_file, sizeof(tmp_file), "%s/.tmp-%u-%s", dir, rand(), base);
683 slprintf(cmd, sizeof(cmd), "cpp -I" PREFIX_STRING
684 "/etc/netsniff-ng/ %s > %s", file, tmp_file);
685 system(cmd);
686
687 file = tmp_file;
688 xfree(a);
689 xfree(b);
690 }
691
692 if (!strncmp("-", file, strlen("-")))
693 yyin = stdin;
694 else
695 yyin = fopen(file, "r");
696 if (!yyin)
697 panic("Cannot open file!\n");
698
699 memset(out, 0, sizeof(out));
700 memset(labels, 0, sizeof(labels));
701 memset(labels_jf, 0, sizeof(labels_jf));
702 memset(labels_jt, 0, sizeof(labels_jt));
703 memset(labels_k, 0, sizeof(labels_k));
704
705 stage_1_inline();
706 stage_2_label_reduce();
707
708 res.filter = out;
709 res.len = curr_instr;
710
711 if (verbose) {
712 printf("Generated program:\n");
713 bpf_dump_all(&res);
714 }
715
716 if (!bypass) {
717 if (verbose) {
718 printf("Validating: ");
719 fflush(stdout);
720 }
721
722 if (__bpf_validate(&res) == 0) {
723 if (verbose)
724 printf("Semantic error! BPF validation failed!\n");
725 else
726 panic("Semantic error! BPF validation failed! "
727 "Try -V for debugging output!\n");
728 } else if (verbose) {
729 printf("is runnable!\n");
730 }
731 }
732
733 if (verbose)
734 printf("Result:\n");
735
736 pretty_printer(&res, format);
737
738 for (i = 0; i < res.len; ++i) {
739 free(labels[i]);
740 free(labels_jt[i]);
741 free(labels_jf[i]);
742 free(labels_k[i]);
743 }
744
745 fclose(yyin);
746 if (invoke_cpp)
747 unlink(tmp_file);
748
749 return 0;
750 }
751
752 void yyerror(const char *err)
753 {
754 panic("Syntax error at line %d: %s! %s!\n",
755 yylineno, yytext, err);
756 }
netsniff-ng toolkit, the packet sniffing beast, staging tree