news 2026/1/9 15:17:21

只要一个 GPT 客户端,把一个代码审计员塞入口袋

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
只要一个 GPT 客户端,把一个代码审计员塞入口袋

很多程序员都会用 GPT 改代码。

但真正敢把 GPT 当“代码审计员”用的,其实不多。

原因很简单:
大多数时候,GPT 只是帮你“写得更像样”,而不是告诉你“这段代码能不能过”。


一个很现实的问题:

程序员不用任何方法论,直接把代码丢给 GPT,能不能完成代码审计?

答案是:改代码可以,审计不行。

因为代码审计至少要回答一个问题:

在明确需求约束下,这个实现是 PASS 还是 FAIL?

而不是“还能不能优化一下”。


我做了一个最小代码审计样例,只验证一个工程决策

技术栈非常普通:

  • FastAPI

  • JWT

  • 单接口、多租户

我只问一个问题:

tenant_id 的唯一可信来源是什么?

最终工程裁决是:

tenant_id 只能来自 JWT payload。
所有请求参数、Header、Path 中的 tenant_id 一律判定为违规。

这是一个冻结决策,没有配置项,没有兜底逻辑。


为什么这是一个“代码审计”问题,而不是“业务设计”问题?

因为一旦 tenant_id 来源不唯一,就会产生三类不可审计风险:

  1. 跨租户越权无法被彻底证明不存在

  2. 安全问题只能靠“约定”,而不是代码结构

  3. Review 时每个人的理解都不一样

换句话说:

系统是否安全,变成了一个“靠人记得住”的问题。


这个项目不是教学,也不是完整系统

仓库里刻意只保留了五类文件:

  • requirements.md
    冻结需求,禁止解释、禁止扩展

  • implementation/
    最小可运行实现,只为验证裁决

  • tests
    用失败来证明边界

  • audit/
    完整审计输入、拒绝点、差异说明

  • verdict.md
    最终裁决:PASS / FAIL(带原因)

这不是“最佳实践”,而是“可复现裁决”。


GPT 在这里扮演的不是“助手”,而是“审计执行者”

关键不在模型多聪明,而在你是否给了它:

  • 明确、冻结、不可协商的需求

  • 明确的违规判定标准

  • 明确的裁决输出格式

当这些条件满足后:

一个 GPT 客户端,就足以承担一次完整的代码审计流程。


为什么我把完整过程放进仓库?

因为如果:

  • 审计结论不能复现

  • 审计标准不能被第三方查看

  • 裁决过程只能“信我说的”

那它就不叫审计。


仓库地址

完整示例在这里(包含实现 + 审计 + 最终裁决):

👉 https://github.com/yuer-dsl/lsr-method

不需要读完。
你只要看一眼requirements.mdverdict.md,就会明白我在做什么。


结语

大多数安全事故,不是因为代码不会写,
而是因为工程决策从一开始就没有被“冻结”

当你开始用 GPT 去执行“裁决”,而不是“帮忙想想”,
它的价值会完全不一样。

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2025/12/22 21:48:32

边缘智能存储革命:s3fs-fuse如何重塑云端数据访问范式

边缘智能存储革命:s3fs-fuse如何重塑云端数据访问范式 【免费下载链接】s3fs-fuse FUSE-based file system backed by Amazon S3 项目地址: https://gitcode.com/gh_mirrors/s3/s3fs-fuse 在边缘计算蓬勃发展的今天,数据访问的延迟和带宽限制已成…

作者头像 李华
网站建设 2026/1/7 18:42:52

Easy Dataset:构建高质量LLM微调数据集的完整解决方案

Easy Dataset:构建高质量LLM微调数据集的完整解决方案 【免费下载链接】easy-dataset A powerful tool for creating fine-tuning datasets for LLM 项目地址: https://gitcode.com/gh_mirrors/ea/easy-dataset 在当今大语言模型快速发展的背景下&#xff0c…

作者头像 李华
网站建设 2025/12/22 12:29:51

Obsidian Linter重构指南:打造个性化笔记格式的终极方案

Obsidian Linter重构指南:打造个性化笔记格式的终极方案 【免费下载链接】obsidian-linter An Obsidian plugin that formats and styles your notes with a focus on configurability and extensibility. 项目地址: https://gitcode.com/gh_mirrors/ob/obsidian-…

作者头像 李华
网站建设 2026/1/8 21:33:29

GLM-4.5-FP8:如何用8张GPU运行3550亿参数的大模型?

GLM-4.5-FP8:如何用8张GPU运行3550亿参数的大模型? 【免费下载链接】GLM-4.5-FP8 项目地址: https://ai.gitcode.com/zai-org/GLM-4.5-FP8 还在为千亿级大模型的部署成本发愁吗?🤔 智谱AI最新开源的GLM-4.5-FP8给出了惊艳…

作者头像 李华
网站建设 2025/12/22 15:15:15

2025年中国磁悬浮离心鼓风机主流技术路线与性能对标分析

报告编号: IR-2025-EQ-MAGLEV报告日期: 2025年12月发布机构: 工业装备技术研究院(第三方)分析师: 资深流体机械设备分析师1. 行业现状:能效标准的物理定义在《工业能效提升行动计划》的框架下&a…

作者头像 李华
网站建设 2025/12/24 12:07:32

OpenWrt访问控制终极指南:构建智能家庭网络时间管理系统

在数字化家庭环境中,科学管理网络使用时间已成为现代家庭的迫切需求。OpenWrt访问控制模块通过精准的时间调度和设备识别技术,为家庭网络提供了专业级的管控解决方案,帮助家长轻松管理孩子的上网时间,优化家庭作息规律。 【免费下…

作者头像 李华