需向gemini提供结构清晰、上下文完备的提示指令：一、明确语言与环境；二、嵌入最小可复现代码片段；三、限定审查维度；四、强制结构化输出；五、注入对抗性测试用例。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
如果您希望借助 Gemini 对代码进行复审并识别潜在的逻辑错误、安全漏洞或边界条件缺陷，则需向其提供结构清晰、上下文完备的提示指令。以下是实现该目标的具体操作步骤：
一、明确指定语言与运行环境
让 Gemini 准确理解代码所属编程语言及所依赖的框架或运行时版本，是避免误判语法合法性与行为一致性的前提。缺少该信息可能导致其基于错误假设进行分析，例如将 Python 3.11 的新特性当作语法错误，或将 Node.js 中的模块解析机制套用于 Deno 环境。
1、在 Prompt 开头声明语言名称与版本号，例如：“请基于 Python 3.9 标准库进行分析”。
2、若涉及特定框架，补充说明其版本与关键配置，例如：“代码运行于 Django 4.2，默认启用 CSRF 保护”。
3、指出是否包含外部服务调用，例如：“该函数会调用 AWS S3 SDK v2.15.0 上传文件”。
二、嵌入最小可复现代码片段
仅提供孤立函数或类而忽略输入来源、调用方式与数据约束，会使 Gemini 无法评估参数污染、空值传播或类型退化路径。必须给出能体现典型执行流的精简但自洽的代码块，并标注关键变量的可能取值范围。
1、将待审代码置于三重反引号内，并在上方注明语言标识，例如：```python。
2、在代码前添加注释行，说明输入示例与预期输出，例如：# 输入：user_id = 0, name = ''；预期：返回 HTTP 400 错误。
3、对存在歧义的变量名添加 inline 注释，例如：user_input # 来自未过滤的 HTTP 查询参数。
三、限定审查维度与 Bug 类型
泛泛要求“找出所有 Bug”会导致 Gemini 优先响应常见低风险问题（如 PEP8 风格），而忽略高危缺陷（如时间戳硬编码导致的认证失效）。必须显式列出本次复审关注的缺陷类别，并排除无关项。
1、列举需重点检查的缺陷类型，例如：“请重点检查：SQL 注入路径、整数溢出、未处理的 None 值、硬编码密钥、竞态条件触发点”。
2、排除不需分析的方面，例如：“无需检查命名规范、注释完整性、单元测试覆盖率”。
3、对高风险模式附加判定依据，例如：“若字符串拼接中包含任何 user_input 变量且未经过 sqlite3.escape_string() 处理，则视为 SQL 注入风险”。
四、强制要求输出结构化响应
自由格式的回答易导致关键发现被淹没在解释性文字中，或遗漏位置标记。必须规定 Gemini 的输出必须包含精确到行号的问题定位、对应缺陷类型标签及可验证的触发条件。
1、要求每一处问题以独立段落呈现，开头标注行号范围，例如：“第12–14行：SQL 注入风险”。
2、每段内必须包含触发条件描述，例如：“当 query_param 包含单引号与分号时，可执行任意 SELECT 语句”。
3、禁止使用模糊表述，例如：“可能存在风险” 必须替换为 “确认存在风险，已通过输入 'test'; DROP TABLE users;--' 复现”。
五、注入对抗性测试用例
仅依赖静态分析可能遗漏依赖运行时状态的缺陷，例如基于系统时区的日期计算偏差或浮点精度累积误差。需主动提供一组极端输入组合，迫使 Gemini 模拟执行路径并验证边界行为。
1、在 Prompt 末尾追加测试用例区块，例如：“请验证以下输入是否引发异常：[{'x': -2**63}, {'x': float('inf')}, {'x': b'\xff\x00'}]”。
2、对每个用例标明预期行为，例如：“输入 b'\xff\x00' 应触发 UnicodeDecodeError 而非静默截断”。
3、要求 Gemini 显式写出执行结果与预期不符的行号及原因，例如：“第8行：bytes 对象传入 str() 导致静默解码失败，未抛出异常”。
