使用属性测试智能体群查找缺陷
智能体群进行资产测试时,在作者代码中发现约30个漏洞;而在像uv这样的开源项目中则发现约100个漏洞,随后许多修复代码被合并进来。
- 具体怎么做
- 作者在关于智能体群进行属性测试的工作会议上做了专题演讲。他们发现雇主的 Codex 中存在约 30 个漏洞。为了撰写一篇不聚焦这些问题的博客文章,他们将相同的方法应用到了开源项目上,包括 uv、Codex 和 Prometheus。该文章并未详细阐述其运作机制。
- 做到了什么
- 作者报告称,在所有开源项目中都发现了约100个漏洞,并表示许多修复方案已合并。该帖子未提供各项目的具体数量统计。
- 上手要点
- 此帖子只是一个简短公告。它未提供任何成本、设置或工具细节,请查阅作者承诺的博客文章以了解具体方法。
你可以这样试
使用 Codex查看 [我的代码库或模块],使用 [Hypothesis / fast-check / 我所用语言的框架] 编写基于属性的测试,针对其核心功能如解析器、序列化器和数据转换功能进行测试。运行这些测试,对于失败的案例,将其简化到最小可复现状态,并告诉我这是否属于真正的漏洞。当您提供一份包含确认漏洞及复现步骤和修复建议的列表时,即可停止工作;未经询问,请勿修改我的源代码。