parse-filter.c 52 KB

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