为什么此方法会引发分段错误？

Question

我正在使用jsmn JSON parser (source code) 从 JSON 中获取一些文本。 jsmn 将数据存储在令牌中，但令牌不保存任何数据，它们只是指向 JSON 字符串中的令牌边界。例如，jsmn 将创建如下标记：

• 对象 [0..31]
• 字符串 [3..7]、字符串 [12..16]、字符串 [20..23]
• 编号 [27..29]

此方法用于检索这些值之间的实际字符（对于字符串对象）：

char* getTextFromJSON(const char *json)
{
    if (!json) return NULL;

    json_parser p;
    #define N_TOKENS 15  // this normally would be at the start of the file
    jsontok_t tokens[N_TOKENS];

    initJsonParser(&p);
    int err parseJson(&p, json, tokens, N_TOKENS);
    if (err) {
    fprintf(stdout, "Error parsing JSON: %d\n", err);
    return NULL;
    }
    for (int i = 0; i < N_TOKENS; ++i) {
        jsontok_t *key = &tokens[i];
        if (!memcmp("utterance", &json[key->start], (size_t) (key->end - key->start))) {
            ++key;
            return strndup(&json[key->start], (size_t)(key->end - key->start));
        }
    }
    return NULL;
}

以下是一些将被放入解析器的 JSON 示例：

• {"status":0,"id":"432eac38858968c108899cc6c3a4bade-1","hypotheses":[{"utterance":"test","confidence":0.84134156}]}
• {"status":5,"id":"695118aaa3d01dc2ac4aa8054d1e5bb0-1","hypotheses":[]}

将第一个示例 JSON 传递给该方法后，我得到了从该方法返回的“test”的预期值。但是，在将空 JSON 传递给该方法后，我在条件 if 语句的 for 循环的第 8 次迭代中遇到了分段错误。

有什么建议吗？

这里是十六进制值：

key->start: 0x00000000
key->end - key->start: 0x00000046
key->start: 0x00000002
key->end - key->start: 0x00000006
key->start: 0x0000000A
key->end - key->start: 0x00000001
key->start: 0x0000000D
key->end - key->start: 0x00000002
key->start: 0x00000012
key->end - key->start: 0x00000022
key->start: 0x00000037
key->end - key->start: 0x0000000A
key->start: 0x00000043
key->end - key->start: 0x00000002
key->start: 0x3A7B3188
key->end - key->start: 0x7A0F0766

Answer 1

EDIT查看源代码后...

for (i = parser->toknext; i < num_tokens; i++) {
    jsmn_fill_token(&tokens[i], JSMN_PRIMITIVE, -1, -1);
}

它初始化所有结构，但 ->start 和->end 将等于 -1，这就是 memcmp 失败的原因。

for (int i = 0; i < N_TOKENS; ++i) {
    jsontok_t *key = &tokens[i];
    if (key->start == -1) return NULL;
    if (!memcmp("utterance", &json[key->start], (size_t) (key->end - key->start))) {
        ++key;
        return strndup(&json[key->start], (size_t)(key->end - key->start));
    }
}

在 ->start 或 ->end 中检查 -1 值就足够了。

Answer 2

您的tokens[] 数组在您将其传递给parseJson() 之前未初始化，因此一旦您迭代超过最后一个令牌（第二个示例中的第七个），您将尝试在未初始化的无意义地址值上运行memcmp() .这导致你的段错误。将tokens[] 初始化为某个值，然后在for() 循环期间检查开始/结束字段中的初始化值。

例如，我可能会将tokens[] 初始化为零（通过memset(&tokens, 0, sizeof(tokens));）并在循环的每次迭代期间检查长度为零（key->end - key->start），以查看令牌在传递给之前是否实际有效memcmp()。如果令牌的长度为零，则使用 break; 退出循环。

（或者，如果令牌可以具有合法的零长度，请使用其他值。）