首页
社区
课程
招聘
[原创]基于sunday算法的特征码搜索(支持带问号)
2021-6-1 02:53 14676

[原创]基于sunday算法的特征码搜索(支持带问号)

2021-6-1 02:53
14676

今天重构自己的内存库时,赶脚内存搜索的实现也太简陋了,简直不忍直视,于是乎赶紧花了点时间写了份基于sunday算法的内存搜索,先不管效率怎么样,最起码听起来挺高大上的(雾

本着有bug大家一起找的原则,赶紧把代码扔出来让大家康康~

考虑到单纯的sunday是一个字节一个字节对比的,效率很低,所以决定采用对字节对齐等问题进行了优化的memmem函数来寻找与第一段值匹配的位置。题主是在windows测试的,没有memmem函数,所以就从musl里扣了一个,如果是android的话,libc已经提供了可用的memmem。

#include <cstring>
#include <iostream>
#include <vector>


static char *twobyte_memmem(const unsigned char *h, size_t k, const unsigned char *n) {
    uint16_t nw = n[0] << 8 | n[1], hw = h[0] << 8 | h[1];
    for (h += 2, k -= 2; k; k--, hw = hw << 8 | *h++)
        if (hw == nw) return (char *) h - 2;
    return hw == nw ? (char *) h - 2 : nullptr;
}

static char *threebyte_memmem(const unsigned char *h, size_t k, const unsigned char *n) {
    uint32_t nw = (uint32_t) n[0] << 24 | n[1] << 16 | n[2] << 8;
    uint32_t hw = (uint32_t) h[0] << 24 | h[1] << 16 | h[2] << 8;
    for (h += 3, k -= 3; k; k--, hw = (hw | *h++) << 8)
        if (hw == nw) return (char *) h - 3;
    return hw == nw ? (char *) h - 3 : nullptr;
}

static char *fourbyte_memmem(const unsigned char *h, size_t k, const unsigned char *n) {
    uint32_t nw = (uint32_t) n[0] << 24 | n[1] << 16 | n[2] << 8 | n[3];
    uint32_t hw = (uint32_t) h[0] << 24 | h[1] << 16 | h[2] << 8 | h[3];
    for (h += 4, k -= 4; k; k--, hw = hw << 8 | *h++)
        if (hw == nw) return (char *) h - 4;
    return hw == nw ? (char *) h - 4 : nullptr;
}

#define MAX(a, b) ((a)>(b)?(a):(b))

#define BITOP(a, b, op) \
 ((a)[(size_t)(b)/(8*sizeof *(a))] op (size_t)1<<((size_t)(b)%(8*sizeof *(a))))

static char *twoway_memmem(const unsigned char *h, const unsigned char *z, const unsigned char *n, size_t l) {
    size_t i, ip, jp, k, p, ms, p0, mem, mem0;
    size_t byteset[32 / sizeof(size_t)] = {0};
    size_t shift[256];

    /* Computing length of needle and fill shift table */
    for (i = 0; i < l; i++)
        BITOP(byteset, n[i], |=), shift[n[i]] = i + 1;

    /* Compute maximal suffix */
    ip = -1;
    jp = 0;
    k = p = 1;
    while (jp + k < l) {
        if (n[ip + k] == n[jp + k]) {
            if (k == p) {
                jp += p;
                k = 1;
            } else k++;
        } else if (n[ip + k] > n[jp + k]) {
            jp += k;
            k = 1;
            p = jp - ip;
        } else {
            ip = jp++;
            k = p = 1;
        }
    }
    ms = ip;
    p0 = p;

    /* And with the opposite comparison */
    ip = -1;
    jp = 0;
    k = p = 1;
    while (jp + k < l) {
        if (n[ip + k] == n[jp + k]) {
            if (k == p) {
                jp += p;
                k = 1;
            } else k++;
        } else if (n[ip + k] < n[jp + k]) {
            jp += k;
            k = 1;
            p = jp - ip;
        } else {
            ip = jp++;
            k = p = 1;
        }
    }
    if (ip + 1 > ms + 1) ms = ip;
    else p = p0;

    /* Periodic needle? */
    if (memcmp(n, n + p, ms + 1)) {
        mem0 = 0;
        p = MAX(ms, l - ms - 1) + 1;
    } else mem0 = l - p;
    mem = 0;

    /* Search loop */
    for (;;) {
        /* If remainder of haystack is shorter than needle, done */
        if (z - h < l) return 0;

        /* Check last byte first; advance by shift on mismatch */
        if (BITOP(byteset, h[l - 1], &)) {
            k = l - shift[h[l - 1]];
            if (k) {
                if (k < mem) k = mem;
                h += k;
                mem = 0;
                continue;
            }
        } else {
            h += l;
            mem = 0;
            continue;
        }

        /* Compare right half */
        for (k = MAX(ms + 1, mem); k < l && n[k] == h[k]; k++);
        if (k < l) {
            h += k - ms;
            mem = 0;
            continue;
        }
        /* Compare left half */
        for (k = ms + 1; k > mem && n[k - 1] == h[k - 1]; k--);
        if (k <= mem) return (char *) h;
        h += p;
        mem = mem0;
    }
}

void *memmem(const void *h0, size_t k, const void *n0, size_t l) {
    const auto *h = static_cast<const unsigned char *>(h0), *n = static_cast<const unsigned char *>(n0);

    /* Return immediately on empty needle */
    if (!l) return (void *) h;

    /* Return immediately when needle is longer than haystack */
    if (k < l) return nullptr;

    /* Use faster algorithms for short needles */
    h = static_cast<const unsigned char *>(memchr(h0, *n, k));
    if (!h || l == 1) return (void *) h;
    k -= h - (const unsigned char *) h0;
    if (k < l) return nullptr;
    if (l == 2) return twobyte_memmem(h, k, n);
    if (l == 3) return threebyte_memmem(h, k, n);
    if (l == 4) return fourbyte_memmem(h, k, n);

    return twoway_memmem(h, h + k, n, l);
}



struct value_t {
    std::vector<char> bytes;
    int offset = 0;
};

void init_code_last_positions(std::vector<value_t> &values, int *code_last_positions) {
    int position = 0;
    for (auto &value: values) {
        char *bytes = &value.bytes[0];

        position += value.offset;
        int size = value.bytes.size();
        for (int m = 0; m < size; m++) {
            code_last_positions[bytes[m]] = position++;
        }
    }
}

std::vector<uintptr_t> sunday_mem_search(uintptr_t base, char *buffer, size_t buffer_length, std::vector<value_t> &values, int values_length, int last_value_offset) {
    std::vector<uintptr_t> res;

    int code_last_positions[256];
    memset(code_last_positions, -1, 256);
    init_code_last_positions(values, code_last_positions);
    auto diff = buffer_length - values_length;

    auto first_value_bytes = &values[0].bytes[0];
    auto first_value_byte_num = values[0].bytes.size();

    int values_nums = values.size();
    for (int buffer_index = 0; buffer_index <= diff;) {

        auto first_pos = memmem(buffer + buffer_index, buffer_length - buffer_index, first_value_bytes, first_value_byte_num);
        if (!first_pos)
            return;
        buffer_index = ((char *) first_pos - (char *) buffer) + first_value_byte_num;
        int patten_index = first_value_byte_num;

        for (int i = 1; i < values_nums; ++i) {
            auto &value = values[i];

            buffer_index += value.offset;
            patten_index += value.offset;

            char *bytes = &value.bytes[0];
            int size = value.bytes.size();
            int m = 0;
            while (m < size) {
                if (buffer[buffer_index] == bytes[m++]) {
                    buffer_index++;
                    patten_index++;
                } else {
                    int next_index = buffer_index + values_length - patten_index;
                    int code_last_position = code_last_positions[buffer[next_index]];
                    buffer_index =
                            code_last_position == -1 ? next_index - last_value_offset : next_index - code_last_position;
                    break;
                }
            }
            if (m != size)
                break;
        }
        if (patten_index == values_length) {
            std::cout << base + (buffer_index - values_length) << std::endl;
            res.emplace_back(base + (buffer_index - values_length));
        }
    }
    return res;
}

int main(int argc, char *argv[]) {
    std::vector<char> string = { 1,  2,  3,   0x21, 0x41, 0, 0, 0x2f, 0x7b, 0, 0, 0, 0x41, 0x00,
                                14, 15, 16,   0x21, 0x41, 7, 9, 0x2f, 0x7b, 5, 3, 4, 0x41, 0x00};

    // 等价于 21 41 ?? ?? 2f 7b ?? ?? ?? 41 00, 一共11个字节,最后一个??后第一个字节的offset是9
    std::vector<value_t> patten = {{{0x21, 0x41}},
                                   {{0x2f, 0x7b}, 2},
                                   {{0x41, 0x00}, 3}};

    sunday_mem_search(0, &string[0], string.size(), patten, 11, 9);
    return 0;
}



[培训]《安卓高级研修班(网课)》月薪三万计划,掌握调试、分析还原ollvm、vmp的方法,定制art虚拟机自动化脱壳的方法

最后于 2021-6-1 13:05 被不吃早饭编辑 ,原因:
收藏
点赞8
打赏
分享
最新回复 (7)
雪    币: 2063
活跃值: (3823)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
lhxdiao 2021-6-1 05:32
2
0
不错哦,当年都是子字节集查找的,只要处理器主频、内存频率带宽足够高,卡顿就跟不上你
雪    币: 225
活跃值: (1487)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
wx_0xC05StackOver 2021-6-1 12:55
3
0
这个东西应该是类似kmp的优化版本 特征码搜索用这个算法非常合适
雪    币: 1243
活跃值: (1815)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
库尔 2021-6-1 14:40
4
0
感谢分享,留着吃灰
雪    币: 6
活跃值: (2985)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
咖啡_741298 2021-6-1 17:38
5
0
目测有bug
雪    币: 29
活跃值: (5120)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
不吃早饭 2021-6-1 18:44
6
0
咖啡_741298 目测有bug
求喷
雪    币: 2
活跃值: (1443)
能力值: ( LV2,RANK:10 )
在线值:
发帖
回帖
粉丝
azd放 2023-5-10 11:11
7
0
经过测试发现一些问题,大佬能否修正?类似于这种形式的特征:0x21,?,?,?,?,?,?,?,?,?,?,?,?,?,0x21,?,?,?,?,?,?,?,?,?,?,?,?,?,0x33,,?,?,?,?,?,?,?,?,?,?,?,?,?,0x22,搜索的时候就会找不到
游客
登录 | 注册 方可回帖
返回