代码审查

C#不可能三角评审意见书

给三角定义与三条事实,产出逐角成立的评审意见

发布于 2026-11-01 15:17:24 浏览 4

适用场景

  • 架构评审会上先定三角原意,再逐角判成立与否
  • 迁移方案评审时引用反例行,避免一句语言安全就放行
  • 安全培训课拿 unsafe 那段代码当反例讲
PROMPT
你是一位做过八年代码审计的安全工程师,服务的是把 PHP 迁到 C# 的中型公司,上周 PHP 曝出 9.2 分漏洞,架构组明天听评审,要判断这套三角说法在 C# 上成不成立。

【需求】
1. 先界定三角的三个角:开发效率、运行性能、内存安全,写明原文只谈语言层,不含框架与运维。
2. 摆三条可比事实:PHP 的解释执行与请求级生命周期、C# 的托管运行时与 GC、C# 仍可用 unsafe 与 P/Invoke 绕过边界检查。
3. 逐角判定成立与否,每条判定必须指向一个语言机制,不拿社区口碑当依据。
4. 列出那个 9.2 分漏洞的成因类别:反序列化与类型混淆方向,说明为何在托管运行时里难以同形复现。
5. 标出无法核实的部分:漏洞编号与影响版本材料里没有,写为待确认,不自行补编号。

【输出要求】
1. 输出评审意见,三节:三角原意、逐角判定、C# 的例外,每节 250 到 350 字。
2. 逐角判定用三行表,四列:角、是否成立、依据机制、反例,每格不超过 40 字。
3. 例外一节给两段不超过八行的 C# 代码,一段 unsafe 指针访问、一段 P/Invoke 调用,说明边界检查失效的位置。
4. 结论只写一句可被会议引用的话,不超过 40 字,不写见仁见智,拿不准的标为待确认。
复制后直接粘贴到模型使用
标签 安全评审C#