c - wprintf是否在valgrind中导致“条件跳转或移动取决于未初始化的值”？

我正在尝试对解决以下问题的函数进行编码（这是不礼貌的，为了描述下面的代码，我正在对其进行描述）：

给定单词和规则形式：“ lhs-> rhs”，其中word = lhs ^后缀，输出rhs ^后缀，例如：

如果单词是“ input”，规则是“ in-> out”，则该函数将返回单词“ output”，如果规则不能用于单词，则返回NULL。

但是有一个不同之处：“ lhs”可能还包含数字变量（除了字母之外），例如e。 G。在这种情况下，“ 01-> 10”会将该规则在“ niput”上使用时将“ niput”转换为“ input”（因此数字对应于位于特定位置的字母）。

这是代码：

#include <wchar.h>
#include <stdlib.h>
#include <stdio.h>

#define MAX_WORD_SIZE 101

wchar_t *transform_by_rule(wchar_t *word, wchar_t *lhs, wchar_t *rhs)
{
    int i;
    long int wint;
    int lhs_len = wcslen(lhs);
    int rhs_len = wcslen(rhs);
    int word_len = wcslen(word);

    // Initial check - does lhs fit to word
    if (word_len < lhs_len)
        return NULL;
    for (i = 0; i < lhs_len; i++)
    {
        if (iswdigit(lhs[i]))
            continue;
        else
        {
            if (lhs[i] != word[i])
                return NULL;
        }
    }

    wchar_t *result =
        malloc((rhs_len + 1) * sizeof(wchar_t));
    wchar_t int_wchar_map[10];
    for (i = 0; i < lhs_len; i++)
    {
        if (iswdigit(lhs[i]))
        {
            wint = lhs[i] - L'0';
            int_wchar_map[wint] = word[i];
        }
    }
    for (i = 0; i < rhs_len; i++)
    {
        if (iswdigit(rhs[i]))
        {
            wint = rhs[i] - L'0';
            result[i] = int_wchar_map[wint];
        }
        else
        {
            result[i] = rhs[i];
        }
    }
    return result;
}


int main()
{
    wchar_t word[MAX_WORD_SIZE];
    wchar_t lhs[MAX_WORD_SIZE];
    wchar_t rhs[MAX_WORD_SIZE];
    wscanf(L"%ls", word);
    wscanf(L"%ls", lhs);
    wscanf(L"%ls", rhs);
    wchar_t *result = transform_by_rule(word, lhs, rhs);
    if (result != NULL)
    {
        wprintf(L"%ls\n", result); // line 67
        free(result);
    }
    else
    {
        puts("Rule doesn't fit to word.");
    }
    return 0;
}

这是问题所在。当在valgrind下运行输入“ a”（单词），“ a”（lhs），“ b”（rhs）时，valgrind输出错误：

==6094== Conditional jump or move depends on uninitialised value(s)
==6094==    at 0x4C30E19: wcslen (in /usr/lib64/valgrind/vgpreload_memcheck-amd64-linux.so)
==6094==    by 0x4E8C3F6: vfwprintf (in /usr/lib64/libc-2.20.so)
==6094==    by 0x4EA7448: wprintf (in /usr/lib64/libc-2.20.so)
==6094==    by 0x4009AA: main (main.c:67)

我的代码没有任何问题。 wprintf（）是否有问题？

最佳答案

从result返回之前，transform_by_rule()不以零结尾。因此，当在其返回值上调用wprintf()时，wprintf()可能会越界读取，因为在分配的内存块中可能不会遇到终止宽字符。

使用wchar_t *result = calloc(rhs_len + 1, sizeof(wchar_t));，如果您确定不覆盖transform_by_rule()内部的边界，则会自动获得正确终止的字符串。

关于c - wprintf是否在valgrind中导致“条件跳转或移动取决于未初始化的值”？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/30672981/