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.
9 /* yaac-func-prefix: yy */
24 #include "bpf_parser.tab.h"
28 #define MAX_INSTRUCTIONS 4096
30 int compile_filter
(char *file
, int verbose
, int bypass
, int format
,
33 static int curr_instr
= 0;
35 static struct sock_filter out
[MAX_INSTRUCTIONS
];
37 static char *labels
[MAX_INSTRUCTIONS
];
39 static char *labels_jt
[MAX_INSTRUCTIONS
];
40 static char *labels_jf
[MAX_INSTRUCTIONS
];
41 static char *labels_k
[MAX_INSTRUCTIONS
];
43 #define YYERROR_VERBOSE 0
45 #define YYENABLE_NLS 1
46 #define YYLTYPE_IS_TRIVIAL 1
50 extern
int yylex(void);
51 extern
void yyerror(const char *);
55 static inline
void check_max_instr
(void)
57 if
(curr_instr
>= MAX_INSTRUCTIONS
)
58 panic
("Exceeded maximal number of instructions!\n");
61 static inline
void set_curr_instr
(uint16_t code
, uint8_t jt
, uint8_t jf
, uint32_t k
)
65 out
[curr_instr
].code
= code
;
66 out
[curr_instr
].jt
= jt
;
67 out
[curr_instr
].jf
= jf
;
68 out
[curr_instr
].k
= k
;
73 static inline
void set_curr_label
(char *label
)
77 labels
[curr_instr
] = label
;
84 static inline
void set_jmp_label
(char *label
, int which
)
90 labels_jt
[curr_instr
] = label
;
93 labels_jf
[curr_instr
] = label
;
96 labels_k
[curr_instr
] = label
;
103 static int find_intr_offset_or_panic
(char *label_to_search
)
105 int i
, max
= curr_instr
, ret
= -ENOENT
;
107 bug_on
(!label_to_search
);
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
])) {
120 panic
("No such label!\n");
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
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
140 %token
':' ',' '[' ']' '(' ')' 'x' 'a' '+' 'M' '*' '&' '#'
144 %type
<number
> number
197 : label
':' { set_curr_label
($1); }
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); }
206 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
207 SKF_AD_OFF
+ SKF_AD_PROTOCOL
); }
209 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
210 SKF_AD_OFF
+ SKF_AD_PKTTYPE
); }
212 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
213 SKF_AD_OFF
+ SKF_AD_IFINDEX
); }
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
); }
221 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
222 SKF_AD_OFF
+ SKF_AD_MARK
); }
224 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
225 SKF_AD_OFF
+ SKF_AD_QUEUE
); }
227 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
228 SKF_AD_OFF
+ SKF_AD_HATYPE
); }
230 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
231 SKF_AD_OFF
+ SKF_AD_RXHASH
); }
233 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
234 SKF_AD_OFF
+ SKF_AD_CPU
); }
236 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
237 SKF_AD_OFF
+ SKF_AD_VLAN_TAG
); }
239 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
240 SKF_AD_OFF
+ SKF_AD_VLAN_TAG_PRESENT
); }
242 set_curr_instr
(BPF_LD | BPF_B | BPF_ABS
, 0, 0,
243 SKF_AD_OFF
+ SKF_AD_PAY_OFFSET
); }
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); }
252 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
253 SKF_AD_OFF
+ SKF_AD_PROTOCOL
); }
255 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
256 SKF_AD_OFF
+ SKF_AD_PKTTYPE
); }
258 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
259 SKF_AD_OFF
+ SKF_AD_IFINDEX
); }
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
); }
267 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
268 SKF_AD_OFF
+ SKF_AD_MARK
); }
270 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
271 SKF_AD_OFF
+ SKF_AD_QUEUE
); }
273 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
274 SKF_AD_OFF
+ SKF_AD_HATYPE
); }
276 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
277 SKF_AD_OFF
+ SKF_AD_RXHASH
); }
279 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
280 SKF_AD_OFF
+ SKF_AD_CPU
); }
282 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
283 SKF_AD_OFF
+ SKF_AD_VLAN_TAG
); }
285 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
286 SKF_AD_OFF
+ SKF_AD_VLAN_TAG_PRESENT
); }
288 set_curr_instr
(BPF_LD | BPF_H | BPF_ABS
, 0, 0,
289 SKF_AD_OFF
+ SKF_AD_PAY_OFFSET
); }
294 set_curr_instr
(BPF_LD | BPF_IMM
, 0, 0, $2); }
299 set_curr_instr
(BPF_LD | BPF_IMM
, 0, 0, $3); }
301 set_curr_instr
(BPF_LD | BPF_W | BPF_LEN
, 0, 0, 0); }
303 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
304 SKF_AD_OFF
+ SKF_AD_PROTOCOL
); }
306 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
307 SKF_AD_OFF
+ SKF_AD_PKTTYPE
); }
309 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
310 SKF_AD_OFF
+ SKF_AD_IFINDEX
); }
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
); }
318 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
319 SKF_AD_OFF
+ SKF_AD_MARK
); }
321 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
322 SKF_AD_OFF
+ SKF_AD_QUEUE
); }
324 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
325 SKF_AD_OFF
+ SKF_AD_HATYPE
); }
327 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
328 SKF_AD_OFF
+ SKF_AD_RXHASH
); }
330 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
331 SKF_AD_OFF
+ SKF_AD_CPU
); }
333 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
334 SKF_AD_OFF
+ SKF_AD_VLAN_TAG
); }
336 set_curr_instr
(BPF_LD | BPF_W | BPF_ABS
, 0, 0,
337 SKF_AD_OFF
+ SKF_AD_VLAN_TAG_PRESENT
); }
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); }
351 set_curr_instr
(BPF_LDX | BPF_IMM
, 0, 0, $2); }
355 : OP_LDX
'#' number
{
356 set_curr_instr
(BPF_LDX | BPF_IMM
, 0, 0, $3); }
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");
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");
370 set_curr_instr
(BPF_LDX | BPF_MSH | BPF_B
, 0, 0, $6); } }
374 : OP_ST
'M' '[' number
']' {
375 set_curr_instr
(BPF_ST
, 0, 0, $4); }
379 : OP_STX
'M' '[' number
']' {
380 set_curr_instr
(BPF_STX
, 0, 0, $4); }
385 set_jmp_label
($2, JKL
);
386 set_curr_instr
(BPF_JMP | BPF_JA
, 0, 0, 0); }
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); }
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); }
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); }
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); }
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); }
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); }
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); }
485 : OP_ADD
'#' number
{
486 set_curr_instr
(BPF_ALU | BPF_ADD | BPF_K
, 0, 0, $3); }
488 set_curr_instr
(BPF_ALU | BPF_ADD | BPF_X
, 0, 0, 0); }
492 : OP_SUB
'#' number
{
493 set_curr_instr
(BPF_ALU | BPF_SUB | BPF_K
, 0, 0, $3); }
495 set_curr_instr
(BPF_ALU | BPF_SUB | BPF_X
, 0, 0, 0); }
499 : OP_MUL
'#' number
{
500 set_curr_instr
(BPF_ALU | BPF_MUL | BPF_K
, 0, 0, $3); }
502 set_curr_instr
(BPF_ALU | BPF_MUL | BPF_X
, 0, 0, 0); }
506 : OP_DIV
'#' number
{
507 set_curr_instr
(BPF_ALU | BPF_DIV | BPF_K
, 0, 0, $3); }
509 set_curr_instr
(BPF_ALU | BPF_DIV | BPF_X
, 0, 0, 0); }
513 : OP_MOD
'#' number
{
514 set_curr_instr
(BPF_ALU | BPF_MOD | BPF_K
, 0, 0, $3); }
516 set_curr_instr
(BPF_ALU | BPF_MOD | BPF_X
, 0, 0, 0); }
521 set_curr_instr
(BPF_ALU | BPF_NEG
, 0, 0, 0); }
525 : OP_AND
'#' number
{
526 set_curr_instr
(BPF_ALU | BPF_AND | BPF_K
, 0, 0, $3); }
528 set_curr_instr
(BPF_ALU | BPF_AND | BPF_X
, 0, 0, 0); }
533 set_curr_instr
(BPF_ALU | BPF_OR | BPF_K
, 0, 0, $3); }
535 set_curr_instr
(BPF_ALU | BPF_OR | BPF_X
, 0, 0, 0); }
539 : OP_XOR
'#' number
{
540 set_curr_instr
(BPF_ALU | BPF_XOR | BPF_K
, 0, 0, $3); }
542 set_curr_instr
(BPF_ALU | BPF_XOR | BPF_X
, 0, 0, 0); }
546 : OP_LSH
'#' number
{
547 set_curr_instr
(BPF_ALU | BPF_LSH | BPF_K
, 0, 0, $3); }
549 set_curr_instr
(BPF_ALU | BPF_LSH | BPF_X
, 0, 0, 0); }
553 : OP_RSH
'#' number
{
554 set_curr_instr
(BPF_ALU | BPF_RSH | BPF_K
, 0, 0, $3); }
556 set_curr_instr
(BPF_ALU | BPF_RSH | BPF_X
, 0, 0, 0); }
561 set_curr_instr
(BPF_RET | BPF_A
, 0, 0, 0); }
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); }
570 set_curr_instr
(BPF_MISC | BPF_TAX
, 0, 0, 0); }
575 set_curr_instr
(BPF_MISC | BPF_TXA
, 0, 0, 0); }
580 static void stage_1_inline
(void)
585 static void stage_2_label_reduce
(void)
587 int i
, max
= curr_instr
, off
;
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);
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);
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);
614 static void pretty_printer_c
(const struct sock_fprog
*prog
)
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
);
625 static void pretty_printer_xt_bpf
(const struct sock_fprog
*prog
)
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
);
639 static void pretty_printer_tcpdump
(const struct sock_fprog
*prog
)
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
);
650 static void pretty_printer
(const struct sock_fprog
*prog
, int format
)
654 pretty_printer_c
(prog
);
657 pretty_printer_xt_bpf
(prog
);
660 pretty_printer_tcpdump
(prog
);
667 int compile_filter
(char *file
, int verbose
, int bypass
, int format
,
671 struct sock_fprog res
;
674 memset
(tmp_file
, 0, sizeof
(tmp_file
));
677 char cmd
[256], *dir
, *base
, *a
, *b
;
679 dir
= dirname
((a
= xstrdup
(file
)));
680 base
= basename
((b
= xstrdup
(file
)));
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
);
692 if
(!strncmp
("-", file
, strlen
("-")))
695 yyin
= fopen
(file
, "r");
697 panic
("Cannot open file!\n");
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
));
706 stage_2_label_reduce
();
709 res.len
= curr_instr
;
712 printf
("Generated program:\n");
718 printf
("Validating: ");
722 if
(__bpf_validate
(&res
) == 0) {
724 printf
("Semantic error! BPF validation failed!\n");
726 panic
("Semantic error! BPF validation failed! "
727 "Try -V for debugging output!\n");
728 } else if
(verbose
) {
729 printf
("is runnable!\n");
736 pretty_printer
(&res
, format
);
738 for
(i
= 0; i
< res.len
; ++i
) {
752 void yyerror(const char *err
)
754 panic
("Syntax error at line %d: %s! %s!\n",
755 yylineno
, yytext
, err
);