ts_bm.c 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205
  1. // SPDX-License-Identifier: GPL-2.0-or-later
  2. /*
  3. * lib/ts_bm.c Boyer-Moore text search implementation
  4. *
  5. * Authors: Pablo Neira Ayuso <[email protected]>
  6. *
  7. * ==========================================================================
  8. *
  9. * Implements Boyer-Moore string matching algorithm:
  10. *
  11. * [1] A Fast String Searching Algorithm, R.S. Boyer and Moore.
  12. * Communications of the Association for Computing Machinery,
  13. * 20(10), 1977, pp. 762-772.
  14. * https://www.cs.utexas.edu/users/moore/publications/fstrpos.pdf
  15. *
  16. * [2] Handbook of Exact String Matching Algorithms, Thierry Lecroq, 2004
  17. * http://www-igm.univ-mlv.fr/~lecroq/string/string.pdf
  18. *
  19. * Note: Since Boyer-Moore (BM) performs searches for matchings from right
  20. * to left, it's still possible that a matching could be spread over
  21. * multiple blocks, in that case this algorithm won't find any coincidence.
  22. *
  23. * If you're willing to ensure that such thing won't ever happen, use the
  24. * Knuth-Pratt-Morris (KMP) implementation instead. In conclusion, choose
  25. * the proper string search algorithm depending on your setting.
  26. *
  27. * Say you're using the textsearch infrastructure for filtering, NIDS or
  28. * any similar security focused purpose, then go KMP. Otherwise, if you
  29. * really care about performance, say you're classifying packets to apply
  30. * Quality of Service (QoS) policies, and you don't mind about possible
  31. * matchings spread over multiple fragments, then go BM.
  32. */
  33. #include <linux/kernel.h>
  34. #include <linux/module.h>
  35. #include <linux/types.h>
  36. #include <linux/string.h>
  37. #include <linux/ctype.h>
  38. #include <linux/textsearch.h>
  39. /* Alphabet size, use ASCII */
  40. #define ASIZE 256
  41. #if 0
  42. #define DEBUGP printk
  43. #else
  44. #define DEBUGP(args, format...)
  45. #endif
  46. struct ts_bm
  47. {
  48. u8 * pattern;
  49. unsigned int patlen;
  50. unsigned int bad_shift[ASIZE];
  51. unsigned int good_shift[];
  52. };
  53. static unsigned int bm_find(struct ts_config *conf, struct ts_state *state)
  54. {
  55. struct ts_bm *bm = ts_config_priv(conf);
  56. unsigned int i, text_len, consumed = state->offset;
  57. const u8 *text;
  58. int bs;
  59. const u8 icase = conf->flags & TS_IGNORECASE;
  60. for (;;) {
  61. int shift = bm->patlen - 1;
  62. text_len = conf->get_next_block(consumed, &text, conf, state);
  63. if (unlikely(text_len == 0))
  64. break;
  65. while (shift < text_len) {
  66. DEBUGP("Searching in position %d (%c)\n",
  67. shift, text[shift]);
  68. for (i = 0; i < bm->patlen; i++)
  69. if ((icase ? toupper(text[shift-i])
  70. : text[shift-i])
  71. != bm->pattern[bm->patlen-1-i])
  72. goto next;
  73. /* London calling... */
  74. DEBUGP("found!\n");
  75. return consumed + (shift-(bm->patlen-1));
  76. next: bs = bm->bad_shift[text[shift-i]];
  77. /* Now jumping to... */
  78. shift = max_t(int, shift-i+bs, shift+bm->good_shift[i]);
  79. }
  80. consumed += text_len;
  81. }
  82. return UINT_MAX;
  83. }
  84. static int subpattern(u8 *pattern, int i, int j, int g)
  85. {
  86. int x = i+g-1, y = j+g-1, ret = 0;
  87. while(pattern[x--] == pattern[y--]) {
  88. if (y < 0) {
  89. ret = 1;
  90. break;
  91. }
  92. if (--g == 0) {
  93. ret = pattern[i-1] != pattern[j-1];
  94. break;
  95. }
  96. }
  97. return ret;
  98. }
  99. static void compute_prefix_tbl(struct ts_bm *bm, int flags)
  100. {
  101. int i, j, g;
  102. for (i = 0; i < ASIZE; i++)
  103. bm->bad_shift[i] = bm->patlen;
  104. for (i = 0; i < bm->patlen - 1; i++) {
  105. bm->bad_shift[bm->pattern[i]] = bm->patlen - 1 - i;
  106. if (flags & TS_IGNORECASE)
  107. bm->bad_shift[tolower(bm->pattern[i])]
  108. = bm->patlen - 1 - i;
  109. }
  110. /* Compute the good shift array, used to match reocurrences
  111. * of a subpattern */
  112. bm->good_shift[0] = 1;
  113. for (i = 1; i < bm->patlen; i++)
  114. bm->good_shift[i] = bm->patlen;
  115. for (i = bm->patlen-1, g = 1; i > 0; g++, i--) {
  116. for (j = i-1; j >= 1-g ; j--)
  117. if (subpattern(bm->pattern, i, j, g)) {
  118. bm->good_shift[g] = bm->patlen-j-g;
  119. break;
  120. }
  121. }
  122. }
  123. static struct ts_config *bm_init(const void *pattern, unsigned int len,
  124. gfp_t gfp_mask, int flags)
  125. {
  126. struct ts_config *conf;
  127. struct ts_bm *bm;
  128. int i;
  129. unsigned int prefix_tbl_len = len * sizeof(unsigned int);
  130. size_t priv_size = sizeof(*bm) + len + prefix_tbl_len;
  131. conf = alloc_ts_config(priv_size, gfp_mask);
  132. if (IS_ERR(conf))
  133. return conf;
  134. conf->flags = flags;
  135. bm = ts_config_priv(conf);
  136. bm->patlen = len;
  137. bm->pattern = (u8 *) bm->good_shift + prefix_tbl_len;
  138. if (flags & TS_IGNORECASE)
  139. for (i = 0; i < len; i++)
  140. bm->pattern[i] = toupper(((u8 *)pattern)[i]);
  141. else
  142. memcpy(bm->pattern, pattern, len);
  143. compute_prefix_tbl(bm, flags);
  144. return conf;
  145. }
  146. static void *bm_get_pattern(struct ts_config *conf)
  147. {
  148. struct ts_bm *bm = ts_config_priv(conf);
  149. return bm->pattern;
  150. }
  151. static unsigned int bm_get_pattern_len(struct ts_config *conf)
  152. {
  153. struct ts_bm *bm = ts_config_priv(conf);
  154. return bm->patlen;
  155. }
  156. static struct ts_ops bm_ops = {
  157. .name = "bm",
  158. .find = bm_find,
  159. .init = bm_init,
  160. .get_pattern = bm_get_pattern,
  161. .get_pattern_len = bm_get_pattern_len,
  162. .owner = THIS_MODULE,
  163. .list = LIST_HEAD_INIT(bm_ops.list)
  164. };
  165. static int __init init_bm(void)
  166. {
  167. return textsearch_register(&bm_ops);
  168. }
  169. static void __exit exit_bm(void)
  170. {
  171. textsearch_unregister(&bm_ops);
  172. }
  173. MODULE_LICENSE("GPL");
  174. module_init(init_bm);
  175. module_exit(exit_bm);