2 * Copyright (C) 2010 Red Hat Inc, Steven Rostedt <srostedt@redhat.com>
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!)
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.
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>
18 * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
25 #include <sys/types.h>
27 #include "event-parse.h"
28 #include "event-utils.h"
32 static struct format_field comm = {
37 struct event_list *next;
38 struct event_format *event;
41 #define MAX_ERR_STR_SIZE 256
43 static void show_error(char **error_str, const char *fmt, ...)
45 unsigned long long index;
55 input = pevent_get_input_buf();
56 index = pevent_get_input_buf_ptr();
57 len = input ? strlen(input) : 0;
59 error = malloc(MAX_ERR_STR_SIZE + (len*2) + 3);
62 * Maybe it's due to len is too long.
63 * Retry without the input buffer part.
67 error = malloc(MAX_ERR_STR_SIZE);
78 for (i = 1; i < len && i < index; i++)
81 error[len + i + 1] = '\n';
86 vsnprintf(error + len, MAX_ERR_STR_SIZE, fmt, ap);
92 static void free_token(char *token)
94 pevent_free_token(token);
97 static enum event_type read_token(char **tok)
104 type = pevent_read_token(&token);
105 } while (type == EVENT_NEWLINE || type == EVENT_SPACE);
107 /* If token is = or ! check to see if the next char is ~ */
109 (strcmp(token, "=") == 0 || strcmp(token, "!") == 0) &&
110 pevent_peek_char() == '~') {
117 sprintf(*tok, "%c%c", *token, '~');
119 /* Now remove the '~' from the buffer */
120 pevent_read_token(&token);
128 static int filter_cmp(const void *a, const void *b)
130 const struct filter_type *ea = a;
131 const struct filter_type *eb = b;
133 if (ea->event_id < eb->event_id)
136 if (ea->event_id > eb->event_id)
142 static struct filter_type *
143 find_filter_type(struct event_filter *filter, int id)
145 struct filter_type *filter_type;
146 struct filter_type key;
150 filter_type = bsearch(&key, filter->event_filters,
152 sizeof(*filter->event_filters),
158 static struct filter_type *
159 add_filter_type(struct event_filter *filter, int id)
161 struct filter_type *filter_type;
164 filter_type = find_filter_type(filter, id);
168 filter_type = realloc(filter->event_filters,
169 sizeof(*filter->event_filters) *
170 (filter->filters + 1));
174 filter->event_filters = filter_type;
176 for (i = 0; i < filter->filters; i++) {
177 if (filter->event_filters[i].event_id > id)
181 if (i < filter->filters)
182 memmove(&filter->event_filters[i+1],
183 &filter->event_filters[i],
184 sizeof(*filter->event_filters) *
185 (filter->filters - i));
187 filter_type = &filter->event_filters[i];
188 filter_type->event_id = id;
189 filter_type->event = pevent_find_event(filter->pevent, id);
190 filter_type->filter = NULL;
198 * pevent_filter_alloc - create a new event filter
199 * @pevent: The pevent that this filter is associated with
201 struct event_filter *pevent_filter_alloc(struct pevent *pevent)
203 struct event_filter *filter;
205 filter = malloc(sizeof(*filter));
209 memset(filter, 0, sizeof(*filter));
210 filter->pevent = pevent;
216 static struct filter_arg *allocate_arg(void)
218 return calloc(1, sizeof(struct filter_arg));
221 static void free_arg(struct filter_arg *arg)
227 case FILTER_ARG_NONE:
228 case FILTER_ARG_BOOLEAN:
232 free_arg(arg->num.left);
233 free_arg(arg->num.right);
237 free_arg(arg->exp.left);
238 free_arg(arg->exp.right);
243 regfree(&arg->str.reg);
244 free(arg->str.buffer);
247 case FILTER_ARG_VALUE:
248 if (arg->value.type == FILTER_STRING ||
249 arg->value.type == FILTER_CHAR)
250 free(arg->value.str);
254 free_arg(arg->op.left);
255 free_arg(arg->op.right);
263 static int add_event(struct event_list **events,
264 struct event_format *event)
266 struct event_list *list;
268 list = malloc(sizeof(*list));
272 list->next = *events;
278 static int event_match(struct event_format *event,
279 regex_t *sreg, regex_t *ereg)
282 return !regexec(sreg, event->system, 0, NULL, 0) &&
283 !regexec(ereg, event->name, 0, NULL, 0);
286 return !regexec(ereg, event->system, 0, NULL, 0) ||
287 !regexec(ereg, event->name, 0, NULL, 0);
290 static enum pevent_errno
291 find_event(struct pevent *pevent, struct event_list **events,
292 char *sys_name, char *event_name)
294 struct event_format *event;
304 /* if no name is given, then swap sys and name */
305 event_name = sys_name;
309 reg = malloc(strlen(event_name) + 3);
311 return PEVENT_ERRNO__MEM_ALLOC_FAILED;
313 sprintf(reg, "^%s$", event_name);
315 ret = regcomp(&ereg, reg, REG_ICASE|REG_NOSUB);
319 return PEVENT_ERRNO__INVALID_EVENT_NAME;
322 reg = malloc(strlen(sys_name) + 3);
325 return PEVENT_ERRNO__MEM_ALLOC_FAILED;
328 sprintf(reg, "^%s$", sys_name);
329 ret = regcomp(&sreg, reg, REG_ICASE|REG_NOSUB);
333 return PEVENT_ERRNO__INVALID_EVENT_NAME;
337 for (i = 0; i < pevent->nr_events; i++) {
338 event = pevent->events[i];
339 if (event_match(event, sys_name ? &sreg : NULL, &ereg)) {
341 if (add_event(events, event) < 0) {
353 return PEVENT_ERRNO__EVENT_NOT_FOUND;
355 return PEVENT_ERRNO__MEM_ALLOC_FAILED;
360 static void free_events(struct event_list *events)
362 struct event_list *event;
366 events = events->next;
371 static struct filter_arg *
372 create_arg_item(struct event_format *event, const char *token,
373 enum event_type type, char **error_str)
375 struct format_field *field;
376 struct filter_arg *arg;
378 arg = allocate_arg();
380 show_error(error_str, "failed to allocate filter arg");
388 arg->type = FILTER_ARG_VALUE;
390 type == EVENT_DQUOTE ? FILTER_STRING : FILTER_CHAR;
391 arg->value.str = strdup(token);
392 if (!arg->value.str) {
394 show_error(error_str, "failed to allocate string filter arg");
399 /* if it is a number, then convert it */
400 if (isdigit(token[0])) {
401 arg->type = FILTER_ARG_VALUE;
402 arg->value.type = FILTER_NUMBER;
403 arg->value.val = strtoull(token, NULL, 0);
406 /* Consider this a field */
407 field = pevent_find_any_field(event, token);
409 if (strcmp(token, COMM) != 0) {
410 /* not a field, Make it false */
411 arg->type = FILTER_ARG_BOOLEAN;
412 arg->boolean.value = FILTER_FALSE;
415 /* If token is 'COMM' then it is special */
418 arg->type = FILTER_ARG_FIELD;
419 arg->field.field = field;
423 show_error(error_str, "expected a value but found %s",
430 static struct filter_arg *
431 create_arg_op(enum filter_op_type btype)
433 struct filter_arg *arg;
435 arg = allocate_arg();
439 arg->type = FILTER_ARG_OP;
440 arg->op.type = btype;
445 static struct filter_arg *
446 create_arg_exp(enum filter_exp_type etype)
448 struct filter_arg *arg;
450 arg = allocate_arg();
454 arg->type = FILTER_ARG_EXP;
455 arg->op.type = etype;
460 static struct filter_arg *
461 create_arg_cmp(enum filter_exp_type etype)
463 struct filter_arg *arg;
465 arg = allocate_arg();
469 /* Use NUM and change if necessary */
470 arg->type = FILTER_ARG_NUM;
471 arg->op.type = etype;
476 static enum pevent_errno
477 add_right(struct filter_arg *op, struct filter_arg *arg, char **error_str)
479 struct filter_arg *left;
501 * The arg must be num, str, or field
504 case FILTER_ARG_VALUE:
505 case FILTER_ARG_FIELD:
508 show_error(error_str, "Illegal rvalue");
509 return PEVENT_ERRNO__ILLEGAL_RVALUE;
513 * Depending on the type, we may need to
514 * convert this to a string or regex.
516 switch (arg->value.type) {
519 * A char should be converted to number if
520 * the string is 1 byte, and the compare
523 if (strlen(arg->value.str) == 1 &&
524 op->num.type != FILTER_CMP_REGEX &&
525 op->num.type != FILTER_CMP_NOT_REGEX) {
526 arg->value.type = FILTER_NUMBER;
532 /* convert op to a string arg */
533 op_type = op->num.type;
535 str = arg->value.str;
537 /* reset the op for the new field */
538 memset(op, 0, sizeof(*op));
541 * If left arg was a field not found then
542 * NULL the entire op.
544 if (left->type == FILTER_ARG_BOOLEAN) {
547 op->type = FILTER_ARG_BOOLEAN;
548 op->boolean.value = FILTER_FALSE;
552 /* Left arg must be a field */
553 if (left->type != FILTER_ARG_FIELD) {
554 show_error(error_str,
555 "Illegal lvalue for string comparison");
556 return PEVENT_ERRNO__ILLEGAL_LVALUE;
559 /* Make sure this is a valid string compare */
562 op_type = FILTER_CMP_MATCH;
565 op_type = FILTER_CMP_NOT_MATCH;
568 case FILTER_CMP_REGEX:
569 case FILTER_CMP_NOT_REGEX:
570 ret = regcomp(&op->str.reg, str, REG_ICASE|REG_NOSUB);
572 show_error(error_str,
573 "RegEx '%s' did not compute",
575 return PEVENT_ERRNO__INVALID_REGEX;
579 show_error(error_str,
580 "Illegal comparison for string");
581 return PEVENT_ERRNO__ILLEGAL_STRING_CMP;
584 op->type = FILTER_ARG_STR;
585 op->str.type = op_type;
586 op->str.field = left->field.field;
587 op->str.val = strdup(str);
589 show_error(error_str, "Failed to allocate string filter");
590 return PEVENT_ERRNO__MEM_ALLOC_FAILED;
593 * Need a buffer to copy data for tests
595 op->str.buffer = malloc(op->str.field->size + 1);
596 if (!op->str.buffer) {
597 show_error(error_str, "Failed to allocate string filter");
598 return PEVENT_ERRNO__MEM_ALLOC_FAILED;
600 /* Null terminate this buffer */
601 op->str.buffer[op->str.field->size] = 0;
603 /* We no longer have left or right args */
612 switch (op->num.type) {
613 case FILTER_CMP_REGEX:
614 case FILTER_CMP_NOT_REGEX:
615 show_error(error_str,
616 "Op not allowed with integers");
617 return PEVENT_ERRNO__ILLEGAL_INTEGER_CMP;
623 /* numeric compare */
637 show_error(error_str, "Syntax error");
638 return PEVENT_ERRNO__SYNTAX_ERROR;
641 static struct filter_arg *
642 rotate_op_right(struct filter_arg *a, struct filter_arg *b)
644 struct filter_arg *arg;
651 static int add_left(struct filter_arg *op, struct filter_arg *arg)
655 if (arg->type == FILTER_ARG_OP)
656 arg = rotate_op_right(arg, op);
664 if (arg->type == FILTER_ARG_OP)
665 arg = rotate_op_right(arg, op);
667 /* left arg of compares must be a field */
668 if (arg->type != FILTER_ARG_FIELD &&
669 arg->type != FILTER_ARG_BOOLEAN)
687 static enum op_type process_op(const char *token,
688 enum filter_op_type *btype,
689 enum filter_cmp_type *ctype,
690 enum filter_exp_type *etype)
692 *btype = FILTER_OP_NOT;
693 *etype = FILTER_EXP_NONE;
694 *ctype = FILTER_CMP_NONE;
696 if (strcmp(token, "&&") == 0)
697 *btype = FILTER_OP_AND;
698 else if (strcmp(token, "||") == 0)
699 *btype = FILTER_OP_OR;
700 else if (strcmp(token, "!") == 0)
703 if (*btype != FILTER_OP_NOT)
706 /* Check for value expressions */
707 if (strcmp(token, "+") == 0) {
708 *etype = FILTER_EXP_ADD;
709 } else if (strcmp(token, "-") == 0) {
710 *etype = FILTER_EXP_SUB;
711 } else if (strcmp(token, "*") == 0) {
712 *etype = FILTER_EXP_MUL;
713 } else if (strcmp(token, "/") == 0) {
714 *etype = FILTER_EXP_DIV;
715 } else if (strcmp(token, "%") == 0) {
716 *etype = FILTER_EXP_MOD;
717 } else if (strcmp(token, ">>") == 0) {
718 *etype = FILTER_EXP_RSHIFT;
719 } else if (strcmp(token, "<<") == 0) {
720 *etype = FILTER_EXP_LSHIFT;
721 } else if (strcmp(token, "&") == 0) {
722 *etype = FILTER_EXP_AND;
723 } else if (strcmp(token, "|") == 0) {
724 *etype = FILTER_EXP_OR;
725 } else if (strcmp(token, "^") == 0) {
726 *etype = FILTER_EXP_XOR;
727 } else if (strcmp(token, "~") == 0)
728 *etype = FILTER_EXP_NOT;
730 if (*etype != FILTER_EXP_NONE)
733 /* Check for compares */
734 if (strcmp(token, "==") == 0)
735 *ctype = FILTER_CMP_EQ;
736 else if (strcmp(token, "!=") == 0)
737 *ctype = FILTER_CMP_NE;
738 else if (strcmp(token, "<") == 0)
739 *ctype = FILTER_CMP_LT;
740 else if (strcmp(token, ">") == 0)
741 *ctype = FILTER_CMP_GT;
742 else if (strcmp(token, "<=") == 0)
743 *ctype = FILTER_CMP_LE;
744 else if (strcmp(token, ">=") == 0)
745 *ctype = FILTER_CMP_GE;
746 else if (strcmp(token, "=~") == 0)
747 *ctype = FILTER_CMP_REGEX;
748 else if (strcmp(token, "!~") == 0)
749 *ctype = FILTER_CMP_NOT_REGEX;
756 static int check_op_done(struct filter_arg *arg)
760 return arg->exp.right != NULL;
763 return arg->op.right != NULL;
766 return arg->num.right != NULL;
769 /* A string conversion is always done */
772 case FILTER_ARG_BOOLEAN:
773 /* field not found, is ok */
787 void reparent_op_arg(struct filter_arg *parent, struct filter_arg *old_child,
788 struct filter_arg *arg)
790 struct filter_arg *other_child;
791 struct filter_arg **ptr;
793 if (parent->type != FILTER_ARG_OP &&
794 arg->type != FILTER_ARG_OP)
795 die("can not reparent other than OP");
797 /* Get the sibling */
798 if (old_child->op.right == arg) {
799 ptr = &old_child->op.right;
800 other_child = old_child->op.left;
801 } else if (old_child->op.left == arg) {
802 ptr = &old_child->op.left;
803 other_child = old_child->op.right;
805 die("Error in reparent op, find other child");
807 /* Detach arg from old_child */
811 if (parent == old_child) {
812 free_arg(other_child);
814 /* Free arg without recussion */
819 if (parent->op.right == old_child)
820 ptr = &parent->op.right;
821 else if (parent->op.left == old_child)
822 ptr = &parent->op.left;
824 die("Error in reparent op");
830 enum filter_vals test_arg(struct filter_arg *parent, struct filter_arg *arg)
832 enum filter_vals lval, rval;
837 case FILTER_ARG_BOOLEAN:
838 return FILTER_VAL_FALSE + arg->boolean.value;
842 case FILTER_ARG_VALUE:
843 case FILTER_ARG_FIELD:
844 return FILTER_VAL_NORM;
847 lval = test_arg(arg, arg->exp.left);
848 if (lval != FILTER_VAL_NORM)
850 rval = test_arg(arg, arg->exp.right);
851 if (rval != FILTER_VAL_NORM)
853 return FILTER_VAL_NORM;
856 lval = test_arg(arg, arg->num.left);
857 if (lval != FILTER_VAL_NORM)
859 rval = test_arg(arg, arg->num.right);
860 if (rval != FILTER_VAL_NORM)
862 return FILTER_VAL_NORM;
865 if (arg->op.type != FILTER_OP_NOT) {
866 lval = test_arg(arg, arg->op.left);
868 case FILTER_VAL_NORM:
870 case FILTER_VAL_TRUE:
871 if (arg->op.type == FILTER_OP_OR)
872 return FILTER_VAL_TRUE;
873 rval = test_arg(arg, arg->op.right);
874 if (rval != FILTER_VAL_NORM)
877 reparent_op_arg(parent, arg, arg->op.right);
878 return FILTER_VAL_NORM;
880 case FILTER_VAL_FALSE:
881 if (arg->op.type == FILTER_OP_AND)
882 return FILTER_VAL_FALSE;
883 rval = test_arg(arg, arg->op.right);
884 if (rval != FILTER_VAL_NORM)
887 reparent_op_arg(parent, arg, arg->op.right);
888 return FILTER_VAL_NORM;
892 rval = test_arg(arg, arg->op.right);
894 case FILTER_VAL_NORM:
896 case FILTER_VAL_TRUE:
897 if (arg->op.type == FILTER_OP_OR)
898 return FILTER_VAL_TRUE;
899 if (arg->op.type == FILTER_OP_NOT)
900 return FILTER_VAL_FALSE;
902 reparent_op_arg(parent, arg, arg->op.left);
903 return FILTER_VAL_NORM;
905 case FILTER_VAL_FALSE:
906 if (arg->op.type == FILTER_OP_AND)
907 return FILTER_VAL_FALSE;
908 if (arg->op.type == FILTER_OP_NOT)
909 return FILTER_VAL_TRUE;
911 reparent_op_arg(parent, arg, arg->op.left);
912 return FILTER_VAL_NORM;
915 return FILTER_VAL_NORM;
917 die("bad arg in filter tree");
919 return FILTER_VAL_NORM;
922 /* Remove any unknown event fields */
923 static struct filter_arg *collapse_tree(struct filter_arg *arg)
925 enum filter_vals ret;
927 ret = test_arg(arg, arg);
929 case FILTER_VAL_NORM:
932 case FILTER_VAL_TRUE:
933 case FILTER_VAL_FALSE:
935 arg = allocate_arg();
937 arg->type = FILTER_ARG_BOOLEAN;
938 arg->boolean.value = ret == FILTER_VAL_TRUE;
946 process_filter(struct event_format *event, struct filter_arg **parg,
947 char **error_str, int not)
949 enum event_type type;
951 struct filter_arg *current_op = NULL;
952 struct filter_arg *current_exp = NULL;
953 struct filter_arg *left_item = NULL;
954 struct filter_arg *arg = NULL;
955 enum op_type op_type;
956 enum filter_op_type btype;
957 enum filter_exp_type etype;
958 enum filter_cmp_type ctype;
965 type = read_token(&token);
970 arg = create_arg_item(event, token, type, error_str);
975 else if (current_exp) {
976 ret = add_right(current_exp, arg, error_str);
980 /* Not's only one one expression */
996 show_error(error_str,
997 "Illegal token ','");
1001 if (*token == '(') {
1003 show_error(error_str,
1004 "Open paren can not come after item");
1008 show_error(error_str,
1009 "Open paren can not come after expression");
1013 ret = process_filter(event, &arg, error_str, 0);
1016 show_error(error_str,
1017 "Unbalanced number of '('");
1022 /* A not wants just one expression */
1031 ret = add_right(current_op, arg, error_str);
1039 if (!current_op && !current_exp)
1042 /* Make sure everything is finished at this level */
1043 if (current_exp && !check_op_done(current_exp))
1045 if (current_op && !check_op_done(current_op))
1051 *parg = current_exp;
1057 op_type = process_op(token, &btype, &ctype, &etype);
1059 /* All expect a left arg except for NOT */
1062 /* Logic ops need a left expression */
1063 if (!current_exp && !current_op)
1067 /* logic only processes ops and exp */
1077 show_error(error_str,
1078 "Unknown op token %s", token);
1085 arg = create_arg_op(btype);
1089 ret = add_left(arg, current_op);
1091 ret = add_left(arg, current_exp);
1097 arg = create_arg_op(btype);
1101 ret = add_right(current_op, arg, error_str);
1105 ret = process_filter(event, &arg, error_str, 1);
1108 ret = add_right(current_exp, arg, error_str);
1115 if (op_type == OP_EXP)
1116 arg = create_arg_exp(etype);
1118 arg = create_arg_cmp(ctype);
1123 ret = add_right(current_op, arg, error_str);
1126 ret = add_left(arg, left_item);
1147 } while (type != EVENT_NONE);
1149 if (!current_op && !current_exp)
1153 current_op = current_exp;
1155 current_op = collapse_tree(current_op);
1156 if (current_op == NULL)
1164 show_error(error_str, "failed to allocate filter arg");
1167 show_error(error_str, "Syntax error");
1169 free_arg(current_op);
1170 free_arg(current_exp);
1177 process_event(struct event_format *event, const char *filter_str,
1178 struct filter_arg **parg, char **error_str)
1182 pevent_buffer_init(filter_str, strlen(filter_str));
1184 ret = process_filter(event, parg, error_str, 0);
1186 show_error(error_str,
1187 "Unbalanced number of ')'");
1193 /* If parg is NULL, then make it into FALSE */
1195 *parg = allocate_arg();
1196 if (*parg == NULL) {
1197 show_error(error_str, "failed to allocate filter arg");
1200 (*parg)->type = FILTER_ARG_BOOLEAN;
1201 (*parg)->boolean.value = FILTER_FALSE;
1207 static int filter_event(struct event_filter *filter,
1208 struct event_format *event,
1209 const char *filter_str, char **error_str)
1211 struct filter_type *filter_type;
1212 struct filter_arg *arg;
1216 ret = process_event(event, filter_str, &arg, error_str);
1221 /* just add a TRUE arg */
1222 arg = allocate_arg();
1224 show_error(error_str, "failed to allocate filter arg");
1227 arg->type = FILTER_ARG_BOOLEAN;
1228 arg->boolean.value = FILTER_TRUE;
1231 filter_type = add_filter_type(filter, event->id);
1232 if (filter_type == NULL) {
1233 show_error(error_str, "failed to add a new filter: %s",
1234 filter_str ? filter_str : "true");
1238 if (filter_type->filter)
1239 free_arg(filter_type->filter);
1240 filter_type->filter = arg;
1246 * pevent_filter_add_filter_str - add a new filter
1247 * @filter: the event filter to add to
1248 * @filter_str: the filter string that contains the filter
1249 * @error_str: string containing reason for failed filter
1251 * Returns 0 if the filter was successfully added
1252 * -1 if there was an error.
1254 * On error, if @error_str points to a string pointer,
1255 * it is set to the reason that the filter failed.
1256 * This string must be freed with "free".
1258 int pevent_filter_add_filter_str(struct event_filter *filter,
1259 const char *filter_str,
1262 struct pevent *pevent = filter->pevent;
1263 struct event_list *event;
1264 struct event_list *events = NULL;
1265 const char *filter_start;
1266 const char *next_event;
1268 char *event_name = NULL;
1269 char *sys_name = NULL;
1275 /* clear buffer to reset show error */
1276 pevent_buffer_init("", 0);
1281 filter_start = strchr(filter_str, ':');
1283 len = filter_start - filter_str;
1285 len = strlen(filter_str);
1289 next_event = strchr(filter_str, ',');
1291 (!filter_start || next_event < filter_start))
1292 len = next_event - filter_str;
1293 else if (filter_start)
1294 len = filter_start - filter_str;
1296 len = strlen(filter_str);
1298 this_event = malloc(len + 1);
1299 if (this_event == NULL) {
1300 show_error(error_str, "Memory allocation failure");
1301 /* This can only happen when events is NULL, but still */
1302 free_events(events);
1305 memcpy(this_event, filter_str, len);
1306 this_event[len] = 0;
1311 filter_str = next_event;
1313 sys_name = strtok_r(this_event, "/", &sp);
1314 event_name = strtok_r(NULL, "/", &sp);
1317 show_error(error_str, "No filter found");
1318 /* This can only happen when events is NULL, but still */
1319 free_events(events);
1324 /* Find this event */
1325 ret = find_event(pevent, &events, strim(sys_name), strim(event_name));
1327 if (ret == PEVENT_ERRNO__MEM_ALLOC_FAILED)
1328 show_error(error_str,
1329 "Memory allocation failure");
1330 else if (event_name)
1331 show_error(error_str,
1332 "No event found under '%s.%s'",
1333 sys_name, event_name);
1335 show_error(error_str,
1336 "No event found under '%s'",
1338 free_events(events);
1343 } while (filter_str);
1349 /* filter starts here */
1350 for (event = events; event; event = event->next) {
1351 ret = filter_event(filter, event->event, filter_start,
1353 /* Failures are returned if a parse error happened */
1357 if (ret >= 0 && pevent->test_filters) {
1359 test = pevent_filter_make_string(filter, event->event->id);
1360 printf(" '%s: %s'\n", event->event->name, test);
1365 free_events(events);
1367 if (rtn >= 0 && pevent->test_filters)
1373 static void free_filter_type(struct filter_type *filter_type)
1375 free_arg(filter_type->filter);
1379 * pevent_filter_remove_event - remove a filter for an event
1380 * @filter: the event filter to remove from
1381 * @event_id: the event to remove a filter for
1383 * Removes the filter saved for an event defined by @event_id
1386 * Returns 1: if an event was removed
1387 * 0: if the event was not found
1389 int pevent_filter_remove_event(struct event_filter *filter,
1392 struct filter_type *filter_type;
1395 if (!filter->filters)
1398 filter_type = find_filter_type(filter, event_id);
1403 free_filter_type(filter_type);
1405 /* The filter_type points into the event_filters array */
1406 len = (unsigned long)(filter->event_filters + filter->filters) -
1407 (unsigned long)(filter_type + 1);
1409 memmove(filter_type, filter_type + 1, len);
1412 memset(&filter->event_filters[filter->filters], 0,
1413 sizeof(*filter_type));
1419 * pevent_filter_reset - clear all filters in a filter
1420 * @filter: the event filter to reset
1422 * Removes all filters from a filter and resets it.
1424 void pevent_filter_reset(struct event_filter *filter)
1428 for (i = 0; i < filter->filters; i++)
1429 free_filter_type(&filter->event_filters[i]);
1431 free(filter->event_filters);
1432 filter->filters = 0;
1433 filter->event_filters = NULL;
1436 void pevent_filter_free(struct event_filter *filter)
1438 pevent_unref(filter->pevent);
1440 pevent_filter_reset(filter);
1445 static char *arg_to_str(struct event_filter *filter, struct filter_arg *arg);
1447 static int copy_filter_type(struct event_filter *filter,
1448 struct event_filter *source,
1449 struct filter_type *filter_type)
1451 struct filter_arg *arg;
1452 struct event_format *event;
1457 /* Can't assume that the pevent's are the same */
1458 sys = filter_type->event->system;
1459 name = filter_type->event->name;
1460 event = pevent_find_event_by_name(filter->pevent, sys, name);
1464 str = arg_to_str(source, filter_type->filter);
1468 if (strcmp(str, "TRUE") == 0 || strcmp(str, "FALSE") == 0) {
1469 /* Add trivial event */
1470 arg = allocate_arg();
1474 arg->type = FILTER_ARG_BOOLEAN;
1475 if (strcmp(str, "TRUE") == 0)
1476 arg->boolean.value = 1;
1478 arg->boolean.value = 0;
1480 filter_type = add_filter_type(filter, event->id);
1481 if (filter_type == NULL)
1484 filter_type->filter = arg;
1490 filter_event(filter, event, str, NULL);
1497 * pevent_filter_copy - copy a filter using another filter
1498 * @dest - the filter to copy to
1499 * @source - the filter to copy from
1501 * Returns 0 on success and -1 if not all filters were copied
1503 int pevent_filter_copy(struct event_filter *dest, struct event_filter *source)
1508 pevent_filter_reset(dest);
1510 for (i = 0; i < source->filters; i++) {
1511 if (copy_filter_type(dest, source, &source->event_filters[i]))
1519 * pevent_update_trivial - update the trivial filters with the given filter
1520 * @dest - the filter to update
1521 * @source - the filter as the source of the update
1522 * @type - the type of trivial filter to update.
1524 * Scan dest for trivial events matching @type to replace with the source.
1526 * Returns 0 on success and -1 if there was a problem updating, but
1527 * events may have still been updated on error.
1529 int pevent_update_trivial(struct event_filter *dest, struct event_filter *source,
1530 enum filter_trivial_type type)
1532 struct pevent *src_pevent;
1533 struct pevent *dest_pevent;
1534 struct event_format *event;
1535 struct filter_type *filter_type;
1536 struct filter_arg *arg;
1540 src_pevent = source->pevent;
1541 dest_pevent = dest->pevent;
1543 /* Do nothing if either of the filters has nothing to filter */
1544 if (!dest->filters || !source->filters)
1547 for (i = 0; i < dest->filters; i++) {
1548 filter_type = &dest->event_filters[i];
1549 arg = filter_type->filter;
1550 if (arg->type != FILTER_ARG_BOOLEAN)
1552 if ((arg->boolean.value && type == FILTER_TRIVIAL_FALSE) ||
1553 (!arg->boolean.value && type == FILTER_TRIVIAL_TRUE))
1556 event = filter_type->event;
1558 if (src_pevent != dest_pevent) {
1560 event = pevent_find_event_by_name(src_pevent,
1567 str = pevent_filter_make_string(source, event->id);
1571 /* Don't bother if the filter is trivial too */
1572 if (strcmp(str, "TRUE") != 0 && strcmp(str, "FALSE") != 0)
1573 filter_event(dest, event, str, NULL);
1580 * pevent_filter_clear_trivial - clear TRUE and FALSE filters
1581 * @filter: the filter to remove trivial filters from
1582 * @type: remove only true, false, or both
1584 * Removes filters that only contain a TRUE or FALES boolean arg.
1586 * Returns 0 on success and -1 if there was a problem.
1588 int pevent_filter_clear_trivial(struct event_filter *filter,
1589 enum filter_trivial_type type)
1591 struct filter_type *filter_type;
1596 if (!filter->filters)
1600 * Two steps, first get all ids with trivial filters.
1601 * then remove those ids.
1603 for (i = 0; i < filter->filters; i++) {
1606 filter_type = &filter->event_filters[i];
1607 if (filter_type->filter->type != FILTER_ARG_BOOLEAN)
1610 case FILTER_TRIVIAL_FALSE:
1611 if (filter_type->filter->boolean.value)
1613 case FILTER_TRIVIAL_TRUE:
1614 if (!filter_type->filter->boolean.value)
1620 new_ids = realloc(ids, sizeof(*ids) * (count + 1));
1627 ids[count++] = filter_type->event_id;
1633 for (i = 0; i < count; i++)
1634 pevent_filter_remove_event(filter, ids[i]);
1641 * pevent_filter_event_has_trivial - return true event contains trivial filter
1642 * @filter: the filter with the information
1643 * @event_id: the id of the event to test
1644 * @type: trivial type to test for (TRUE, FALSE, EITHER)
1646 * Returns 1 if the event contains a matching trivial type
1649 int pevent_filter_event_has_trivial(struct event_filter *filter,
1651 enum filter_trivial_type type)
1653 struct filter_type *filter_type;
1655 if (!filter->filters)
1658 filter_type = find_filter_type(filter, event_id);
1663 if (filter_type->filter->type != FILTER_ARG_BOOLEAN)
1667 case FILTER_TRIVIAL_FALSE:
1668 return !filter_type->filter->boolean.value;
1670 case FILTER_TRIVIAL_TRUE:
1671 return filter_type->filter->boolean.value;
1677 static int test_filter(struct event_format *event,
1678 struct filter_arg *arg, struct pevent_record *record);
1681 get_comm(struct event_format *event, struct pevent_record *record)
1686 pid = pevent_data_pid(event->pevent, record);
1687 comm = pevent_data_comm_from_pid(event->pevent, pid);
1691 static unsigned long long
1692 get_value(struct event_format *event,
1693 struct format_field *field, struct pevent_record *record)
1695 unsigned long long val;
1697 /* Handle our dummy "comm" field */
1698 if (field == &comm) {
1701 name = get_comm(event, record);
1702 return (unsigned long)name;
1705 pevent_read_number_field(field, record->data, &val);
1707 if (!(field->flags & FIELD_IS_SIGNED))
1710 switch (field->size) {
1718 return (long long)val;
1723 static unsigned long long
1724 get_arg_value(struct event_format *event, struct filter_arg *arg, struct pevent_record *record);
1726 static unsigned long long
1727 get_exp_value(struct event_format *event, struct filter_arg *arg, struct pevent_record *record)
1729 unsigned long long lval, rval;
1731 lval = get_arg_value(event, arg->exp.left, record);
1732 rval = get_arg_value(event, arg->exp.right, record);
1734 switch (arg->exp.type) {
1735 case FILTER_EXP_ADD:
1738 case FILTER_EXP_SUB:
1741 case FILTER_EXP_MUL:
1744 case FILTER_EXP_DIV:
1747 case FILTER_EXP_MOD:
1750 case FILTER_EXP_RSHIFT:
1751 return lval >> rval;
1753 case FILTER_EXP_LSHIFT:
1754 return lval << rval;
1756 case FILTER_EXP_AND:
1762 case FILTER_EXP_XOR:
1765 case FILTER_EXP_NOT:
1767 die("error in exp");
1772 static unsigned long long
1773 get_arg_value(struct event_format *event, struct filter_arg *arg, struct pevent_record *record)
1775 switch (arg->type) {
1776 case FILTER_ARG_FIELD:
1777 return get_value(event, arg->field.field, record);
1779 case FILTER_ARG_VALUE:
1780 if (arg->value.type != FILTER_NUMBER)
1781 die("must have number field!");
1782 return arg->value.val;
1784 case FILTER_ARG_EXP:
1785 return get_exp_value(event, arg, record);
1788 die("oops in filter");
1793 static int test_num(struct event_format *event,
1794 struct filter_arg *arg, struct pevent_record *record)
1796 unsigned long long lval, rval;
1798 lval = get_arg_value(event, arg->num.left, record);
1799 rval = get_arg_value(event, arg->num.right, record);
1801 switch (arg->num.type) {
1803 return lval == rval;
1806 return lval != rval;
1815 return lval >= rval;
1818 return lval <= rval;
1826 static const char *get_field_str(struct filter_arg *arg, struct pevent_record *record)
1828 struct event_format *event;
1829 struct pevent *pevent;
1830 unsigned long long addr;
1831 const char *val = NULL;
1834 /* If the field is not a string convert it */
1835 if (arg->str.field->flags & FIELD_IS_STRING) {
1836 val = record->data + arg->str.field->offset;
1839 * We need to copy the data since we can't be sure the field
1840 * is null terminated.
1842 if (*(val + arg->str.field->size - 1)) {
1844 memcpy(arg->str.buffer, val, arg->str.field->size);
1845 /* the buffer is already NULL terminated */
1846 val = arg->str.buffer;
1850 event = arg->str.field->event;
1851 pevent = event->pevent;
1852 addr = get_value(event, arg->str.field, record);
1854 if (arg->str.field->flags & (FIELD_IS_POINTER | FIELD_IS_LONG))
1855 /* convert to a kernel symbol */
1856 val = pevent_find_function(pevent, addr);
1859 /* just use the hex of the string name */
1860 snprintf(hex, 64, "0x%llx", addr);
1868 static int test_str(struct event_format *event,
1869 struct filter_arg *arg, struct pevent_record *record)
1873 if (arg->str.field == &comm)
1874 val = get_comm(event, record);
1876 val = get_field_str(arg, record);
1878 switch (arg->str.type) {
1879 case FILTER_CMP_MATCH:
1880 return strcmp(val, arg->str.val) == 0;
1882 case FILTER_CMP_NOT_MATCH:
1883 return strcmp(val, arg->str.val) != 0;
1885 case FILTER_CMP_REGEX:
1886 /* Returns zero on match */
1887 return !regexec(&arg->str.reg, val, 0, NULL, 0);
1889 case FILTER_CMP_NOT_REGEX:
1890 return regexec(&arg->str.reg, val, 0, NULL, 0);
1898 static int test_op(struct event_format *event,
1899 struct filter_arg *arg, struct pevent_record *record)
1901 switch (arg->op.type) {
1903 return test_filter(event, arg->op.left, record) &&
1904 test_filter(event, arg->op.right, record);
1907 return test_filter(event, arg->op.left, record) ||
1908 test_filter(event, arg->op.right, record);
1911 return !test_filter(event, arg->op.right, record);
1919 static int test_filter(struct event_format *event,
1920 struct filter_arg *arg, struct pevent_record *record)
1922 switch (arg->type) {
1923 case FILTER_ARG_BOOLEAN:
1925 return arg->boolean.value;
1928 return test_op(event, arg, record);
1930 case FILTER_ARG_NUM:
1931 return test_num(event, arg, record);
1933 case FILTER_ARG_STR:
1934 return test_str(event, arg, record);
1936 case FILTER_ARG_EXP:
1937 case FILTER_ARG_VALUE:
1938 case FILTER_ARG_FIELD:
1940 * Expressions, fields and values evaluate
1941 * to true if they return non zero
1943 return !!get_arg_value(event, arg, record);
1953 * pevent_event_filtered - return true if event has filter
1954 * @filter: filter struct with filter information
1955 * @event_id: event id to test if filter exists
1957 * Returns 1 if filter found for @event_id
1960 int pevent_event_filtered(struct event_filter *filter,
1963 struct filter_type *filter_type;
1965 if (!filter->filters)
1968 filter_type = find_filter_type(filter, event_id);
1970 return filter_type ? 1 : 0;
1974 * pevent_filter_match - test if a record matches a filter
1975 * @filter: filter struct with filter information
1976 * @record: the record to test against the filter
1979 * 1 - filter found for event and @record matches
1980 * 0 - filter found for event and @record does not match
1981 * -1 - no filter found for @record's event
1982 * -2 - if no filters exist
1984 int pevent_filter_match(struct event_filter *filter,
1985 struct pevent_record *record)
1987 struct pevent *pevent = filter->pevent;
1988 struct filter_type *filter_type;
1991 if (!filter->filters)
1994 event_id = pevent_data_type(pevent, record);
1996 filter_type = find_filter_type(filter, event_id);
1999 return FILTER_NOEXIST;
2001 return test_filter(filter_type->event, filter_type->filter, record) ?
2002 FILTER_MATCH : FILTER_MISS;
2005 static char *op_to_str(struct event_filter *filter, struct filter_arg *arg)
2016 switch (arg->op.type) {
2024 left = arg_to_str(filter, arg->op.left);
2025 right = arg_to_str(filter, arg->op.right);
2026 if (!left || !right)
2029 /* Try to consolidate boolean values */
2030 if (strcmp(left, "TRUE") == 0)
2032 else if (strcmp(left, "FALSE") == 0)
2035 if (strcmp(right, "TRUE") == 0)
2037 else if (strcmp(right, "FALSE") == 0)
2040 if (left_val >= 0) {
2041 if ((arg->op.type == FILTER_OP_AND && !left_val) ||
2042 (arg->op.type == FILTER_OP_OR && left_val)) {
2043 /* Just return left value */
2048 if (right_val >= 0) {
2049 /* just evaluate this. */
2051 switch (arg->op.type) {
2053 val = left_val && right_val;
2056 val = left_val || right_val;
2061 str = malloc_or_die(6);
2063 strcpy(str, "TRUE");
2065 strcpy(str, "FALSE");
2069 if (right_val >= 0) {
2070 if ((arg->op.type == FILTER_OP_AND && !right_val) ||
2071 (arg->op.type == FILTER_OP_OR && right_val)) {
2072 /* Just return right value */
2077 /* The right value is meaningless */
2083 len = strlen(left) + strlen(right) + strlen(op) + 10;
2084 str = malloc_or_die(len);
2085 snprintf(str, len, "(%s) %s (%s)",
2091 right = arg_to_str(filter, arg->op.right);
2095 /* See if we can consolidate */
2096 if (strcmp(right, "TRUE") == 0)
2098 else if (strcmp(right, "FALSE") == 0)
2100 if (right_val >= 0) {
2101 /* just return the opposite */
2102 str = malloc_or_die(6);
2104 strcpy(str, "FALSE");
2106 strcpy(str, "TRUE");
2109 len = strlen(right) + strlen(op) + 3;
2110 str = malloc_or_die(len);
2111 snprintf(str, len, "%s(%s)", op, right);
2123 static char *val_to_str(struct event_filter *filter, struct filter_arg *arg)
2127 str = malloc_or_die(30);
2129 snprintf(str, 30, "%lld", arg->value.val);
2134 static char *field_to_str(struct event_filter *filter, struct filter_arg *arg)
2136 return strdup(arg->field.field->name);
2139 static char *exp_to_str(struct event_filter *filter, struct filter_arg *arg)
2147 lstr = arg_to_str(filter, arg->exp.left);
2148 rstr = arg_to_str(filter, arg->exp.right);
2152 switch (arg->exp.type) {
2153 case FILTER_EXP_ADD:
2156 case FILTER_EXP_SUB:
2159 case FILTER_EXP_MUL:
2162 case FILTER_EXP_DIV:
2165 case FILTER_EXP_MOD:
2168 case FILTER_EXP_RSHIFT:
2171 case FILTER_EXP_LSHIFT:
2174 case FILTER_EXP_AND:
2180 case FILTER_EXP_XOR:
2187 len = strlen(op) + strlen(lstr) + strlen(rstr) + 4;
2188 str = malloc_or_die(len);
2189 snprintf(str, len, "%s %s %s", lstr, op, rstr);
2197 static char *num_to_str(struct event_filter *filter, struct filter_arg *arg)
2205 lstr = arg_to_str(filter, arg->num.left);
2206 rstr = arg_to_str(filter, arg->num.right);
2210 switch (arg->num.type) {
2234 len = strlen(lstr) + strlen(op) + strlen(rstr) + 4;
2235 str = malloc_or_die(len);
2236 sprintf(str, "%s %s %s", lstr, op, rstr);
2251 static char *str_to_str(struct event_filter *filter, struct filter_arg *arg)
2257 switch (arg->str.type) {
2258 case FILTER_CMP_MATCH:
2261 case FILTER_CMP_NOT_MATCH:
2265 case FILTER_CMP_REGEX:
2269 case FILTER_CMP_NOT_REGEX:
2273 len = strlen(arg->str.field->name) + strlen(op) +
2274 strlen(arg->str.val) + 6;
2275 str = malloc_or_die(len);
2276 snprintf(str, len, "%s %s \"%s\"",
2277 arg->str.field->name,
2288 static char *arg_to_str(struct event_filter *filter, struct filter_arg *arg)
2292 switch (arg->type) {
2293 case FILTER_ARG_BOOLEAN:
2294 str = malloc_or_die(6);
2295 if (arg->boolean.value)
2296 strcpy(str, "TRUE");
2298 strcpy(str, "FALSE");
2302 return op_to_str(filter, arg);
2304 case FILTER_ARG_NUM:
2305 return num_to_str(filter, arg);
2307 case FILTER_ARG_STR:
2308 return str_to_str(filter, arg);
2310 case FILTER_ARG_VALUE:
2311 return val_to_str(filter, arg);
2313 case FILTER_ARG_FIELD:
2314 return field_to_str(filter, arg);
2316 case FILTER_ARG_EXP:
2317 return exp_to_str(filter, arg);
2327 * pevent_filter_make_string - return a string showing the filter
2328 * @filter: filter struct with filter information
2329 * @event_id: the event id to return the filter string with
2331 * Returns a string that displays the filter contents.
2332 * This string must be freed with free(str).
2333 * NULL is returned if no filter is found.
2336 pevent_filter_make_string(struct event_filter *filter, int event_id)
2338 struct filter_type *filter_type;
2340 if (!filter->filters)
2343 filter_type = find_filter_type(filter, event_id);
2348 return arg_to_str(filter, filter_type->filter);
2352 * pevent_filter_compare - compare two filters and return if they are the same
2353 * @filter1: Filter to compare with @filter2
2354 * @filter2: Filter to compare with @filter1
2357 * 1 if the two filters hold the same content.
2360 int pevent_filter_compare(struct event_filter *filter1, struct event_filter *filter2)
2362 struct filter_type *filter_type1;
2363 struct filter_type *filter_type2;
2368 /* Do the easy checks first */
2369 if (filter1->filters != filter2->filters)
2371 if (!filter1->filters && !filter2->filters)
2375 * Now take a look at each of the events to see if they have the same
2378 for (i = 0; i < filter1->filters; i++) {
2379 filter_type1 = &filter1->event_filters[i];
2380 filter_type2 = find_filter_type(filter2, filter_type1->event_id);
2383 if (filter_type1->filter->type != filter_type2->filter->type)
2385 switch (filter_type1->filter->type) {
2386 case FILTER_TRIVIAL_FALSE:
2387 case FILTER_TRIVIAL_TRUE:
2388 /* trivial types just need the type compared */
2393 /* The best way to compare complex filters is with strings */
2394 str1 = arg_to_str(filter1, filter_type1->filter);
2395 str2 = arg_to_str(filter2, filter_type2->filter);
2397 result = strcmp(str1, str2) != 0;
2399 /* bail out if allocation fails */
2408 if (i < filter1->filters)