代码审译工场：把 PLC 程序看清楚，再谈改
上传 ST/SCL 代码或 PDF 图纸，AI 高工 + 电气高工规则库，10 分钟出可追溯审查报告 / 跨品牌代码转换。每条结论都带证据坐标（文件:行号 / 图纸#页码）和置信等级，可直接拿去和工程师对线。
工作原理：五段流水线
一段一段往下走，每一段的产出都能被下一段引用，也能被你单独检查。
六项能力：先把工程看成一个整体
不是"读一段代码回答一段话"，而是先建模，再让规则与 AI 在同一个模型上说话。
四个优先检查器（另附 C0 基础卫生）
规则来自工程规范与我们人工定义的预期。命中的是真实现象，是否构成缺陷由你结合工艺判断。
步序是设备的骨架。这里查的是"步序与设计是否一一对应、跑飞了能不能回来"。
C1-TRANS-01非确定性 / 未覆盖的状态转移：状态变量在 CASE 之外被改写，或同一条件下存在多个目标状态 → 现场表现为莫名跳步或卡死。C1-TRANS-02CASE 缺少 ELSE 分支：步号跑到枚举之外（掉电残留、通讯写入、上一步算错）时，程序停在无输出状态且不报警。C1-TRANS-03转移条件引用未定义变量：条件里的标识符在点表 / 变量表里找不到，多半是写错名或漏建点。C1-TRANS-04同一状态存在互斥性不明的转移：同条件指向不同目标状态，谁优先只取决于书写顺序。
输出动作有没有真正的许可条件，以及这个条件能不能一路追到物理输入 / 安全信号。
C2-INTERLOCK-01输出动作缺失互锁：输出型地址被无条件写入，只要扫描到就动作。C2-INTERLOCK-02互锁追不到物理源：许可条件递归追踪后全是内部中间变量，设备真出问题时这个联锁不会断开。C2-INTERLOCK-03自锁自允许：许可量由被控输出自己生成（或与它同句赋值），第一周期之后永远成立。C2-INTERLOCK-04多个输出共用完全相同的互锁条件：要求互斥的动作（正转 / 反转、进 / 退）会同时动作。
报警不是给人看的字，是要落到动作的。这里查"报警能不能复位、能不能被区分、有没有落到动作上"。
C3-ALARM-01报警锁存后无复位路径：锁上就再也解不开，只能断电或重新下载。C3-ALARM-02报警未与任何输出动作关联：报警存在，但既不停机也不提示。C3-ALARM-03多个报警共用同一触发条件：上位机与现场无法区分到底是哪一种故障，只能靠猜。C3-ALARM-04有处理代码但无输出动作：写了处理逻辑，结果没落到停机 / 声光 / 输出上。
上传 I/O 点表（PDF 图纸或点表文件）与源码后，两边对着核——图纸上有的点、程序里没写；程序里有的点、图纸上没登记；同一个地址两边名字不一样；方向不一致；数据类型不一致。
C4-IO-01点表有点、代码里找不到对应地址：图纸上有这个点，程序里没用到（或地址写法不同），可能是漏实现，也可能是点表过期。C4-IO-02代码里有点、点表里没有：程序访问了未登记的地址，现场无从接线，调试期最容易卡住的一类。C4-IO-03地址相同但点名不一致：同一个物理点两边叫法不同，容易在图纸与程序之间张冠李戴。C4-IO-04地址相同但方向不一致：图纸标输入、程序当输出用（或反之），属于可能带后果的错配。C4-IO-05地址相同但数据类型不一致：位 / 字 / 浮点的解释方式不同，读错位序就是错值。
核对结果按这 5 类分组写进报告，每条带证据定位（点表来源文件与行号 / 代码文件:行号），报告里可直接查看，也可单独下载。
⚠️ 先说清楚：这套工具做不到什么
能力边界写在明处。我们不卖"AI 保证正确"，也不宣称它能替代专家审核。
- 静态分析不能证明设备设计正确。它只看代码与图纸文本，不知道现场接线、负载、工艺时序、安全等级与实际运行工况。"没查出问题"不等于"没问题"。
- 检查器提出的是疑点，不是判决。规则来自工程规范与我们人工定义的预期（例如"输出动作必须有可追到物理源的联锁"）。命中的是真实现象；是否构成缺陷、要不要改，由你和你的工程师结合工艺判断。
- AI 结论标注三级置信：确定（规则可 100% 判定，带证据）/ 推断（模型基于上下文推测，需复核）/ 待人工确认（信息不足，必须人看）。报告里每条都标，不接受"AI 说没问题"这种交付。
- 跨品牌转换的生成物不得直接上机。转换输出的是目标品牌代码 + 差异清单，不是可运行证明。扩展方向（9 个品牌两两互转的 72 个方向）采用「标注 + 保留」策略：无法自动判定的写法原样保留并标注为"未映射 / 需人工确认"，不替你猜。路径是：仿真验证 → 上机单点 / 强制试验 → 工程师签字。
- 最终判定须经测试与工程审核。审查与转换的结论都是辅助材料，落到现场的每一步都必须由具备资质与责任的人确认；涉及安全功能（急停、联锁、门禁、双手启动等）的部分另按当地安全流程逐条复核与验证。
- 我们不承诺"绝对安全"或"零缺陷"。工具能提高把可疑点摆上桌面的效率，不能消除现场风险；也不保证任何一次转换结果与现场行为完全一致。
把它当成一台"不会累、会留证据的初筛机"：帮你在 10 分钟内把可疑点摆到桌面上，剩下的判断与责任仍然在人手里。
本工具为静态分析与辅助审查工具，不构成设备设计正确性的证明。上传文件仅用于本次任务，不用于模型训练，30 天后自动删除。
价格（明码标价）
两种充值方式并行：在线充值（微信 / 支付宝，实时到账）与人工对账充值（对公 / 大额）。选哪种不影响单价与费率。
不用注册。免费额度内限制：PDF ≤ 3 页、单文件 ≤ 200KB。超出限制按付费计。
自带 API Key 只收 25% 工程服务费：¥300 / 次。
含 30 次，超出 ¥50 / 次（自带 Key 超出 ¥100 / 次）。改造期、验收期审核量大时划算。
充值任意金额（≥ ¥10），扣 30% 服务费，剩余 70% 进入可用余额（用于抵扣自有 API 消耗）。例：付 ¥50 → 服务费 ¥15、到账 ¥35。
审查报告 HTML / Markdown / JSON，可另行导出 PDF 报告（免费额度内限 PDF ≤ 3 页）；转换任务另附《差异提示与验证清单》（HTML / MD / JSON）、转换后的代码包与 I/O 表交叉核对结果。
两种充值方式，按需选
费率相同：都收 30% 服务费，剩余 70% 进入可用余额。
| 方式 | 到账速度 | 适用与说明 |
|---|---|---|
| 在线充值 微信 / 支付宝 | 实时到账 | 页面直接下单，支付成功后自动入账。适合小额与即时使用。可用渠道以页面实际显示为准（由服务端配置决定）。 |
| 人工对账充值 对公 / 大额 | 人工确认后 | 联系客服说明 account_id 与金额，到账后由人工开通额度。付款备注写上 account_id，对账更快。对公转账与超额订单走这条。 |
人工对账充值长期保留，在线充值渠道未开通或未配置时仍可正常使用。电话 / 微信 13369210212。
在线充值（微信 / 支付宝，实时到账）
不用注册账号：填个联系方式，选个金额，直接下单支付。付多少算多少，服务费 30%，剩余 70% 进可用余额。
| 项目 | 说明 |
|---|---|
| 免费额度 | 3 次 / 账号；PDF ≤ 3 页、单文件 ≤ 200KB |
| 报告导出 | HTML / Markdown / JSON 三种格式随任务下载；PDF 报告可一并导出（免费额度内限 PDF ≤ 3 页）。转换任务另附《差异提示与验证清单》（HTML / MD / JSON）与转换后的代码包 |
| 文件类型 | .st .scl .txt .xml .pdf（单文件硬上限 8MB） |
| 充值方式 | 在线充值（微信 / 支付宝，实时到账）· 人工对账充值（对公 / 大额，人工确认后到账） |
| 充值服务费 | 30% 服务费，剩余 70% 进入可用余额（用于抵扣自有 API 消耗）；例：付 ¥50 → 服务费 ¥15、到账 ¥35 |
| 自带 API Key | 只收 25% 工程服务费（按次 ¥300 / 次）；套餐订阅价 399 元 / 月不打折 |
| 企业私有化 | 线下报价：部署方案 · 咨询表单 |
| 报告与文件保留 | 30 天后自动删除；不用于任何模型训练，可随时申请提前删除 |
| 退款 | 未消费余额可退；已完成任务因已产生算力与人工成本不退，见退款规则 |
跨品牌转换：72 个方向（标注 + 保留）
覆盖西门子 / 三菱 / 欧姆龙 / 汇川 / 罗克韦尔 / 施耐德 / 倍福 / 台达 / CODESYS 共 9 大品牌 72 个转换方向，全部方向均已开放，走同一套品牌 profile 驱动的规则映射。下表逐方向写明地址映射方式、映射覆盖状态与风险提示——「可用」指该方向的地址风格与首次扫描位都有等价物；「标注保留」指存在无等价物、需原样保留并标注的部分。转换不追求"看着像"的完美转换，而是把改写结果连同标注一起交给你核对。
| 转换方向 | 地址映射方式 | 状态 | 风险提示 |
|---|---|---|---|
| 西门子 → 三菱 TIA SCL → GX Works ST |
软元件反算：%I / %Q / %M / %MD → X / Y / M / D，结构与控制流重建 | 可用 | 16 位字 ↔ 32 位双字须人工核对；PLS 边沿、定时器时基无一一对应 |
| 三菱 → 西门子 GX Works ST → TIA SCL |
软元件映射：X / Y / M / D → %I / %Q / %M / %MD，附地址反算与字长提示 | 可用 | 16 位字 ↔ 32 位双字须人工核对；PLS 边沿、定时器时基无一一对应 |
| 西门子 → 欧姆龙 TIA SCL → 欧姆龙 LD / ST |
字节位 → 欧姆龙字地址 + 位号（%I0.0 → CIO 0.00），需人工核对位序 | 标注保留 | 位序错位会导致点位整体偏移；定时器与保持区语义差异需逐条确认 |
| 欧姆龙 → 西门子 欧姆龙 → TIA SCL |
欧姆龙字地址 + 位号 → 西门子字节位（%I0.0 ← CIO 0.00），需人工核对位序 | 标注保留 | 字长、字节序、特殊继电器无一一对应；未映射项在清单中标"未映射" |
| 西门子 → 汇川 TIA SCL → 汇川 AM / 5U 系列 |
字节位 → 汇川软元件地址（%I0.0 → X0），寄存器编号与偏移需人工核对 | 标注保留 | 寄存器编号与偏移规则随型号而变；高速脉冲等专有指令无等价物 |
| 汇川 → 西门子 汇川 → TIA SCL |
汇川软元件地址 → 字节位（X0 → %I0.0），需人工核对位序与偏移 | 标注保留 | 型号差异与偏移错位风险最高；保持区、初始化行为需逐条确认 |
| 三菱 → 欧姆龙 GX Works ST → 欧姆龙 |
软元件 → 欧姆龙字地址 + 位号（X0 → CIO 0.00），需人工核对位序 | 标注保留 | 16 位字 ↔ 32 位双字与边沿检测差异叠加，错位即动作错误 |
| 三菱 → 汇川 GX Works ST → 汇川 AM / 5U 系列 |
软元件 → 汇川软元件地址（X0 → X0），寄存器编号与偏移需人工核对 | 标注保留 | 字节序、字长与定时器时基差异；专有功能块不硬凑替代 |
欧姆龙 → 三菱、汇川 → 三菱两个方向的映射规则与上表同源（同为标注 + 保留），可一并发起，表中不重复列出。
转换交付物：目标品牌代码 + 差异清单（机械等价项 / 必须人工核对项 / 无法自动映射项）+ 《差异提示与验证清单》（HTML / MD / JSON 三形态，逐条给出转换前 / 转换后 / 证据 / 风险 / 验证手段）+ 同一份审查报告。生成物不得直接上机：必须先仿真，再对照差异清单逐条确认映射（尤其字长、地址、边沿与扫描周期差异），最后由工程师确认签字。详见 跨品牌转换专页 →
设备上云工场：老旧设备不上网关也能把数据采上云
不用先买几千到上万的工业网关，也不用工程师在现场耗几天配协议：把抓包报文、协议手册或现成点表丢进来，解析引擎自动识别协议并生成标准点表、MQTT 主题映射与看板骨架，软网关用 Docker 装在你自己的工控机上。不卖硬件，只订阅软件。
企业私有化部署：代码不出厂区
涉密项目、不允许外传的项目，走私有化：整套引擎装进你自己的内网，规则库按企业规范适配，模型走内网或完全离线。
方案页：/plc/works/private.html（部署形态、数据流向、模型来源、运维责任、交付物清单）· 咨询表单：/plc/works/private-form.html（企业名称、联系人、行业、设备台数、预算区间）
常见问题
问得最多的几件事，先写在这里；没覆盖到的直接打电话问。
和人工专家审代码有什么不同？
它是初筛机，不是替代品。规则检查器是确定性的：同样的输入永远得到同样的结果，秒级返回，每条都带证据坐标，可以反复复现、可以进 CI——这一点人做不到，人也会漏。
AI 那一层做语义解释与润色，但它不知道你的工艺，结论只标"推断"或"待人工确认"，不替你拍板。
专家的价值在于理解工艺意图、现场约束和责任判定。合理的用法是：先用它在 10 分钟内把可疑点全摆出来，再让专家把精力花在这些点上，而不是让专家从第一行开始读。
转换后的代码能直接上机吗？
不能。转换产出的是"可编译的目标代码 + 差异清单"，不是"可运行证明"。生成物不得直接上机——尤其扩展方向（欧姆龙 / 汇川相关）采用标注 + 保留策略，无法自动判定的写法原样保留并标注，必须人工处理。
上机前必须过三关：① 仿真验证控制流与步序；② 对照差异清单逐条确认映射——尤其字长（三菱 16 位字 ↔ 西门子 32 位双字）、地址位序（欧姆龙字地址 + 位号 ↔ 西门子字节位）、边沿检测与扫描周期差异；③ 工程师确认并签字。
差异清单里标了哪些是机械等价、哪些必须人工核对、哪些无法自动映射。第三类如果不处理，代码能编译但行为会错。
代码会不会泄露？
支持哪些品牌？转换能做到什么程度？
目前支持 西门子、三菱、欧姆龙、汇川、罗克韦尔、施耐德、倍福、台达、CODESYS 九个品牌，共 72 个转换方向，全部方向均已开放，走同一套品牌 profile 驱动的规则映射。罗克韦尔 / 施耐德 / 台达不使用 IEC % 绝对寻址，输出中的 % 地址仅为占位映射，须人工重建。
「标注 + 保留」的意思是：转换结果原样保留无法自动判定的写法（厂商专有指令、无对应软元件的地址），并在差异清单里逐条标注"未映射 / 需人工确认"，不替你猜。所以扩展方向的输出不能直接使用，必须人工核对。
每个方向的地址映射方式、状态与风险提示见上方品牌支持矩阵。有整线改造、多品牌混合或特定型号需求，可登记，我们按需求评估。
支持什么文件？大小和页数怎么算？
类型：.st .scl .txt .xml .pdf，可一次传多个文件。单文件硬上限 8MB。
免费额度：单文件 ≤ 200KB、PDF ≤ 3 页、共 3 次。超出任一项即按付费计（¥200 / 次，包月另算）。
PDF 必须是文字可复制的版本；扫描件 / 图片型 PDF 抽不出文本，服务端会直接报"未抽取到任何文本"，不会假装看懂给你一份空报告。
报告里的"确定 / 推断 / 待人工确认"是什么意思？
确定：规则可以 100% 判定的事实，带证据坐标，例如"该 CASE 没有 ELSE 分支"。
推断：模型基于上下文推测的结论，需要你复核，例如"这个步序在急停恢复后可能停在半步"。
待人工确认：信息不足（例如缺源码全文、点表不全），静态分析无法判定，必须人看。
三级都在报告里逐条标注，AI 结论与规则结论分开列出，不混在一起算数。
为什么不说"AI 保证正确"？
因为静态分析证明不了设备设计正确。它只看代码与图纸文本，看不到现场接线、负载、工艺时序和安全等级。"没查出问题"不等于"没问题"。
所以我们只承诺三件事：查出的问题带证据、结论标置信、边界写清楚。最终判定一律回到测试与工程审核。这不是免责话术，是这个工具的真实能力线。
怎么付费？充值和自带 API Key 怎么算？
充值有两种并行方式：在线充值（微信 / 支付宝，支付成功后实时到账）与人工对账充值（对公 / 大额，人工确认后开通额度）。费率相同。
按次 ¥200 / 次；包月 ¥399（30 天 30 次，超出 ¥50 / 次）。充值任意金额（≥ ¥10）扣 30% 服务费，剩余 70% 进入可用余额（用于抵扣自有 API 消耗）；例：付 ¥50 → 服务费 ¥15、到账 ¥35。
自带 API Key 时只收 25% 工程服务费（按次 ¥300 / 次，包月超出 ¥100 / 次）；套餐订阅价 399 元 / 月是平台工程服务费，不打折。
先拿一次免费的试试
不用注册，上传 ≤ 200KB 的单个源码文件（或 ≤ 3 页的 PDF）就能跑一遍完整流水线。
有整厂改造 / 私有化 / 定制规则库需求：联系我们 · 电话 / 微信 13369210212
扫码加微信13369210212 · 发照片或图纸，当天给答复