用友U8C nDay手到擒来，Provena-Audit自动审计出洞

原创

chobits02
chobits02

C4安全

2026年9月22日 21:31
江苏

在小说阅读器读本章

去阅读

在公众号小说中沉浸阅读

前情提要

关于Provena-Audit，Provena是我在自己开源的Provena证据驱动的测试Agent上面开发的专门代码审计的Agent，主要的底层Agent还是Pi Agent，基于FGS图驱动完成任务

目前Provena-Audit仅在内部社区中分享，功能还在完善中，将在内部分享使用

Provena-Audit功能介绍

内置的代码审计工具：

支持代码审计的源码如下：

这里演示一下Java代码的审计能力，接的Ai是DeepSeek v4 flash

Java代码审计主要依靠的工具是cfr和Joern，cfr常见的反编译jar的工具，然后Joern是专注于代码安全分析的开源工具，核心理念是将源代码抽象为代码属性图（Code Property Graph, CPG），将语法、语义、控制流、数据流等信息统一建模，从而支持复杂的漏洞分析和跨上下文推理

演示案例

这里就拿9月8号用友官网的补丁公告消息，其中有一个用友U8C的漏洞，只有标题，没有说明漏洞位置

但是只要一个servlet的名字也够了，经常审计用友的师傅应该很轻车熟路了

启动Provena-Audit的chat模式，开始对话安排任务：

Provena-Audit开始审计，思路流是直接打印的，你能看到他思考的每一步，基于FGS限制目标和步骤

然后就是开始搜索CodeSyncServlet在哪个源码文件里面

最后他开始解压jar文件，搜索CodeSync相关的代码

找到codesync了，开始狠狠审计

开始分析构造利用链

分析完毕提交事实fact

给出利用分析

利用poc的构造思路如下：

后续该漏洞的利用POC也会分享在内部社区当中

写在最后

整个过程由Agent自己规划，不内置任何skill来限制或者给他参考方案

​

内部知识圈目前已有「770+」师傅加入了内部社区

​

内容框架（持续新增中）

内部社区致力于漏洞POC/EXP、红队攻防实战，是系统化从基础入门到实战漏洞挖掘的教程社区，包含团队自整的挖掘注意点和案例，还包含分享的渗透经验、SRC漏洞案例、代码审计、挖洞思路等高价值资源。

→ PC端用户可复制此链接到浏览器加入↓↓

https://wiki.freebuf.com/societyDetail?society\_id=184

​