diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 09:51:24 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 09:51:24 +0000 |
commit | f7548d6d28c313cf80e6f3ef89aed16a19815df1 (patch) | |
tree | a3f6f2a3f247293bee59ecd28e8cd8ceb6ca064a /src/lib/str-find.c | |
parent | Initial commit. (diff) | |
download | dovecot-upstream.tar.xz dovecot-upstream.zip |
Adding upstream version 1:2.3.19.1+dfsg1.upstream/1%2.3.19.1+dfsg1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | src/lib/str-find.c | 183 |
1 files changed, 183 insertions, 0 deletions
diff --git a/src/lib/str-find.c b/src/lib/str-find.c new file mode 100644 index 0000000..56d8069 --- /dev/null +++ b/src/lib/str-find.c @@ -0,0 +1,183 @@ +/* Copyright (c) 2007-2018 Dovecot authors, see the included COPYING file */ + +/* @UNSAFE: whole file */ + +#include "lib.h" +#include "str-find.h" + +struct str_find_context { + pool_t pool; + unsigned char *key; + unsigned int key_len; + + unsigned int *matches; + unsigned int match_count; + + size_t match_end_pos; + + int badtab[UCHAR_MAX+1]; + int goodtab[FLEXIBLE_ARRAY_MEMBER]; +}; + +static void init_badtab(struct str_find_context *ctx) +{ + unsigned int i, len_1 = ctx->key_len - 1; + + for (i = 0; i <= UCHAR_MAX; i++) + ctx->badtab[i] = ctx->key_len; + + for (i = 0; i < len_1; i++) + ctx->badtab[ctx->key[i]] = len_1 - i; +} + +static void init_suffixes(struct str_find_context *ctx, unsigned int *suffixes) +{ + unsigned int len_1 = ctx->key_len - 1; + int f = 0, g, i; + + suffixes[len_1] = ctx->key_len; + g = len_1; + for (i = (int)ctx->key_len - 2; i >= 0; i--) { + if (i > g && (int)suffixes[i + len_1 - f] < i - g) + suffixes[i] = suffixes[i + len_1 - f]; + else { + if (i < g) + g = i; + f = i; + while (g >= 0 && ctx->key[g] == ctx->key[g + len_1 - f]) + g--; + suffixes[i] = f - g; + } + } +} + +static void init_goodtab(struct str_find_context *ctx) +{ + unsigned int *suffixes; + int j, i, len_1 = ctx->key_len - 1; + + suffixes = t_buffer_get(sizeof(*suffixes) * ctx->key_len); + init_suffixes(ctx, suffixes); + + for (i = 0; i < (int)ctx->key_len; i++) + ctx->goodtab[i] = ctx->key_len; + + j = 0; + for (i = len_1; i >= -1; i--) { + if (i < 0 || suffixes[i] == (unsigned int)i + 1) { + for (; j < len_1 - i; j++) { + if (ctx->goodtab[j] == (int)ctx->key_len) + ctx->goodtab[j] = len_1 - i; + } + } + } + for (i = 0; i <= (int)ctx->key_len - 2; i++) + ctx->goodtab[len_1 - suffixes[i]] = len_1 - i; +} + +struct str_find_context *str_find_init(pool_t pool, const char *key) +{ + struct str_find_context *ctx; + size_t key_len = strlen(key); + + i_assert(key_len > 0); + i_assert(key_len < INT_MAX); + + ctx = p_malloc(pool, MALLOC_ADD(sizeof(struct str_find_context), + MALLOC_MULTIPLY(sizeof(ctx->goodtab[0]), key_len))); + ctx->pool = pool; + ctx->matches = p_new(pool, unsigned int, key_len); + ctx->key_len = key_len; + ctx->key = p_malloc(pool, key_len); + memcpy(ctx->key, key, key_len); + + init_goodtab(ctx); + init_badtab(ctx); + return ctx; +} + +void str_find_deinit(struct str_find_context **_ctx) +{ + struct str_find_context *ctx = *_ctx; + + *_ctx = NULL; + p_free(ctx->pool, ctx->matches); + p_free(ctx->pool, ctx->key); + p_free(ctx->pool, ctx); +} + +bool str_find_more(struct str_find_context *ctx, + const unsigned char *data, size_t size) +{ + unsigned int key_len = ctx->key_len; + unsigned int i, j, a, b; + int bad_value; + + for (i = j = 0; i < ctx->match_count; i++) { + a = ctx->matches[i]; + if (ctx->matches[i] + size >= key_len) { + /* we can fully determine this match now */ + for (; a < key_len; a++) { + if (ctx->key[a] != data[a - ctx->matches[i]]) + break; + } + + if (a == key_len) { + ctx->match_end_pos = key_len - ctx->matches[i]; + return TRUE; + } + } else { + for (b = 0; b < size; b++) { + if (ctx->key[a+b] != data[b]) + break; + } + + if (b == size) + ctx->matches[j++] = a + size; + } + } + if (j > 0) { + i_assert(j + size < key_len); + ctx->match_count = j; + j = 0; + } else { + /* Boyer-Moore searching */ + j = 0; + while (j + key_len <= size) { + i = key_len - 1; + while (ctx->key[i] == data[i + j]) { + if (i == 0) { + ctx->match_end_pos = j + key_len; + return TRUE; + } + i--; + } + + bad_value = (int)(ctx->badtab[data[i + j]] + i + 1) - + (int)key_len; + j += I_MAX(ctx->goodtab[i], bad_value); + } + i_assert(j <= size); + ctx->match_count = 0; + } + + for (; j < size; j++) { + for (i = j; i < size; i++) { + if (ctx->key[i-j] != data[i]) + break; + } + if (i == size) + ctx->matches[ctx->match_count++] = size - j; + } + return FALSE; +} + +size_t str_find_get_match_end_pos(struct str_find_context *ctx) +{ + return ctx->match_end_pos; +} + +void str_find_reset(struct str_find_context *ctx) +{ + ctx->match_count = 0; +} |