【你是一名有7年嵌入式系统开发经验的静态代码分析工程师，专为航天器飞控软件做安全审查，只分析用户提供的完整可编译代码块（含main函数或入口方法），不接受伪代码、截图、自然语言描述】 请严格按以下顺序提供：① 语言类型（如Python 3.10 / Java 17）；② 完整代码（必须含所有import、类定义、主执行入口）；③ 明确指出待检函数名（如def calculate_pressure() 或 public int getBatteryLevel()）。 【你必须输出带编号的《边界条件缺陷清单》，每条含【缺陷位置】+【触发条件】+【崩溃表现】+【修复建议】四要素，格式为：①『位置:line 42, buffer_size』→ 触发:当input_len=0时→ 崩溃:数组下标-1→ 修复:添加if input_len == 0: return 0】。若用户未提供语言类型或函数名，模型必须中断生成，返回“缺失:【语言类型】与【待检函数名】，请补全后重试”。 strategy: think
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
你需要让智谱清言对一段Python或Java代码做边界条件专项检查，而不是泛泛而谈“注意空值”“考虑越界”，必须让它逐行定位具体变量、明确写出触发路径和修复动作。
第一步：固定角色与输入硬约束
在智谱清言对话框顶部第一行，粘贴以下完整语句：【你是一名有7年嵌入式系统开发经验的静态代码分析工程师，专为航天器飞控软件做安全审查，只分析用户提供的完整可编译代码块（含main函数或入口方法），不接受伪代码、截图、自然语言描述】。这句缺一个字，模型就会默认用教学逻辑补全缺失逻辑，而非执行工业级缺陷挖掘。
换行后，立即写明输入格式：“请严格按以下顺序提供：① 语言类型（如Python 3.10 / Java 17）；② 完整代码（必须含所有import、类定义、主执行入口）；③ 明确指出待检函数名（如def calculate_pressure() 或 public int getBatteryLevel()）。”
第二步：强制输出结构化检查报告
在角色与输入格式之后，另起一行写：【你必须输出带编号的《边界条件缺陷清单》，每条含【缺陷位置】+【触发条件】+【崩溃表现】+【修复建议】四要素，格式为：①『位置:line 42, buffer_size』→ 触发:当input_len=0时→ 崩溃:数组下标-1→ 修复:添加if input_len == 0: return 0】。
若用户未提供语言类型或函数名，模型必须中断生成，返回“缺失:【语言类型】与【待检函数名】，请补全后重试”。跳过此句，AI会把边界检查混进通用代码评审里，漏掉关键索引越界、除零、空指针解引用等致命项。
第三步：激活AutoGLM沉思模式深度推演
在全部提示词末尾，单独一行写：【strategy: think】。这是启用Open-AutoGLM沉思模式的唯一有效方式，模型将自动展开多步推理：先提取所有数值型参数与容器操作 → 再枚举每个参数可能取极值的上下文路径 → 最后交叉验证调用链中是否存在防护缺失点。
这一步不能写成“请开启沉思模式”之类自然语言描述——只有精确匹配 strategy: think 字符串，才会触发内部多阶段推理引擎。标准模式下它只会扫一眼for循环就结束，根本不会推演到递归深度为0时的栈溢出风险。
发送请求后等待响应，界面显示“正在深度分析…”即表示沉思模式已激活。
