at v3.17-rc1 53 kB view raw
1/* 2 * Copyright (C) 2010 Red Hat Inc, Steven Rostedt <srostedt@redhat.com> 3 * 4 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 5 * This program is free software; you can redistribute it and/or 6 * modify it under the terms of the GNU Lesser General Public 7 * License as published by the Free Software Foundation; 8 * version 2.1 of the License (not later!) 9 * 10 * This program is distributed in the hope that it will be useful, 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 * GNU Lesser General Public License for more details. 14 * 15 * You should have received a copy of the GNU Lesser General Public 16 * License along with this program; if not, see <http://www.gnu.org/licenses> 17 * 18 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 19 */ 20#include <stdio.h> 21#include <stdlib.h> 22#include <string.h> 23#include <stdarg.h> 24#include <errno.h> 25#include <sys/types.h> 26 27#include "event-parse.h" 28#include "event-utils.h" 29 30#define COMM "COMM" 31 32static struct format_field comm = { 33 .name = "COMM", 34}; 35 36struct event_list { 37 struct event_list *next; 38 struct event_format *event; 39}; 40 41static void show_error(char *error_buf, const char *fmt, ...) 42{ 43 unsigned long long index; 44 const char *input; 45 va_list ap; 46 int len; 47 int i; 48 49 input = pevent_get_input_buf(); 50 index = pevent_get_input_buf_ptr(); 51 len = input ? strlen(input) : 0; 52 53 if (len) { 54 strcpy(error_buf, input); 55 error_buf[len] = '\n'; 56 for (i = 1; i < len && i < index; i++) 57 error_buf[len+i] = ' '; 58 error_buf[len + i] = '^'; 59 error_buf[len + i + 1] = '\n'; 60 len += i+2; 61 } 62 63 va_start(ap, fmt); 64 vsnprintf(error_buf + len, PEVENT_FILTER_ERROR_BUFSZ - len, fmt, ap); 65 va_end(ap); 66} 67 68static void free_token(char *token) 69{ 70 pevent_free_token(token); 71} 72 73static enum event_type read_token(char **tok) 74{ 75 enum event_type type; 76 char *token = NULL; 77 78 do { 79 free_token(token); 80 type = pevent_read_token(&token); 81 } while (type == EVENT_NEWLINE || type == EVENT_SPACE); 82 83 /* If token is = or ! check to see if the next char is ~ */ 84 if (token && 85 (strcmp(token, "=") == 0 || strcmp(token, "!") == 0) && 86 pevent_peek_char() == '~') { 87 /* append it */ 88 *tok = malloc(3); 89 if (*tok == NULL) { 90 free_token(token); 91 return EVENT_ERROR; 92 } 93 sprintf(*tok, "%c%c", *token, '~'); 94 free_token(token); 95 /* Now remove the '~' from the buffer */ 96 pevent_read_token(&token); 97 free_token(token); 98 } else 99 *tok = token; 100 101 return type; 102} 103 104static int filter_cmp(const void *a, const void *b) 105{ 106 const struct filter_type *ea = a; 107 const struct filter_type *eb = b; 108 109 if (ea->event_id < eb->event_id) 110 return -1; 111 112 if (ea->event_id > eb->event_id) 113 return 1; 114 115 return 0; 116} 117 118static struct filter_type * 119find_filter_type(struct event_filter *filter, int id) 120{ 121 struct filter_type *filter_type; 122 struct filter_type key; 123 124 key.event_id = id; 125 126 filter_type = bsearch(&key, filter->event_filters, 127 filter->filters, 128 sizeof(*filter->event_filters), 129 filter_cmp); 130 131 return filter_type; 132} 133 134static struct filter_type * 135add_filter_type(struct event_filter *filter, int id) 136{ 137 struct filter_type *filter_type; 138 int i; 139 140 filter_type = find_filter_type(filter, id); 141 if (filter_type) 142 return filter_type; 143 144 filter_type = realloc(filter->event_filters, 145 sizeof(*filter->event_filters) * 146 (filter->filters + 1)); 147 if (!filter_type) 148 return NULL; 149 150 filter->event_filters = filter_type; 151 152 for (i = 0; i < filter->filters; i++) { 153 if (filter->event_filters[i].event_id > id) 154 break; 155 } 156 157 if (i < filter->filters) 158 memmove(&filter->event_filters[i+1], 159 &filter->event_filters[i], 160 sizeof(*filter->event_filters) * 161 (filter->filters - i)); 162 163 filter_type = &filter->event_filters[i]; 164 filter_type->event_id = id; 165 filter_type->event = pevent_find_event(filter->pevent, id); 166 filter_type->filter = NULL; 167 168 filter->filters++; 169 170 return filter_type; 171} 172 173/** 174 * pevent_filter_alloc - create a new event filter 175 * @pevent: The pevent that this filter is associated with 176 */ 177struct event_filter *pevent_filter_alloc(struct pevent *pevent) 178{ 179 struct event_filter *filter; 180 181 filter = malloc(sizeof(*filter)); 182 if (filter == NULL) 183 return NULL; 184 185 memset(filter, 0, sizeof(*filter)); 186 filter->pevent = pevent; 187 pevent_ref(pevent); 188 189 return filter; 190} 191 192static struct filter_arg *allocate_arg(void) 193{ 194 return calloc(1, sizeof(struct filter_arg)); 195} 196 197static void free_arg(struct filter_arg *arg) 198{ 199 if (!arg) 200 return; 201 202 switch (arg->type) { 203 case FILTER_ARG_NONE: 204 case FILTER_ARG_BOOLEAN: 205 break; 206 207 case FILTER_ARG_NUM: 208 free_arg(arg->num.left); 209 free_arg(arg->num.right); 210 break; 211 212 case FILTER_ARG_EXP: 213 free_arg(arg->exp.left); 214 free_arg(arg->exp.right); 215 break; 216 217 case FILTER_ARG_STR: 218 free(arg->str.val); 219 regfree(&arg->str.reg); 220 free(arg->str.buffer); 221 break; 222 223 case FILTER_ARG_VALUE: 224 if (arg->value.type == FILTER_STRING || 225 arg->value.type == FILTER_CHAR) 226 free(arg->value.str); 227 break; 228 229 case FILTER_ARG_OP: 230 free_arg(arg->op.left); 231 free_arg(arg->op.right); 232 default: 233 break; 234 } 235 236 free(arg); 237} 238 239static int add_event(struct event_list **events, 240 struct event_format *event) 241{ 242 struct event_list *list; 243 244 list = malloc(sizeof(*list)); 245 if (list == NULL) 246 return -1; 247 248 list->next = *events; 249 *events = list; 250 list->event = event; 251 return 0; 252} 253 254static int event_match(struct event_format *event, 255 regex_t *sreg, regex_t *ereg) 256{ 257 if (sreg) { 258 return !regexec(sreg, event->system, 0, NULL, 0) && 259 !regexec(ereg, event->name, 0, NULL, 0); 260 } 261 262 return !regexec(ereg, event->system, 0, NULL, 0) || 263 !regexec(ereg, event->name, 0, NULL, 0); 264} 265 266static enum pevent_errno 267find_event(struct pevent *pevent, struct event_list **events, 268 char *sys_name, char *event_name) 269{ 270 struct event_format *event; 271 regex_t ereg; 272 regex_t sreg; 273 int match = 0; 274 int fail = 0; 275 char *reg; 276 int ret; 277 int i; 278 279 if (!event_name) { 280 /* if no name is given, then swap sys and name */ 281 event_name = sys_name; 282 sys_name = NULL; 283 } 284 285 reg = malloc(strlen(event_name) + 3); 286 if (reg == NULL) 287 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 288 289 sprintf(reg, "^%s$", event_name); 290 291 ret = regcomp(&ereg, reg, REG_ICASE|REG_NOSUB); 292 free(reg); 293 294 if (ret) 295 return PEVENT_ERRNO__INVALID_EVENT_NAME; 296 297 if (sys_name) { 298 reg = malloc(strlen(sys_name) + 3); 299 if (reg == NULL) { 300 regfree(&ereg); 301 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 302 } 303 304 sprintf(reg, "^%s$", sys_name); 305 ret = regcomp(&sreg, reg, REG_ICASE|REG_NOSUB); 306 free(reg); 307 if (ret) { 308 regfree(&ereg); 309 return PEVENT_ERRNO__INVALID_EVENT_NAME; 310 } 311 } 312 313 for (i = 0; i < pevent->nr_events; i++) { 314 event = pevent->events[i]; 315 if (event_match(event, sys_name ? &sreg : NULL, &ereg)) { 316 match = 1; 317 if (add_event(events, event) < 0) { 318 fail = 1; 319 break; 320 } 321 } 322 } 323 324 regfree(&ereg); 325 if (sys_name) 326 regfree(&sreg); 327 328 if (!match) 329 return PEVENT_ERRNO__EVENT_NOT_FOUND; 330 if (fail) 331 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 332 333 return 0; 334} 335 336static void free_events(struct event_list *events) 337{ 338 struct event_list *event; 339 340 while (events) { 341 event = events; 342 events = events->next; 343 free(event); 344 } 345} 346 347static enum pevent_errno 348create_arg_item(struct event_format *event, const char *token, 349 enum event_type type, struct filter_arg **parg, char *error_str) 350{ 351 struct format_field *field; 352 struct filter_arg *arg; 353 354 arg = allocate_arg(); 355 if (arg == NULL) { 356 show_error(error_str, "failed to allocate filter arg"); 357 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 358 } 359 360 switch (type) { 361 362 case EVENT_SQUOTE: 363 case EVENT_DQUOTE: 364 arg->type = FILTER_ARG_VALUE; 365 arg->value.type = 366 type == EVENT_DQUOTE ? FILTER_STRING : FILTER_CHAR; 367 arg->value.str = strdup(token); 368 if (!arg->value.str) { 369 free_arg(arg); 370 show_error(error_str, "failed to allocate string filter arg"); 371 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 372 } 373 break; 374 case EVENT_ITEM: 375 /* if it is a number, then convert it */ 376 if (isdigit(token[0])) { 377 arg->type = FILTER_ARG_VALUE; 378 arg->value.type = FILTER_NUMBER; 379 arg->value.val = strtoull(token, NULL, 0); 380 break; 381 } 382 /* Consider this a field */ 383 field = pevent_find_any_field(event, token); 384 if (!field) { 385 if (strcmp(token, COMM) != 0) { 386 /* not a field, Make it false */ 387 arg->type = FILTER_ARG_BOOLEAN; 388 arg->boolean.value = FILTER_FALSE; 389 break; 390 } 391 /* If token is 'COMM' then it is special */ 392 field = &comm; 393 } 394 arg->type = FILTER_ARG_FIELD; 395 arg->field.field = field; 396 break; 397 default: 398 free_arg(arg); 399 show_error(error_str, "expected a value but found %s", token); 400 return PEVENT_ERRNO__UNEXPECTED_TYPE; 401 } 402 *parg = arg; 403 return 0; 404} 405 406static struct filter_arg * 407create_arg_op(enum filter_op_type btype) 408{ 409 struct filter_arg *arg; 410 411 arg = allocate_arg(); 412 if (!arg) 413 return NULL; 414 415 arg->type = FILTER_ARG_OP; 416 arg->op.type = btype; 417 418 return arg; 419} 420 421static struct filter_arg * 422create_arg_exp(enum filter_exp_type etype) 423{ 424 struct filter_arg *arg; 425 426 arg = allocate_arg(); 427 if (!arg) 428 return NULL; 429 430 arg->type = FILTER_ARG_EXP; 431 arg->op.type = etype; 432 433 return arg; 434} 435 436static struct filter_arg * 437create_arg_cmp(enum filter_exp_type etype) 438{ 439 struct filter_arg *arg; 440 441 arg = allocate_arg(); 442 if (!arg) 443 return NULL; 444 445 /* Use NUM and change if necessary */ 446 arg->type = FILTER_ARG_NUM; 447 arg->op.type = etype; 448 449 return arg; 450} 451 452static enum pevent_errno 453add_right(struct filter_arg *op, struct filter_arg *arg, char *error_str) 454{ 455 struct filter_arg *left; 456 char *str; 457 int op_type; 458 int ret; 459 460 switch (op->type) { 461 case FILTER_ARG_EXP: 462 if (op->exp.right) 463 goto out_fail; 464 op->exp.right = arg; 465 break; 466 467 case FILTER_ARG_OP: 468 if (op->op.right) 469 goto out_fail; 470 op->op.right = arg; 471 break; 472 473 case FILTER_ARG_NUM: 474 if (op->op.right) 475 goto out_fail; 476 /* 477 * The arg must be num, str, or field 478 */ 479 switch (arg->type) { 480 case FILTER_ARG_VALUE: 481 case FILTER_ARG_FIELD: 482 break; 483 default: 484 show_error(error_str, "Illegal rvalue"); 485 return PEVENT_ERRNO__ILLEGAL_RVALUE; 486 } 487 488 /* 489 * Depending on the type, we may need to 490 * convert this to a string or regex. 491 */ 492 switch (arg->value.type) { 493 case FILTER_CHAR: 494 /* 495 * A char should be converted to number if 496 * the string is 1 byte, and the compare 497 * is not a REGEX. 498 */ 499 if (strlen(arg->value.str) == 1 && 500 op->num.type != FILTER_CMP_REGEX && 501 op->num.type != FILTER_CMP_NOT_REGEX) { 502 arg->value.type = FILTER_NUMBER; 503 goto do_int; 504 } 505 /* fall through */ 506 case FILTER_STRING: 507 508 /* convert op to a string arg */ 509 op_type = op->num.type; 510 left = op->num.left; 511 str = arg->value.str; 512 513 /* reset the op for the new field */ 514 memset(op, 0, sizeof(*op)); 515 516 /* 517 * If left arg was a field not found then 518 * NULL the entire op. 519 */ 520 if (left->type == FILTER_ARG_BOOLEAN) { 521 free_arg(left); 522 free_arg(arg); 523 op->type = FILTER_ARG_BOOLEAN; 524 op->boolean.value = FILTER_FALSE; 525 break; 526 } 527 528 /* Left arg must be a field */ 529 if (left->type != FILTER_ARG_FIELD) { 530 show_error(error_str, 531 "Illegal lvalue for string comparison"); 532 return PEVENT_ERRNO__ILLEGAL_LVALUE; 533 } 534 535 /* Make sure this is a valid string compare */ 536 switch (op_type) { 537 case FILTER_CMP_EQ: 538 op_type = FILTER_CMP_MATCH; 539 break; 540 case FILTER_CMP_NE: 541 op_type = FILTER_CMP_NOT_MATCH; 542 break; 543 544 case FILTER_CMP_REGEX: 545 case FILTER_CMP_NOT_REGEX: 546 ret = regcomp(&op->str.reg, str, REG_ICASE|REG_NOSUB); 547 if (ret) { 548 show_error(error_str, 549 "RegEx '%s' did not compute", 550 str); 551 return PEVENT_ERRNO__INVALID_REGEX; 552 } 553 break; 554 default: 555 show_error(error_str, 556 "Illegal comparison for string"); 557 return PEVENT_ERRNO__ILLEGAL_STRING_CMP; 558 } 559 560 op->type = FILTER_ARG_STR; 561 op->str.type = op_type; 562 op->str.field = left->field.field; 563 op->str.val = strdup(str); 564 if (!op->str.val) { 565 show_error(error_str, "Failed to allocate string filter"); 566 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 567 } 568 /* 569 * Need a buffer to copy data for tests 570 */ 571 op->str.buffer = malloc(op->str.field->size + 1); 572 if (!op->str.buffer) { 573 show_error(error_str, "Failed to allocate string filter"); 574 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 575 } 576 /* Null terminate this buffer */ 577 op->str.buffer[op->str.field->size] = 0; 578 579 /* We no longer have left or right args */ 580 free_arg(arg); 581 free_arg(left); 582 583 break; 584 585 case FILTER_NUMBER: 586 587 do_int: 588 switch (op->num.type) { 589 case FILTER_CMP_REGEX: 590 case FILTER_CMP_NOT_REGEX: 591 show_error(error_str, 592 "Op not allowed with integers"); 593 return PEVENT_ERRNO__ILLEGAL_INTEGER_CMP; 594 595 default: 596 break; 597 } 598 599 /* numeric compare */ 600 op->num.right = arg; 601 break; 602 default: 603 goto out_fail; 604 } 605 break; 606 default: 607 goto out_fail; 608 } 609 610 return 0; 611 612 out_fail: 613 show_error(error_str, "Syntax error"); 614 return PEVENT_ERRNO__SYNTAX_ERROR; 615} 616 617static struct filter_arg * 618rotate_op_right(struct filter_arg *a, struct filter_arg *b) 619{ 620 struct filter_arg *arg; 621 622 arg = a->op.right; 623 a->op.right = b; 624 return arg; 625} 626 627static enum pevent_errno add_left(struct filter_arg *op, struct filter_arg *arg) 628{ 629 switch (op->type) { 630 case FILTER_ARG_EXP: 631 if (arg->type == FILTER_ARG_OP) 632 arg = rotate_op_right(arg, op); 633 op->exp.left = arg; 634 break; 635 636 case FILTER_ARG_OP: 637 op->op.left = arg; 638 break; 639 case FILTER_ARG_NUM: 640 if (arg->type == FILTER_ARG_OP) 641 arg = rotate_op_right(arg, op); 642 643 /* left arg of compares must be a field */ 644 if (arg->type != FILTER_ARG_FIELD && 645 arg->type != FILTER_ARG_BOOLEAN) 646 return PEVENT_ERRNO__INVALID_ARG_TYPE; 647 op->num.left = arg; 648 break; 649 default: 650 return PEVENT_ERRNO__INVALID_ARG_TYPE; 651 } 652 return 0; 653} 654 655enum op_type { 656 OP_NONE, 657 OP_BOOL, 658 OP_NOT, 659 OP_EXP, 660 OP_CMP, 661}; 662 663static enum op_type process_op(const char *token, 664 enum filter_op_type *btype, 665 enum filter_cmp_type *ctype, 666 enum filter_exp_type *etype) 667{ 668 *btype = FILTER_OP_NOT; 669 *etype = FILTER_EXP_NONE; 670 *ctype = FILTER_CMP_NONE; 671 672 if (strcmp(token, "&&") == 0) 673 *btype = FILTER_OP_AND; 674 else if (strcmp(token, "||") == 0) 675 *btype = FILTER_OP_OR; 676 else if (strcmp(token, "!") == 0) 677 return OP_NOT; 678 679 if (*btype != FILTER_OP_NOT) 680 return OP_BOOL; 681 682 /* Check for value expressions */ 683 if (strcmp(token, "+") == 0) { 684 *etype = FILTER_EXP_ADD; 685 } else if (strcmp(token, "-") == 0) { 686 *etype = FILTER_EXP_SUB; 687 } else if (strcmp(token, "*") == 0) { 688 *etype = FILTER_EXP_MUL; 689 } else if (strcmp(token, "/") == 0) { 690 *etype = FILTER_EXP_DIV; 691 } else if (strcmp(token, "%") == 0) { 692 *etype = FILTER_EXP_MOD; 693 } else if (strcmp(token, ">>") == 0) { 694 *etype = FILTER_EXP_RSHIFT; 695 } else if (strcmp(token, "<<") == 0) { 696 *etype = FILTER_EXP_LSHIFT; 697 } else if (strcmp(token, "&") == 0) { 698 *etype = FILTER_EXP_AND; 699 } else if (strcmp(token, "|") == 0) { 700 *etype = FILTER_EXP_OR; 701 } else if (strcmp(token, "^") == 0) { 702 *etype = FILTER_EXP_XOR; 703 } else if (strcmp(token, "~") == 0) 704 *etype = FILTER_EXP_NOT; 705 706 if (*etype != FILTER_EXP_NONE) 707 return OP_EXP; 708 709 /* Check for compares */ 710 if (strcmp(token, "==") == 0) 711 *ctype = FILTER_CMP_EQ; 712 else if (strcmp(token, "!=") == 0) 713 *ctype = FILTER_CMP_NE; 714 else if (strcmp(token, "<") == 0) 715 *ctype = FILTER_CMP_LT; 716 else if (strcmp(token, ">") == 0) 717 *ctype = FILTER_CMP_GT; 718 else if (strcmp(token, "<=") == 0) 719 *ctype = FILTER_CMP_LE; 720 else if (strcmp(token, ">=") == 0) 721 *ctype = FILTER_CMP_GE; 722 else if (strcmp(token, "=~") == 0) 723 *ctype = FILTER_CMP_REGEX; 724 else if (strcmp(token, "!~") == 0) 725 *ctype = FILTER_CMP_NOT_REGEX; 726 else 727 return OP_NONE; 728 729 return OP_CMP; 730} 731 732static int check_op_done(struct filter_arg *arg) 733{ 734 switch (arg->type) { 735 case FILTER_ARG_EXP: 736 return arg->exp.right != NULL; 737 738 case FILTER_ARG_OP: 739 return arg->op.right != NULL; 740 741 case FILTER_ARG_NUM: 742 return arg->num.right != NULL; 743 744 case FILTER_ARG_STR: 745 /* A string conversion is always done */ 746 return 1; 747 748 case FILTER_ARG_BOOLEAN: 749 /* field not found, is ok */ 750 return 1; 751 752 default: 753 return 0; 754 } 755} 756 757enum filter_vals { 758 FILTER_VAL_NORM, 759 FILTER_VAL_FALSE, 760 FILTER_VAL_TRUE, 761}; 762 763static enum pevent_errno 764reparent_op_arg(struct filter_arg *parent, struct filter_arg *old_child, 765 struct filter_arg *arg, char *error_str) 766{ 767 struct filter_arg *other_child; 768 struct filter_arg **ptr; 769 770 if (parent->type != FILTER_ARG_OP && 771 arg->type != FILTER_ARG_OP) { 772 show_error(error_str, "can not reparent other than OP"); 773 return PEVENT_ERRNO__REPARENT_NOT_OP; 774 } 775 776 /* Get the sibling */ 777 if (old_child->op.right == arg) { 778 ptr = &old_child->op.right; 779 other_child = old_child->op.left; 780 } else if (old_child->op.left == arg) { 781 ptr = &old_child->op.left; 782 other_child = old_child->op.right; 783 } else { 784 show_error(error_str, "Error in reparent op, find other child"); 785 return PEVENT_ERRNO__REPARENT_FAILED; 786 } 787 788 /* Detach arg from old_child */ 789 *ptr = NULL; 790 791 /* Check for root */ 792 if (parent == old_child) { 793 free_arg(other_child); 794 *parent = *arg; 795 /* Free arg without recussion */ 796 free(arg); 797 return 0; 798 } 799 800 if (parent->op.right == old_child) 801 ptr = &parent->op.right; 802 else if (parent->op.left == old_child) 803 ptr = &parent->op.left; 804 else { 805 show_error(error_str, "Error in reparent op"); 806 return PEVENT_ERRNO__REPARENT_FAILED; 807 } 808 809 *ptr = arg; 810 811 free_arg(old_child); 812 return 0; 813} 814 815/* Returns either filter_vals (success) or pevent_errno (failfure) */ 816static int test_arg(struct filter_arg *parent, struct filter_arg *arg, 817 char *error_str) 818{ 819 int lval, rval; 820 821 switch (arg->type) { 822 823 /* bad case */ 824 case FILTER_ARG_BOOLEAN: 825 return FILTER_VAL_FALSE + arg->boolean.value; 826 827 /* good cases: */ 828 case FILTER_ARG_STR: 829 case FILTER_ARG_VALUE: 830 case FILTER_ARG_FIELD: 831 return FILTER_VAL_NORM; 832 833 case FILTER_ARG_EXP: 834 lval = test_arg(arg, arg->exp.left, error_str); 835 if (lval != FILTER_VAL_NORM) 836 return lval; 837 rval = test_arg(arg, arg->exp.right, error_str); 838 if (rval != FILTER_VAL_NORM) 839 return rval; 840 return FILTER_VAL_NORM; 841 842 case FILTER_ARG_NUM: 843 lval = test_arg(arg, arg->num.left, error_str); 844 if (lval != FILTER_VAL_NORM) 845 return lval; 846 rval = test_arg(arg, arg->num.right, error_str); 847 if (rval != FILTER_VAL_NORM) 848 return rval; 849 return FILTER_VAL_NORM; 850 851 case FILTER_ARG_OP: 852 if (arg->op.type != FILTER_OP_NOT) { 853 lval = test_arg(arg, arg->op.left, error_str); 854 switch (lval) { 855 case FILTER_VAL_NORM: 856 break; 857 case FILTER_VAL_TRUE: 858 if (arg->op.type == FILTER_OP_OR) 859 return FILTER_VAL_TRUE; 860 rval = test_arg(arg, arg->op.right, error_str); 861 if (rval != FILTER_VAL_NORM) 862 return rval; 863 864 return reparent_op_arg(parent, arg, arg->op.right, 865 error_str); 866 867 case FILTER_VAL_FALSE: 868 if (arg->op.type == FILTER_OP_AND) 869 return FILTER_VAL_FALSE; 870 rval = test_arg(arg, arg->op.right, error_str); 871 if (rval != FILTER_VAL_NORM) 872 return rval; 873 874 return reparent_op_arg(parent, arg, arg->op.right, 875 error_str); 876 877 default: 878 return lval; 879 } 880 } 881 882 rval = test_arg(arg, arg->op.right, error_str); 883 switch (rval) { 884 case FILTER_VAL_NORM: 885 default: 886 break; 887 888 case FILTER_VAL_TRUE: 889 if (arg->op.type == FILTER_OP_OR) 890 return FILTER_VAL_TRUE; 891 if (arg->op.type == FILTER_OP_NOT) 892 return FILTER_VAL_FALSE; 893 894 return reparent_op_arg(parent, arg, arg->op.left, 895 error_str); 896 897 case FILTER_VAL_FALSE: 898 if (arg->op.type == FILTER_OP_AND) 899 return FILTER_VAL_FALSE; 900 if (arg->op.type == FILTER_OP_NOT) 901 return FILTER_VAL_TRUE; 902 903 return reparent_op_arg(parent, arg, arg->op.left, 904 error_str); 905 } 906 907 return rval; 908 default: 909 show_error(error_str, "bad arg in filter tree"); 910 return PEVENT_ERRNO__BAD_FILTER_ARG; 911 } 912 return FILTER_VAL_NORM; 913} 914 915/* Remove any unknown event fields */ 916static int collapse_tree(struct filter_arg *arg, 917 struct filter_arg **arg_collapsed, char *error_str) 918{ 919 int ret; 920 921 ret = test_arg(arg, arg, error_str); 922 switch (ret) { 923 case FILTER_VAL_NORM: 924 break; 925 926 case FILTER_VAL_TRUE: 927 case FILTER_VAL_FALSE: 928 free_arg(arg); 929 arg = allocate_arg(); 930 if (arg) { 931 arg->type = FILTER_ARG_BOOLEAN; 932 arg->boolean.value = ret == FILTER_VAL_TRUE; 933 } else { 934 show_error(error_str, "Failed to allocate filter arg"); 935 ret = PEVENT_ERRNO__MEM_ALLOC_FAILED; 936 } 937 break; 938 939 default: 940 /* test_arg() already set the error_str */ 941 free_arg(arg); 942 arg = NULL; 943 break; 944 } 945 946 *arg_collapsed = arg; 947 return ret; 948} 949 950static enum pevent_errno 951process_filter(struct event_format *event, struct filter_arg **parg, 952 char *error_str, int not) 953{ 954 enum event_type type; 955 char *token = NULL; 956 struct filter_arg *current_op = NULL; 957 struct filter_arg *current_exp = NULL; 958 struct filter_arg *left_item = NULL; 959 struct filter_arg *arg = NULL; 960 enum op_type op_type; 961 enum filter_op_type btype; 962 enum filter_exp_type etype; 963 enum filter_cmp_type ctype; 964 enum pevent_errno ret; 965 966 *parg = NULL; 967 968 do { 969 free(token); 970 type = read_token(&token); 971 switch (type) { 972 case EVENT_SQUOTE: 973 case EVENT_DQUOTE: 974 case EVENT_ITEM: 975 ret = create_arg_item(event, token, type, &arg, error_str); 976 if (ret < 0) 977 goto fail; 978 if (!left_item) 979 left_item = arg; 980 else if (current_exp) { 981 ret = add_right(current_exp, arg, error_str); 982 if (ret < 0) 983 goto fail; 984 left_item = NULL; 985 /* Not's only one one expression */ 986 if (not) { 987 arg = NULL; 988 if (current_op) 989 goto fail_syntax; 990 free(token); 991 *parg = current_exp; 992 return 0; 993 } 994 } else 995 goto fail_syntax; 996 arg = NULL; 997 break; 998 999 case EVENT_DELIM: 1000 if (*token == ',') { 1001 show_error(error_str, "Illegal token ','"); 1002 ret = PEVENT_ERRNO__ILLEGAL_TOKEN; 1003 goto fail; 1004 } 1005 1006 if (*token == '(') { 1007 if (left_item) { 1008 show_error(error_str, 1009 "Open paren can not come after item"); 1010 ret = PEVENT_ERRNO__INVALID_PAREN; 1011 goto fail; 1012 } 1013 if (current_exp) { 1014 show_error(error_str, 1015 "Open paren can not come after expression"); 1016 ret = PEVENT_ERRNO__INVALID_PAREN; 1017 goto fail; 1018 } 1019 1020 ret = process_filter(event, &arg, error_str, 0); 1021 if (ret != PEVENT_ERRNO__UNBALANCED_PAREN) { 1022 if (ret == 0) { 1023 show_error(error_str, 1024 "Unbalanced number of '('"); 1025 ret = PEVENT_ERRNO__UNBALANCED_PAREN; 1026 } 1027 goto fail; 1028 } 1029 ret = 0; 1030 1031 /* A not wants just one expression */ 1032 if (not) { 1033 if (current_op) 1034 goto fail_syntax; 1035 *parg = arg; 1036 return 0; 1037 } 1038 1039 if (current_op) 1040 ret = add_right(current_op, arg, error_str); 1041 else 1042 current_exp = arg; 1043 1044 if (ret < 0) 1045 goto fail; 1046 1047 } else { /* ')' */ 1048 if (!current_op && !current_exp) 1049 goto fail_syntax; 1050 1051 /* Make sure everything is finished at this level */ 1052 if (current_exp && !check_op_done(current_exp)) 1053 goto fail_syntax; 1054 if (current_op && !check_op_done(current_op)) 1055 goto fail_syntax; 1056 1057 if (current_op) 1058 *parg = current_op; 1059 else 1060 *parg = current_exp; 1061 return PEVENT_ERRNO__UNBALANCED_PAREN; 1062 } 1063 break; 1064 1065 case EVENT_OP: 1066 op_type = process_op(token, &btype, &ctype, &etype); 1067 1068 /* All expect a left arg except for NOT */ 1069 switch (op_type) { 1070 case OP_BOOL: 1071 /* Logic ops need a left expression */ 1072 if (!current_exp && !current_op) 1073 goto fail_syntax; 1074 /* fall through */ 1075 case OP_NOT: 1076 /* logic only processes ops and exp */ 1077 if (left_item) 1078 goto fail_syntax; 1079 break; 1080 case OP_EXP: 1081 case OP_CMP: 1082 if (!left_item) 1083 goto fail_syntax; 1084 break; 1085 case OP_NONE: 1086 show_error(error_str, 1087 "Unknown op token %s", token); 1088 ret = PEVENT_ERRNO__UNKNOWN_TOKEN; 1089 goto fail; 1090 } 1091 1092 ret = 0; 1093 switch (op_type) { 1094 case OP_BOOL: 1095 arg = create_arg_op(btype); 1096 if (arg == NULL) 1097 goto fail_alloc; 1098 if (current_op) 1099 ret = add_left(arg, current_op); 1100 else 1101 ret = add_left(arg, current_exp); 1102 current_op = arg; 1103 current_exp = NULL; 1104 break; 1105 1106 case OP_NOT: 1107 arg = create_arg_op(btype); 1108 if (arg == NULL) 1109 goto fail_alloc; 1110 if (current_op) 1111 ret = add_right(current_op, arg, error_str); 1112 if (ret < 0) 1113 goto fail; 1114 current_exp = arg; 1115 ret = process_filter(event, &arg, error_str, 1); 1116 if (ret < 0) 1117 goto fail; 1118 ret = add_right(current_exp, arg, error_str); 1119 if (ret < 0) 1120 goto fail; 1121 break; 1122 1123 case OP_EXP: 1124 case OP_CMP: 1125 if (op_type == OP_EXP) 1126 arg = create_arg_exp(etype); 1127 else 1128 arg = create_arg_cmp(ctype); 1129 if (arg == NULL) 1130 goto fail_alloc; 1131 1132 if (current_op) 1133 ret = add_right(current_op, arg, error_str); 1134 if (ret < 0) 1135 goto fail; 1136 ret = add_left(arg, left_item); 1137 if (ret < 0) { 1138 arg = NULL; 1139 goto fail_syntax; 1140 } 1141 current_exp = arg; 1142 break; 1143 default: 1144 break; 1145 } 1146 arg = NULL; 1147 if (ret < 0) 1148 goto fail_syntax; 1149 break; 1150 case EVENT_NONE: 1151 break; 1152 case EVENT_ERROR: 1153 goto fail_alloc; 1154 default: 1155 goto fail_syntax; 1156 } 1157 } while (type != EVENT_NONE); 1158 1159 if (!current_op && !current_exp) 1160 goto fail_syntax; 1161 1162 if (!current_op) 1163 current_op = current_exp; 1164 1165 ret = collapse_tree(current_op, parg, error_str); 1166 if (ret < 0) 1167 goto fail; 1168 1169 *parg = current_op; 1170 1171 return 0; 1172 1173 fail_alloc: 1174 show_error(error_str, "failed to allocate filter arg"); 1175 ret = PEVENT_ERRNO__MEM_ALLOC_FAILED; 1176 goto fail; 1177 fail_syntax: 1178 show_error(error_str, "Syntax error"); 1179 ret = PEVENT_ERRNO__SYNTAX_ERROR; 1180 fail: 1181 free_arg(current_op); 1182 free_arg(current_exp); 1183 free_arg(arg); 1184 free(token); 1185 return ret; 1186} 1187 1188static enum pevent_errno 1189process_event(struct event_format *event, const char *filter_str, 1190 struct filter_arg **parg, char *error_str) 1191{ 1192 int ret; 1193 1194 pevent_buffer_init(filter_str, strlen(filter_str)); 1195 1196 ret = process_filter(event, parg, error_str, 0); 1197 if (ret < 0) 1198 return ret; 1199 1200 /* If parg is NULL, then make it into FALSE */ 1201 if (!*parg) { 1202 *parg = allocate_arg(); 1203 if (*parg == NULL) 1204 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 1205 1206 (*parg)->type = FILTER_ARG_BOOLEAN; 1207 (*parg)->boolean.value = FILTER_FALSE; 1208 } 1209 1210 return 0; 1211} 1212 1213static enum pevent_errno 1214filter_event(struct event_filter *filter, struct event_format *event, 1215 const char *filter_str, char *error_str) 1216{ 1217 struct filter_type *filter_type; 1218 struct filter_arg *arg; 1219 enum pevent_errno ret; 1220 1221 if (filter_str) { 1222 ret = process_event(event, filter_str, &arg, error_str); 1223 if (ret < 0) 1224 return ret; 1225 1226 } else { 1227 /* just add a TRUE arg */ 1228 arg = allocate_arg(); 1229 if (arg == NULL) 1230 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 1231 1232 arg->type = FILTER_ARG_BOOLEAN; 1233 arg->boolean.value = FILTER_TRUE; 1234 } 1235 1236 filter_type = add_filter_type(filter, event->id); 1237 if (filter_type == NULL) 1238 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 1239 1240 if (filter_type->filter) 1241 free_arg(filter_type->filter); 1242 filter_type->filter = arg; 1243 1244 return 0; 1245} 1246 1247static void filter_init_error_buf(struct event_filter *filter) 1248{ 1249 /* clear buffer to reset show error */ 1250 pevent_buffer_init("", 0); 1251 filter->error_buffer[0] = '\0'; 1252} 1253 1254/** 1255 * pevent_filter_add_filter_str - add a new filter 1256 * @filter: the event filter to add to 1257 * @filter_str: the filter string that contains the filter 1258 * 1259 * Returns 0 if the filter was successfully added or a 1260 * negative error code. Use pevent_filter_strerror() to see 1261 * actual error message in case of error. 1262 */ 1263enum pevent_errno pevent_filter_add_filter_str(struct event_filter *filter, 1264 const char *filter_str) 1265{ 1266 struct pevent *pevent = filter->pevent; 1267 struct event_list *event; 1268 struct event_list *events = NULL; 1269 const char *filter_start; 1270 const char *next_event; 1271 char *this_event; 1272 char *event_name = NULL; 1273 char *sys_name = NULL; 1274 char *sp; 1275 enum pevent_errno rtn = 0; /* PEVENT_ERRNO__SUCCESS */ 1276 int len; 1277 int ret; 1278 1279 filter_init_error_buf(filter); 1280 1281 filter_start = strchr(filter_str, ':'); 1282 if (filter_start) 1283 len = filter_start - filter_str; 1284 else 1285 len = strlen(filter_str); 1286 1287 do { 1288 next_event = strchr(filter_str, ','); 1289 if (next_event && 1290 (!filter_start || next_event < filter_start)) 1291 len = next_event - filter_str; 1292 else if (filter_start) 1293 len = filter_start - filter_str; 1294 else 1295 len = strlen(filter_str); 1296 1297 this_event = malloc(len + 1); 1298 if (this_event == NULL) { 1299 /* This can only happen when events is NULL, but still */ 1300 free_events(events); 1301 return PEVENT_ERRNO__MEM_ALLOC_FAILED; 1302 } 1303 memcpy(this_event, filter_str, len); 1304 this_event[len] = 0; 1305 1306 if (next_event) 1307 next_event++; 1308 1309 filter_str = next_event; 1310 1311 sys_name = strtok_r(this_event, "/", &sp); 1312 event_name = strtok_r(NULL, "/", &sp); 1313 1314 if (!sys_name) { 1315 /* This can only happen when events is NULL, but still */ 1316 free_events(events); 1317 free(this_event); 1318 return PEVENT_ERRNO__FILTER_NOT_FOUND; 1319 } 1320 1321 /* Find this event */ 1322 ret = find_event(pevent, &events, strim(sys_name), strim(event_name)); 1323 if (ret < 0) { 1324 free_events(events); 1325 free(this_event); 1326 return ret; 1327 } 1328 free(this_event); 1329 } while (filter_str); 1330 1331 /* Skip the ':' */ 1332 if (filter_start) 1333 filter_start++; 1334 1335 /* filter starts here */ 1336 for (event = events; event; event = event->next) { 1337 ret = filter_event(filter, event->event, filter_start, 1338 filter->error_buffer); 1339 /* Failures are returned if a parse error happened */ 1340 if (ret < 0) 1341 rtn = ret; 1342 1343 if (ret >= 0 && pevent->test_filters) { 1344 char *test; 1345 test = pevent_filter_make_string(filter, event->event->id); 1346 if (test) { 1347 printf(" '%s: %s'\n", event->event->name, test); 1348 free(test); 1349 } 1350 } 1351 } 1352 1353 free_events(events); 1354 1355 if (rtn >= 0 && pevent->test_filters) 1356 exit(0); 1357 1358 return rtn; 1359} 1360 1361static void free_filter_type(struct filter_type *filter_type) 1362{ 1363 free_arg(filter_type->filter); 1364} 1365 1366/** 1367 * pevent_filter_strerror - fill error message in a buffer 1368 * @filter: the event filter contains error 1369 * @err: the error code 1370 * @buf: the buffer to be filled in 1371 * @buflen: the size of the buffer 1372 * 1373 * Returns 0 if message was filled successfully, -1 if error 1374 */ 1375int pevent_filter_strerror(struct event_filter *filter, enum pevent_errno err, 1376 char *buf, size_t buflen) 1377{ 1378 if (err <= __PEVENT_ERRNO__START || err >= __PEVENT_ERRNO__END) 1379 return -1; 1380 1381 if (strlen(filter->error_buffer) > 0) { 1382 size_t len = snprintf(buf, buflen, "%s", filter->error_buffer); 1383 1384 if (len > buflen) 1385 return -1; 1386 return 0; 1387 } 1388 1389 return pevent_strerror(filter->pevent, err, buf, buflen); 1390} 1391 1392/** 1393 * pevent_filter_remove_event - remove a filter for an event 1394 * @filter: the event filter to remove from 1395 * @event_id: the event to remove a filter for 1396 * 1397 * Removes the filter saved for an event defined by @event_id 1398 * from the @filter. 1399 * 1400 * Returns 1: if an event was removed 1401 * 0: if the event was not found 1402 */ 1403int pevent_filter_remove_event(struct event_filter *filter, 1404 int event_id) 1405{ 1406 struct filter_type *filter_type; 1407 unsigned long len; 1408 1409 if (!filter->filters) 1410 return 0; 1411 1412 filter_type = find_filter_type(filter, event_id); 1413 1414 if (!filter_type) 1415 return 0; 1416 1417 free_filter_type(filter_type); 1418 1419 /* The filter_type points into the event_filters array */ 1420 len = (unsigned long)(filter->event_filters + filter->filters) - 1421 (unsigned long)(filter_type + 1); 1422 1423 memmove(filter_type, filter_type + 1, len); 1424 filter->filters--; 1425 1426 memset(&filter->event_filters[filter->filters], 0, 1427 sizeof(*filter_type)); 1428 1429 return 1; 1430} 1431 1432/** 1433 * pevent_filter_reset - clear all filters in a filter 1434 * @filter: the event filter to reset 1435 * 1436 * Removes all filters from a filter and resets it. 1437 */ 1438void pevent_filter_reset(struct event_filter *filter) 1439{ 1440 int i; 1441 1442 for (i = 0; i < filter->filters; i++) 1443 free_filter_type(&filter->event_filters[i]); 1444 1445 free(filter->event_filters); 1446 filter->filters = 0; 1447 filter->event_filters = NULL; 1448} 1449 1450void pevent_filter_free(struct event_filter *filter) 1451{ 1452 pevent_unref(filter->pevent); 1453 1454 pevent_filter_reset(filter); 1455 1456 free(filter); 1457} 1458 1459static char *arg_to_str(struct event_filter *filter, struct filter_arg *arg); 1460 1461static int copy_filter_type(struct event_filter *filter, 1462 struct event_filter *source, 1463 struct filter_type *filter_type) 1464{ 1465 struct filter_arg *arg; 1466 struct event_format *event; 1467 const char *sys; 1468 const char *name; 1469 char *str; 1470 1471 /* Can't assume that the pevent's are the same */ 1472 sys = filter_type->event->system; 1473 name = filter_type->event->name; 1474 event = pevent_find_event_by_name(filter->pevent, sys, name); 1475 if (!event) 1476 return -1; 1477 1478 str = arg_to_str(source, filter_type->filter); 1479 if (!str) 1480 return -1; 1481 1482 if (strcmp(str, "TRUE") == 0 || strcmp(str, "FALSE") == 0) { 1483 /* Add trivial event */ 1484 arg = allocate_arg(); 1485 if (arg == NULL) 1486 return -1; 1487 1488 arg->type = FILTER_ARG_BOOLEAN; 1489 if (strcmp(str, "TRUE") == 0) 1490 arg->boolean.value = 1; 1491 else 1492 arg->boolean.value = 0; 1493 1494 filter_type = add_filter_type(filter, event->id); 1495 if (filter_type == NULL) 1496 return -1; 1497 1498 filter_type->filter = arg; 1499 1500 free(str); 1501 return 0; 1502 } 1503 1504 filter_event(filter, event, str, NULL); 1505 free(str); 1506 1507 return 0; 1508} 1509 1510/** 1511 * pevent_filter_copy - copy a filter using another filter 1512 * @dest - the filter to copy to 1513 * @source - the filter to copy from 1514 * 1515 * Returns 0 on success and -1 if not all filters were copied 1516 */ 1517int pevent_filter_copy(struct event_filter *dest, struct event_filter *source) 1518{ 1519 int ret = 0; 1520 int i; 1521 1522 pevent_filter_reset(dest); 1523 1524 for (i = 0; i < source->filters; i++) { 1525 if (copy_filter_type(dest, source, &source->event_filters[i])) 1526 ret = -1; 1527 } 1528 return ret; 1529} 1530 1531 1532/** 1533 * pevent_update_trivial - update the trivial filters with the given filter 1534 * @dest - the filter to update 1535 * @source - the filter as the source of the update 1536 * @type - the type of trivial filter to update. 1537 * 1538 * Scan dest for trivial events matching @type to replace with the source. 1539 * 1540 * Returns 0 on success and -1 if there was a problem updating, but 1541 * events may have still been updated on error. 1542 */ 1543int pevent_update_trivial(struct event_filter *dest, struct event_filter *source, 1544 enum filter_trivial_type type) 1545{ 1546 struct pevent *src_pevent; 1547 struct pevent *dest_pevent; 1548 struct event_format *event; 1549 struct filter_type *filter_type; 1550 struct filter_arg *arg; 1551 char *str; 1552 int i; 1553 1554 src_pevent = source->pevent; 1555 dest_pevent = dest->pevent; 1556 1557 /* Do nothing if either of the filters has nothing to filter */ 1558 if (!dest->filters || !source->filters) 1559 return 0; 1560 1561 for (i = 0; i < dest->filters; i++) { 1562 filter_type = &dest->event_filters[i]; 1563 arg = filter_type->filter; 1564 if (arg->type != FILTER_ARG_BOOLEAN) 1565 continue; 1566 if ((arg->boolean.value && type == FILTER_TRIVIAL_FALSE) || 1567 (!arg->boolean.value && type == FILTER_TRIVIAL_TRUE)) 1568 continue; 1569 1570 event = filter_type->event; 1571 1572 if (src_pevent != dest_pevent) { 1573 /* do a look up */ 1574 event = pevent_find_event_by_name(src_pevent, 1575 event->system, 1576 event->name); 1577 if (!event) 1578 return -1; 1579 } 1580 1581 str = pevent_filter_make_string(source, event->id); 1582 if (!str) 1583 continue; 1584 1585 /* Don't bother if the filter is trivial too */ 1586 if (strcmp(str, "TRUE") != 0 && strcmp(str, "FALSE") != 0) 1587 filter_event(dest, event, str, NULL); 1588 free(str); 1589 } 1590 return 0; 1591} 1592 1593/** 1594 * pevent_filter_clear_trivial - clear TRUE and FALSE filters 1595 * @filter: the filter to remove trivial filters from 1596 * @type: remove only true, false, or both 1597 * 1598 * Removes filters that only contain a TRUE or FALES boolean arg. 1599 * 1600 * Returns 0 on success and -1 if there was a problem. 1601 */ 1602int pevent_filter_clear_trivial(struct event_filter *filter, 1603 enum filter_trivial_type type) 1604{ 1605 struct filter_type *filter_type; 1606 int count = 0; 1607 int *ids = NULL; 1608 int i; 1609 1610 if (!filter->filters) 1611 return 0; 1612 1613 /* 1614 * Two steps, first get all ids with trivial filters. 1615 * then remove those ids. 1616 */ 1617 for (i = 0; i < filter->filters; i++) { 1618 int *new_ids; 1619 1620 filter_type = &filter->event_filters[i]; 1621 if (filter_type->filter->type != FILTER_ARG_BOOLEAN) 1622 continue; 1623 switch (type) { 1624 case FILTER_TRIVIAL_FALSE: 1625 if (filter_type->filter->boolean.value) 1626 continue; 1627 case FILTER_TRIVIAL_TRUE: 1628 if (!filter_type->filter->boolean.value) 1629 continue; 1630 default: 1631 break; 1632 } 1633 1634 new_ids = realloc(ids, sizeof(*ids) * (count + 1)); 1635 if (!new_ids) { 1636 free(ids); 1637 return -1; 1638 } 1639 1640 ids = new_ids; 1641 ids[count++] = filter_type->event_id; 1642 } 1643 1644 if (!count) 1645 return 0; 1646 1647 for (i = 0; i < count; i++) 1648 pevent_filter_remove_event(filter, ids[i]); 1649 1650 free(ids); 1651 return 0; 1652} 1653 1654/** 1655 * pevent_filter_event_has_trivial - return true event contains trivial filter 1656 * @filter: the filter with the information 1657 * @event_id: the id of the event to test 1658 * @type: trivial type to test for (TRUE, FALSE, EITHER) 1659 * 1660 * Returns 1 if the event contains a matching trivial type 1661 * otherwise 0. 1662 */ 1663int pevent_filter_event_has_trivial(struct event_filter *filter, 1664 int event_id, 1665 enum filter_trivial_type type) 1666{ 1667 struct filter_type *filter_type; 1668 1669 if (!filter->filters) 1670 return 0; 1671 1672 filter_type = find_filter_type(filter, event_id); 1673 1674 if (!filter_type) 1675 return 0; 1676 1677 if (filter_type->filter->type != FILTER_ARG_BOOLEAN) 1678 return 0; 1679 1680 switch (type) { 1681 case FILTER_TRIVIAL_FALSE: 1682 return !filter_type->filter->boolean.value; 1683 1684 case FILTER_TRIVIAL_TRUE: 1685 return filter_type->filter->boolean.value; 1686 default: 1687 return 1; 1688 } 1689} 1690 1691static int test_filter(struct event_format *event, struct filter_arg *arg, 1692 struct pevent_record *record, enum pevent_errno *err); 1693 1694static const char * 1695get_comm(struct event_format *event, struct pevent_record *record) 1696{ 1697 const char *comm; 1698 int pid; 1699 1700 pid = pevent_data_pid(event->pevent, record); 1701 comm = pevent_data_comm_from_pid(event->pevent, pid); 1702 return comm; 1703} 1704 1705static unsigned long long 1706get_value(struct event_format *event, 1707 struct format_field *field, struct pevent_record *record) 1708{ 1709 unsigned long long val; 1710 1711 /* Handle our dummy "comm" field */ 1712 if (field == &comm) { 1713 const char *name; 1714 1715 name = get_comm(event, record); 1716 return (unsigned long)name; 1717 } 1718 1719 pevent_read_number_field(field, record->data, &val); 1720 1721 if (!(field->flags & FIELD_IS_SIGNED)) 1722 return val; 1723 1724 switch (field->size) { 1725 case 1: 1726 return (char)val; 1727 case 2: 1728 return (short)val; 1729 case 4: 1730 return (int)val; 1731 case 8: 1732 return (long long)val; 1733 } 1734 return val; 1735} 1736 1737static unsigned long long 1738get_arg_value(struct event_format *event, struct filter_arg *arg, 1739 struct pevent_record *record, enum pevent_errno *err); 1740 1741static unsigned long long 1742get_exp_value(struct event_format *event, struct filter_arg *arg, 1743 struct pevent_record *record, enum pevent_errno *err) 1744{ 1745 unsigned long long lval, rval; 1746 1747 lval = get_arg_value(event, arg->exp.left, record, err); 1748 rval = get_arg_value(event, arg->exp.right, record, err); 1749 1750 if (*err) { 1751 /* 1752 * There was an error, no need to process anymore. 1753 */ 1754 return 0; 1755 } 1756 1757 switch (arg->exp.type) { 1758 case FILTER_EXP_ADD: 1759 return lval + rval; 1760 1761 case FILTER_EXP_SUB: 1762 return lval - rval; 1763 1764 case FILTER_EXP_MUL: 1765 return lval * rval; 1766 1767 case FILTER_EXP_DIV: 1768 return lval / rval; 1769 1770 case FILTER_EXP_MOD: 1771 return lval % rval; 1772 1773 case FILTER_EXP_RSHIFT: 1774 return lval >> rval; 1775 1776 case FILTER_EXP_LSHIFT: 1777 return lval << rval; 1778 1779 case FILTER_EXP_AND: 1780 return lval & rval; 1781 1782 case FILTER_EXP_OR: 1783 return lval | rval; 1784 1785 case FILTER_EXP_XOR: 1786 return lval ^ rval; 1787 1788 case FILTER_EXP_NOT: 1789 default: 1790 if (!*err) 1791 *err = PEVENT_ERRNO__INVALID_EXP_TYPE; 1792 } 1793 return 0; 1794} 1795 1796static unsigned long long 1797get_arg_value(struct event_format *event, struct filter_arg *arg, 1798 struct pevent_record *record, enum pevent_errno *err) 1799{ 1800 switch (arg->type) { 1801 case FILTER_ARG_FIELD: 1802 return get_value(event, arg->field.field, record); 1803 1804 case FILTER_ARG_VALUE: 1805 if (arg->value.type != FILTER_NUMBER) { 1806 if (!*err) 1807 *err = PEVENT_ERRNO__NOT_A_NUMBER; 1808 } 1809 return arg->value.val; 1810 1811 case FILTER_ARG_EXP: 1812 return get_exp_value(event, arg, record, err); 1813 1814 default: 1815 if (!*err) 1816 *err = PEVENT_ERRNO__INVALID_ARG_TYPE; 1817 } 1818 return 0; 1819} 1820 1821static int test_num(struct event_format *event, struct filter_arg *arg, 1822 struct pevent_record *record, enum pevent_errno *err) 1823{ 1824 unsigned long long lval, rval; 1825 1826 lval = get_arg_value(event, arg->num.left, record, err); 1827 rval = get_arg_value(event, arg->num.right, record, err); 1828 1829 if (*err) { 1830 /* 1831 * There was an error, no need to process anymore. 1832 */ 1833 return 0; 1834 } 1835 1836 switch (arg->num.type) { 1837 case FILTER_CMP_EQ: 1838 return lval == rval; 1839 1840 case FILTER_CMP_NE: 1841 return lval != rval; 1842 1843 case FILTER_CMP_GT: 1844 return lval > rval; 1845 1846 case FILTER_CMP_LT: 1847 return lval < rval; 1848 1849 case FILTER_CMP_GE: 1850 return lval >= rval; 1851 1852 case FILTER_CMP_LE: 1853 return lval <= rval; 1854 1855 default: 1856 if (!*err) 1857 *err = PEVENT_ERRNO__ILLEGAL_INTEGER_CMP; 1858 return 0; 1859 } 1860} 1861 1862static const char *get_field_str(struct filter_arg *arg, struct pevent_record *record) 1863{ 1864 struct event_format *event; 1865 struct pevent *pevent; 1866 unsigned long long addr; 1867 const char *val = NULL; 1868 char hex[64]; 1869 1870 /* If the field is not a string convert it */ 1871 if (arg->str.field->flags & FIELD_IS_STRING) { 1872 val = record->data + arg->str.field->offset; 1873 1874 /* 1875 * We need to copy the data since we can't be sure the field 1876 * is null terminated. 1877 */ 1878 if (*(val + arg->str.field->size - 1)) { 1879 /* copy it */ 1880 memcpy(arg->str.buffer, val, arg->str.field->size); 1881 /* the buffer is already NULL terminated */ 1882 val = arg->str.buffer; 1883 } 1884 1885 } else { 1886 event = arg->str.field->event; 1887 pevent = event->pevent; 1888 addr = get_value(event, arg->str.field, record); 1889 1890 if (arg->str.field->flags & (FIELD_IS_POINTER | FIELD_IS_LONG)) 1891 /* convert to a kernel symbol */ 1892 val = pevent_find_function(pevent, addr); 1893 1894 if (val == NULL) { 1895 /* just use the hex of the string name */ 1896 snprintf(hex, 64, "0x%llx", addr); 1897 val = hex; 1898 } 1899 } 1900 1901 return val; 1902} 1903 1904static int test_str(struct event_format *event, struct filter_arg *arg, 1905 struct pevent_record *record, enum pevent_errno *err) 1906{ 1907 const char *val; 1908 1909 if (arg->str.field == &comm) 1910 val = get_comm(event, record); 1911 else 1912 val = get_field_str(arg, record); 1913 1914 switch (arg->str.type) { 1915 case FILTER_CMP_MATCH: 1916 return strcmp(val, arg->str.val) == 0; 1917 1918 case FILTER_CMP_NOT_MATCH: 1919 return strcmp(val, arg->str.val) != 0; 1920 1921 case FILTER_CMP_REGEX: 1922 /* Returns zero on match */ 1923 return !regexec(&arg->str.reg, val, 0, NULL, 0); 1924 1925 case FILTER_CMP_NOT_REGEX: 1926 return regexec(&arg->str.reg, val, 0, NULL, 0); 1927 1928 default: 1929 if (!*err) 1930 *err = PEVENT_ERRNO__ILLEGAL_STRING_CMP; 1931 return 0; 1932 } 1933} 1934 1935static int test_op(struct event_format *event, struct filter_arg *arg, 1936 struct pevent_record *record, enum pevent_errno *err) 1937{ 1938 switch (arg->op.type) { 1939 case FILTER_OP_AND: 1940 return test_filter(event, arg->op.left, record, err) && 1941 test_filter(event, arg->op.right, record, err); 1942 1943 case FILTER_OP_OR: 1944 return test_filter(event, arg->op.left, record, err) || 1945 test_filter(event, arg->op.right, record, err); 1946 1947 case FILTER_OP_NOT: 1948 return !test_filter(event, arg->op.right, record, err); 1949 1950 default: 1951 if (!*err) 1952 *err = PEVENT_ERRNO__INVALID_OP_TYPE; 1953 return 0; 1954 } 1955} 1956 1957static int test_filter(struct event_format *event, struct filter_arg *arg, 1958 struct pevent_record *record, enum pevent_errno *err) 1959{ 1960 if (*err) { 1961 /* 1962 * There was an error, no need to process anymore. 1963 */ 1964 return 0; 1965 } 1966 1967 switch (arg->type) { 1968 case FILTER_ARG_BOOLEAN: 1969 /* easy case */ 1970 return arg->boolean.value; 1971 1972 case FILTER_ARG_OP: 1973 return test_op(event, arg, record, err); 1974 1975 case FILTER_ARG_NUM: 1976 return test_num(event, arg, record, err); 1977 1978 case FILTER_ARG_STR: 1979 return test_str(event, arg, record, err); 1980 1981 case FILTER_ARG_EXP: 1982 case FILTER_ARG_VALUE: 1983 case FILTER_ARG_FIELD: 1984 /* 1985 * Expressions, fields and values evaluate 1986 * to true if they return non zero 1987 */ 1988 return !!get_arg_value(event, arg, record, err); 1989 1990 default: 1991 if (!*err) 1992 *err = PEVENT_ERRNO__INVALID_ARG_TYPE; 1993 return 0; 1994 } 1995} 1996 1997/** 1998 * pevent_event_filtered - return true if event has filter 1999 * @filter: filter struct with filter information 2000 * @event_id: event id to test if filter exists 2001 * 2002 * Returns 1 if filter found for @event_id 2003 * otherwise 0; 2004 */ 2005int pevent_event_filtered(struct event_filter *filter, int event_id) 2006{ 2007 struct filter_type *filter_type; 2008 2009 if (!filter->filters) 2010 return 0; 2011 2012 filter_type = find_filter_type(filter, event_id); 2013 2014 return filter_type ? 1 : 0; 2015} 2016 2017/** 2018 * pevent_filter_match - test if a record matches a filter 2019 * @filter: filter struct with filter information 2020 * @record: the record to test against the filter 2021 * 2022 * Returns: match result or error code (prefixed with PEVENT_ERRNO__) 2023 * FILTER_MATCH - filter found for event and @record matches 2024 * FILTER_MISS - filter found for event and @record does not match 2025 * FILTER_NOT_FOUND - no filter found for @record's event 2026 * NO_FILTER - if no filters exist 2027 * otherwise - error occurred during test 2028 */ 2029enum pevent_errno pevent_filter_match(struct event_filter *filter, 2030 struct pevent_record *record) 2031{ 2032 struct pevent *pevent = filter->pevent; 2033 struct filter_type *filter_type; 2034 int event_id; 2035 int ret; 2036 enum pevent_errno err = 0; 2037 2038 filter_init_error_buf(filter); 2039 2040 if (!filter->filters) 2041 return PEVENT_ERRNO__NO_FILTER; 2042 2043 event_id = pevent_data_type(pevent, record); 2044 2045 filter_type = find_filter_type(filter, event_id); 2046 if (!filter_type) 2047 return PEVENT_ERRNO__FILTER_NOT_FOUND; 2048 2049 ret = test_filter(filter_type->event, filter_type->filter, record, &err); 2050 if (err) 2051 return err; 2052 2053 return ret ? PEVENT_ERRNO__FILTER_MATCH : PEVENT_ERRNO__FILTER_MISS; 2054} 2055 2056static char *op_to_str(struct event_filter *filter, struct filter_arg *arg) 2057{ 2058 char *str = NULL; 2059 char *left = NULL; 2060 char *right = NULL; 2061 char *op = NULL; 2062 int left_val = -1; 2063 int right_val = -1; 2064 int val; 2065 2066 switch (arg->op.type) { 2067 case FILTER_OP_AND: 2068 op = "&&"; 2069 /* fall through */ 2070 case FILTER_OP_OR: 2071 if (!op) 2072 op = "||"; 2073 2074 left = arg_to_str(filter, arg->op.left); 2075 right = arg_to_str(filter, arg->op.right); 2076 if (!left || !right) 2077 break; 2078 2079 /* Try to consolidate boolean values */ 2080 if (strcmp(left, "TRUE") == 0) 2081 left_val = 1; 2082 else if (strcmp(left, "FALSE") == 0) 2083 left_val = 0; 2084 2085 if (strcmp(right, "TRUE") == 0) 2086 right_val = 1; 2087 else if (strcmp(right, "FALSE") == 0) 2088 right_val = 0; 2089 2090 if (left_val >= 0) { 2091 if ((arg->op.type == FILTER_OP_AND && !left_val) || 2092 (arg->op.type == FILTER_OP_OR && left_val)) { 2093 /* Just return left value */ 2094 str = left; 2095 left = NULL; 2096 break; 2097 } 2098 if (right_val >= 0) { 2099 /* just evaluate this. */ 2100 val = 0; 2101 switch (arg->op.type) { 2102 case FILTER_OP_AND: 2103 val = left_val && right_val; 2104 break; 2105 case FILTER_OP_OR: 2106 val = left_val || right_val; 2107 break; 2108 default: 2109 break; 2110 } 2111 asprintf(&str, val ? "TRUE" : "FALSE"); 2112 break; 2113 } 2114 } 2115 if (right_val >= 0) { 2116 if ((arg->op.type == FILTER_OP_AND && !right_val) || 2117 (arg->op.type == FILTER_OP_OR && right_val)) { 2118 /* Just return right value */ 2119 str = right; 2120 right = NULL; 2121 break; 2122 } 2123 /* The right value is meaningless */ 2124 str = left; 2125 left = NULL; 2126 break; 2127 } 2128 2129 asprintf(&str, "(%s) %s (%s)", left, op, right); 2130 break; 2131 2132 case FILTER_OP_NOT: 2133 op = "!"; 2134 right = arg_to_str(filter, arg->op.right); 2135 if (!right) 2136 break; 2137 2138 /* See if we can consolidate */ 2139 if (strcmp(right, "TRUE") == 0) 2140 right_val = 1; 2141 else if (strcmp(right, "FALSE") == 0) 2142 right_val = 0; 2143 if (right_val >= 0) { 2144 /* just return the opposite */ 2145 asprintf(&str, right_val ? "FALSE" : "TRUE"); 2146 break; 2147 } 2148 asprintf(&str, "%s(%s)", op, right); 2149 break; 2150 2151 default: 2152 /* ?? */ 2153 break; 2154 } 2155 free(left); 2156 free(right); 2157 return str; 2158} 2159 2160static char *val_to_str(struct event_filter *filter, struct filter_arg *arg) 2161{ 2162 char *str = NULL; 2163 2164 asprintf(&str, "%lld", arg->value.val); 2165 2166 return str; 2167} 2168 2169static char *field_to_str(struct event_filter *filter, struct filter_arg *arg) 2170{ 2171 return strdup(arg->field.field->name); 2172} 2173 2174static char *exp_to_str(struct event_filter *filter, struct filter_arg *arg) 2175{ 2176 char *lstr; 2177 char *rstr; 2178 char *op; 2179 char *str = NULL; 2180 2181 lstr = arg_to_str(filter, arg->exp.left); 2182 rstr = arg_to_str(filter, arg->exp.right); 2183 if (!lstr || !rstr) 2184 goto out; 2185 2186 switch (arg->exp.type) { 2187 case FILTER_EXP_ADD: 2188 op = "+"; 2189 break; 2190 case FILTER_EXP_SUB: 2191 op = "-"; 2192 break; 2193 case FILTER_EXP_MUL: 2194 op = "*"; 2195 break; 2196 case FILTER_EXP_DIV: 2197 op = "/"; 2198 break; 2199 case FILTER_EXP_MOD: 2200 op = "%"; 2201 break; 2202 case FILTER_EXP_RSHIFT: 2203 op = ">>"; 2204 break; 2205 case FILTER_EXP_LSHIFT: 2206 op = "<<"; 2207 break; 2208 case FILTER_EXP_AND: 2209 op = "&"; 2210 break; 2211 case FILTER_EXP_OR: 2212 op = "|"; 2213 break; 2214 case FILTER_EXP_XOR: 2215 op = "^"; 2216 break; 2217 default: 2218 op = "[ERROR IN EXPRESSION TYPE]"; 2219 break; 2220 } 2221 2222 asprintf(&str, "%s %s %s", lstr, op, rstr); 2223out: 2224 free(lstr); 2225 free(rstr); 2226 2227 return str; 2228} 2229 2230static char *num_to_str(struct event_filter *filter, struct filter_arg *arg) 2231{ 2232 char *lstr; 2233 char *rstr; 2234 char *str = NULL; 2235 char *op = NULL; 2236 2237 lstr = arg_to_str(filter, arg->num.left); 2238 rstr = arg_to_str(filter, arg->num.right); 2239 if (!lstr || !rstr) 2240 goto out; 2241 2242 switch (arg->num.type) { 2243 case FILTER_CMP_EQ: 2244 op = "=="; 2245 /* fall through */ 2246 case FILTER_CMP_NE: 2247 if (!op) 2248 op = "!="; 2249 /* fall through */ 2250 case FILTER_CMP_GT: 2251 if (!op) 2252 op = ">"; 2253 /* fall through */ 2254 case FILTER_CMP_LT: 2255 if (!op) 2256 op = "<"; 2257 /* fall through */ 2258 case FILTER_CMP_GE: 2259 if (!op) 2260 op = ">="; 2261 /* fall through */ 2262 case FILTER_CMP_LE: 2263 if (!op) 2264 op = "<="; 2265 2266 asprintf(&str, "%s %s %s", lstr, op, rstr); 2267 break; 2268 2269 default: 2270 /* ?? */ 2271 break; 2272 } 2273 2274out: 2275 free(lstr); 2276 free(rstr); 2277 return str; 2278} 2279 2280static char *str_to_str(struct event_filter *filter, struct filter_arg *arg) 2281{ 2282 char *str = NULL; 2283 char *op = NULL; 2284 2285 switch (arg->str.type) { 2286 case FILTER_CMP_MATCH: 2287 op = "=="; 2288 /* fall through */ 2289 case FILTER_CMP_NOT_MATCH: 2290 if (!op) 2291 op = "!="; 2292 /* fall through */ 2293 case FILTER_CMP_REGEX: 2294 if (!op) 2295 op = "=~"; 2296 /* fall through */ 2297 case FILTER_CMP_NOT_REGEX: 2298 if (!op) 2299 op = "!~"; 2300 2301 asprintf(&str, "%s %s \"%s\"", 2302 arg->str.field->name, op, arg->str.val); 2303 break; 2304 2305 default: 2306 /* ?? */ 2307 break; 2308 } 2309 return str; 2310} 2311 2312static char *arg_to_str(struct event_filter *filter, struct filter_arg *arg) 2313{ 2314 char *str = NULL; 2315 2316 switch (arg->type) { 2317 case FILTER_ARG_BOOLEAN: 2318 asprintf(&str, arg->boolean.value ? "TRUE" : "FALSE"); 2319 return str; 2320 2321 case FILTER_ARG_OP: 2322 return op_to_str(filter, arg); 2323 2324 case FILTER_ARG_NUM: 2325 return num_to_str(filter, arg); 2326 2327 case FILTER_ARG_STR: 2328 return str_to_str(filter, arg); 2329 2330 case FILTER_ARG_VALUE: 2331 return val_to_str(filter, arg); 2332 2333 case FILTER_ARG_FIELD: 2334 return field_to_str(filter, arg); 2335 2336 case FILTER_ARG_EXP: 2337 return exp_to_str(filter, arg); 2338 2339 default: 2340 /* ?? */ 2341 return NULL; 2342 } 2343 2344} 2345 2346/** 2347 * pevent_filter_make_string - return a string showing the filter 2348 * @filter: filter struct with filter information 2349 * @event_id: the event id to return the filter string with 2350 * 2351 * Returns a string that displays the filter contents. 2352 * This string must be freed with free(str). 2353 * NULL is returned if no filter is found or allocation failed. 2354 */ 2355char * 2356pevent_filter_make_string(struct event_filter *filter, int event_id) 2357{ 2358 struct filter_type *filter_type; 2359 2360 if (!filter->filters) 2361 return NULL; 2362 2363 filter_type = find_filter_type(filter, event_id); 2364 2365 if (!filter_type) 2366 return NULL; 2367 2368 return arg_to_str(filter, filter_type->filter); 2369} 2370 2371/** 2372 * pevent_filter_compare - compare two filters and return if they are the same 2373 * @filter1: Filter to compare with @filter2 2374 * @filter2: Filter to compare with @filter1 2375 * 2376 * Returns: 2377 * 1 if the two filters hold the same content. 2378 * 0 if they do not. 2379 */ 2380int pevent_filter_compare(struct event_filter *filter1, struct event_filter *filter2) 2381{ 2382 struct filter_type *filter_type1; 2383 struct filter_type *filter_type2; 2384 char *str1, *str2; 2385 int result; 2386 int i; 2387 2388 /* Do the easy checks first */ 2389 if (filter1->filters != filter2->filters) 2390 return 0; 2391 if (!filter1->filters && !filter2->filters) 2392 return 1; 2393 2394 /* 2395 * Now take a look at each of the events to see if they have the same 2396 * filters to them. 2397 */ 2398 for (i = 0; i < filter1->filters; i++) { 2399 filter_type1 = &filter1->event_filters[i]; 2400 filter_type2 = find_filter_type(filter2, filter_type1->event_id); 2401 if (!filter_type2) 2402 break; 2403 if (filter_type1->filter->type != filter_type2->filter->type) 2404 break; 2405 switch (filter_type1->filter->type) { 2406 case FILTER_TRIVIAL_FALSE: 2407 case FILTER_TRIVIAL_TRUE: 2408 /* trivial types just need the type compared */ 2409 continue; 2410 default: 2411 break; 2412 } 2413 /* The best way to compare complex filters is with strings */ 2414 str1 = arg_to_str(filter1, filter_type1->filter); 2415 str2 = arg_to_str(filter2, filter_type2->filter); 2416 if (str1 && str2) 2417 result = strcmp(str1, str2) != 0; 2418 else 2419 /* bail out if allocation fails */ 2420 result = 1; 2421 2422 free(str1); 2423 free(str2); 2424 if (result) 2425 break; 2426 } 2427 2428 if (i < filter1->filters) 2429 return 0; 2430 return 1; 2431} 2432