pointer comparsion undefined behavior in cJSON_SetValuestring

未关闭 适合新手
#1,106 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

维护者通常 12 天内回复

还没有人认领这个 Issue。

评估

难度
2/5
预计耗时
1-3 小时
新手友好度
68/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
活跃
技术栈
c
领域
backend

调研方向

从 cJSON.c 中的 cJSON_SetValuestring 开始,检查 issue 中展示的指针范围比较。查看项目中针对该函数的测试,并添加对位于不同地址的 valuestring 指针的覆盖;issue 没有提供测试文件名。修正未定义的指针比较并且相关测试通过后,即视为完成。

由索引模型根据 Issue 内容生成。

描述

A pointer comparsion undefined behavior was identified in cJSON.c , function cJSON_SetValuestring(cJSON *object, const char *valuestring)

UB Analysis:
v1_len = strlen(valuestring);
v2_len = strlen(object->valuestring);

    if (v1_len <= v2_len)
    {
        if (!( valuestring + v1_len < object->valuestring || object->valuestring + v2_len < valuestring )) // here 
        {
            return NULL;
        }
        strcpy(object->valuestring, valuestring);
        return object->valuestring;
    }
...

when object->valuestring and valuestring pointer to different address , this two pointer comparsion is undefined behavior

主要语言
C
星标
13.1k
派生
3.6k
PR 合并指标
30 天内没有已合并 PR

环境准备

  • 没有 Dockerfile 或 Docker Compose 文件
  • 没有 Pull Request 模板
  • 阅读贡献指南

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

DaveGamble/cJSON 的其他 Issue

查看 DaveGamble/cJSON 的全部 Issue

相似的 Issue

更多 C Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。