代码漏洞还在逐行排查?用DeepAudit做一轮AI辅助审计
承渊政道个人主页❄️个人专栏:《C语言基础语法知识》 《数据结构与算法》 《C知识内容》 《Linux系统知识》 《算法刷题指南》 《测评文章活动推广》 《大模型语言路线学习》 《MySQL数据库学习》 《Python知识内容》✨逆境不吐心中苦,顺境不忘来时路!✨ 博主简介:代码审计经常需要在大量文件中追踪参数来源、调用关系和权限判断.项目规模扩大后,只靠人工逐行查看,不仅耗时,也容易因为上下文复杂而遗漏潜在问题.DeepAudit是一套开源的AI辅助代码审计工具.它可以导入Git仓库或源码压缩包,通过多个智能体分析项目结构、技术栈和调用关系,并输出潜在漏洞、代码位置及修复建议.它提供Agent智能审计和即时分析两类功能.前者适合对完整项目进行较深入的检查,后者可以快速分析单个文件或代码片段.AI输出适合作为排查线索,最终结论仍需要结合业务逻辑和实际运行环境人工确认.本文将在Windows的Docker环境中部署DeepAudit,配置大语言模型与嵌入模型,导入一个Java项目完成审计并导出报告.随后再使用cpolar为前端页面建立公网入口,方便在其他网络环境中查看任务进度和审计结果.目录1.DeepAudit是什么2.Docker一键部署DeepAudit3.配置DeepAudit3.1LLM模型配置3.2嵌入模型配置4.使用DeepAudit进行AI代码审查4.1创建项目4.2Agent智能审计4.3查看审计报告4.4即时分析5.下载安装cpolar5.1什么是cpolar?5.2下载cpolar5.3注册及登录cpolar web ui管理界面6.穿透DeepAudit实现公网访问7.固定二级子域名9.总结1.DeepAudit是什么DeepAudit是国内首个开源的代码漏洞挖掘多智能体系统,它基于 Multi-Agent 协作架构,通过四个智能体的自主协作,实现对代码的深度理解、漏洞挖掘和自动化沙箱 PoC 验证.用户只需导入项目,DeepAudit 便全自动开始工作识别技术栈 → 分析潜在风险 → 生成脚本 → 沙箱验证 → 生成报告,最终输出一份专业审计报告.Orchestrator总指挥接收审计任务,分析项目类型,制定审计计划,协调其他 Agent 工作.Recon Agent侦察兵扫描项目结构,识别框架、库和 API,提取攻击面.Analysis Agent分析师结合 RAG 知识库与 AST 分析,深度审查代码,发现潜在漏洞.Verification Agent验证者编写 PoC 脚本,在Docker沙箱中执行,验证漏洞是否真实可利用.简单来说,DeepAudit 就像是一个 24 小时待命的安全专家团队,帮你把代码审计这件苦差事变得高效、精准、自动化.2.Docker一键部署DeepAudit本教程以 Windows 系统为例,演示如何在 Docker 环境中部署 DeepAudit.如果还没有安装Docker的小伙伴,可以去cpolar官网查看**《Docker安装——Linux、Windows、MacOS》**这篇文章进行安装一下哦.首先,电脑按住Win R键,打开运行窗口,输入cmd并回车,打开命令提示符.然后在命令提示符中输入以下命令,一键部署 DeepAuditcurl-fsSLhttps://raw.githubusercontent.com/lintsinghua/DeepAudit/v3.0.0/docker-compose.prod.yml|dockercompose-f- up-d接着输入如下命令,查看 DeepAudit 容器是否启动成功dockerps如果看到类似上面的输出,说明 DeepAudit 已经成功启动了这里包含了 4 个容器admin-frontend-1前端服务,运行在3000端口admin-backend-1后端 API 服务,运行在8000端口admin-redis-1Redis 数据库,用于缓存和队列admin-db-1PostgreSQL 数据库,用于存储审计数据现在,打开浏览器,访问如下地址http://localhost:3000可以看到,DeepAudit 的登录页面已经成功显示出来了3.配置DeepAudit3.1LLM模型配置注册一个账号,并且登录DeepAudit,即可进入主界面.接着来到系统管理,在系统配置项可以看到如下页面接着选择LLM提供商,这里以通义千问为例,因为阿里云百炼如果您是新用户,享有每个模型百万Tokens,可以在如下页面查看免费额度剩余量和模型Code等,记得开启免费额度用完即停即可,页面地址https://bailian.console.aliyun.com/?tabmodel#/model-usage/free-quota?modelTypeText由于我这里的qwen-plus模型额度用完了,演示将使用qwen-max来进行演示,在选择LLM提供商中选择通义千问,然后模型名称填写qwen-max模型接着获取阿里云百炼的API Key,点击页面左下角的密钥管理菜单进入到密钥管理后,点击创建按钮进行创建即可,创建后即可复制API key密钥将复制的密钥填写到API key中,点击测试按钮,出现连接成功即代表配置成功连接成功后,点击底部的保存所有更改按钮即可3.2嵌入模型配置前面已经配置好了LLM模型,接着切换到嵌入模型页面,然后在模型提供商选择Qwen,模型选择预设v4版本的模型即可,填写前面复制下来的API key密钥,点击测试接着点击底部的保存配置和保存所有更改按钮即可,这样就配置完成啦4.使用DeepAudit进行AI代码审查配置好 LLM 模型后,我们就可以开始使用 DeepAudit 进行代码审查了.DeepAudit 提供了两种主要的使用方式项目管理和即时分析.4.1创建项目首先,在左侧导航栏点击项目管理,进入项目列表页面.如果是第一次使用,页面会提示未初始化项目,点击新建项目按钮.在弹出的对话框中,你可以选择两种导入方式方式一Git 仓库导入仓库类型支持 GitHub、GitLab、等仓库地址填写你的 Git 仓库 URL默认分支通常为main或master技术栈选择项目使用的编程语言JavaScript、TypeScript、Python、Java、Go 等方式二上传源码直接上传 ZIP 压缩包适合本地项目或私有仓库填写完项目信息后,点击执行创建DeepAudit 会自动拉取代码并初始化项目.这里以上传源码为例,用一个几年前写的一个Java的SpringBoot项目为例,填写完成相关信息,上传源码进行执行创建创建完成后,即可在项目管理页面查看,创建好的项目4.2Agent智能审计项目创建完成后,点击项目下方的审计按钮,进入审计任务页面.这里有两种审计模式Agent 智能审计LLM 驱动的多 Agent 协同深度审计支持智能漏洞挖掘与验证适合需要深度分析的场景快速扫描传统规则引擎驱动的快速代码扫描适合大规模批量检测速度更快但深度略浅这里以Agent 审计 模式举例,选中要审计的项目,然后选择审计模式,点击下方的启动Agent 审计按钮启动后,即可看到项目正在进行索引和嵌入,然后进行编排审计流程在侧面的AGENT TREE中可以看到 Multi-Agent 协作流程Orchestrator分析项目,制定审计策略Recon Agent扫描项目结构,识别技术栈和攻击面Analysis Agent深度分析代码,发现潜在漏洞Verification Agent在沙箱中验证漏洞真实性在审计过程中,你可以实时查看审计进度、已分析的文件数、发现的问题数量等信息.可以看到,AGENT审计模式,会进行跨方法联合审计.如上图就是在注册方法中有调用相关校验方法,AGENT审计会根据逻辑关系,去查看校验方法是否存在问题.4.3查看审计报告审计完成后,底部会有输出成功的日志提示,也可以点击右上角EXPORT按钮进行导出报告点击EXPORT按钮后,可以将审计报告导出为 Markdown 或 JSON 以及HTML格式,方便分享和存档:如下为导出为HTML格式的报告预览查看一下提到的高危漏洞等相关问题可以看到给出了漏洞描述,还有关键的代码位置,以及修复的建议,还是很不错的4.4即时分析除了项目管理,DeepAudit 还提供了即时分析功能,适合快速检查代码片段.点击左侧导航栏的即时分析,进入即时分析页面选择编程语言从下拉菜单选择代码的语言JavaScript、Python、Java 等输入代码直接粘贴代码或点击上传文件按钮选择提示词模板可以使用默认的默认代码审计模板开始分析点击开始分析按钮几秒钟后,DeepAudit 就会返回分析结果,包括发现的问题列表每个问题的严重程度详细的修复建议代码片段高亮显示即时分析非常适合快速检查可疑代码片段学习安全编码规范代码审查前的预检查通过以上步骤,你已经掌握了DeepAudit 的基本使用方法.无论是完整项目的深度审计,还是代码片段的快速检查,DeepAudit 都能帮你高效地发现安全问题,让代码审计变得简单、快速、精准5.下载安装cpolar通过前面的步骤,你已经成功在本地部署了 DeepAudit,并且能够通过http://localhost:3000访问它的界面.但问题来了你在家里的台式机上部署了 DeepAudit,在公司想访问怎么办或者你在公司电脑上启动了审计,回家想查看进度怎么办本地部署的 DeepAudit 就像一个孤岛,只有部署它的那台电脑能访问,其他设备想用都进不来.远程办公受限、多设备无法访问……这些问题让 DeepAudit 的价值大打折扣.这时候,cpolar 内网穿透就派上用场了它是一款轻量级隧道转发工具,能够将本地运行的服务安全地暴露至公网,实现无需公网 IP、无需复杂路由配置,就能随时随地访问你的DeepAudit.接下来,我将带你一步步安装并配置 cpolar,让 DeepAudit 真正实现随时随地,想审就审5.1什么是cpolar?cpolar 是一款内网穿透工具,可以将你在局域网内运行的服务如本地 Web 服务器、SSH、远程桌面等通过一条安全加密的中间隧道映射至公网,让外部设备无需配置路由器即可访问.广泛支持Windows、macOS、Linux、树莓派、群晖 NAS等平台,并提供一键安装脚本方便部署.5.2下载cpolar打开cpolar官网的下载页面,点击立即下载 64-bit按钮,下载cpoalr的安装包:下来下来是一个压缩包,解压后执行目录种的应用程序,一路默认安装即可,安装完成后,打开cmd窗口输入如下命令确认安装:cpolar version出现如上版本即代表安装成功!5.3注册及登录cpolar web ui管理界面访问cpolar官网,点击免费注册按钮,进行账号注册进入到如下的注册页面进行账号注册注册完成后,在浏览器中输入如下地址访问 web ui管理界面:http://127.0.0.1:9200输入刚才注册好的cpolar账号登录即可进入后台页面:6.穿透DeepAudit实现公网访问点击左侧菜单栏的隧道管理,展开进入隧道列表页面,页面下默认会有 2 个隧道remoteDesktop隧道,指向3389端口,tcp协议website隧道,指向8080端口,http协议http协议默认会生成2个公网地址,一个是http,另一个https,免去配置ssl证书的繁琐步骤点击编辑website的隧道,修改成我们DeepAudit需要的信息接着,点击左侧菜单的状态菜单,接着点击在线隧道列表菜单按钮,可以看到有2个deepaudit的隧道,一个为http协议,另一个为https协议:注意每个用户创建的隧道显示的公网地址都不一样接下来在浏览器中访问deepaudit隧道生成的公网地址http和https皆可,这里以https为例可以看到成功访问到DeepAudit的登录界面啦7.固定二级子域名通过前面的配置,我们已经成功实现了DeepAudit的远程访问,但免费随机域名方案的局限性也逐渐显现每24小时左右自动更换域名地址,意味着你需要频繁更新书签、重新分享链接,甚至可能因为忘记更新而无法访问.固定域名方案正是为了解决这些痛点而生,能够让你拥有一个永久不变的专属地址.好啦,接下来开始固定保留二级子域名教程首先进入官网的预留页面:https://dashboard.cpolar.com/reserved选择预留菜单,即可看到保留二级子域名项填写其中的地区、名称、描述可不填项,然后点击保留按钮,操作步骤图如下可以看到列表中显示了一条已保留的二级子域名记录地区显示为China Top.二级域名显示为deepaudit.注二级域名是唯一的,每个账号都不相同,请以自己设置的二级域名保留的为主接着,进入侧边菜单栏的隧道管理下的隧道列表,可以看到名为deepaudit的隧道,点击编辑按钮进入编辑页面修改域名类型为二级子域名,然后填写前面配置好的子域名,点击更新按钮接着,来到状态菜单下的在线隧道列表可以看到隧道名称为deepaudit的公网地址已经变更为二级子域名固定域名主体及后缀的形式了这里以https协议做访问测试:访问成功,让我们再进行登录测试一下成功登录啦,现在无论你在哪里,只要能上网,就能随时访问你的 DeepAudit 了9.总结完成以上配置后,DeepAudit已经可以在本地Docker环境中运行.导入项目后,可以选择Agent智能审计或快速扫描,并在任务页面查看分析进度、发现的问题、代码位置和修复建议.审计报告可以导出为Markdown、JSON或HTML格式,便于后续复核、归档和分配整改任务.对于临时代码片段,也可以使用即时分析功能快速获得一轮安全检查结果.需要注意的是,AI识别出的高危问题不一定都能在真实环境中利用,也可能遗漏依赖漏洞、配置错误和复杂业务权限问题.审计结果应由开发或安全人员再次核对,必要时结合静态扫描、依赖检测、单元测试和人工验证.配置第三方大模型和嵌入模型时,部分源码内容可能被发送到对应服务.对于商业项目、未公开源码或包含密钥的数据,应先确认模型服务的数据处理规则,并在导入前删除API Key、数据库密码、证书和客户信息.通过cpolar为3000端口建立公网隧道后,可以在其他网络环境中打开DeepAudit.固定二级子域名能够避免地址频繁变化,但也会让入口长期保持可访问状态.DeepAudit后台中可能保存项目源码、审计报告和模型配置,因此公网开放前应关闭不必要的公开注册,使用高强度密码,并限制地址的分享范围.还应定期检查用户、项目和登录日志,不需要远程访问时及时关闭隧道.部署命令会直接读取远程Compose文件并启动容器.正式执行前,建议先下载文件进行检查,确认镜像、挂载目录、开放端口和容器权限,同时为数据库、上传项目和审计结果建立备份及恢复方案.真正的勇者不是流泪的人,而是含泪奔跑的人!敬请期待下一篇文章内容每日心灵鸡汤: 真正的忠诚,从来都建立在现实之上!当无利可图、无路可行之时,有些人终会离开.这未必源于恨意,而更接近一种本能选择,一种古老而反复出现的法则.无知者将其称为背叛,智者则明白,那往往是对现实的觉醒.当你失去工作、方向或能力的支点,有人会悄然退场;当资源枯竭、前途封闭,那些曾誓言生死与共的人,也可能在沉默中寻找新的去处.并非誓言虚假,而是条件已变.敬意并非凭空存在,它如香火一般,需要现实的承载与持续的供奉.当目标消散、力量衰减,情感也会在神前慢慢冷却.人性本就趋向于力量、秩序与可能性,如百川归海,并非水流无情,而是在洪流必经之处筑屋,本就是对自然的误判.你可以理解水,却不该责怪它.所谓忠诚与爱情,从来都不是脱离现实而存在的美德.有人以忠诚为名坚守,有人以价值为锚停泊;差别不在性别,而在处境与选择权.夏娃并非单纯被果实诱惑,而是被果实背后那片未知的可能所吸引.人类所有的跨越,几乎都始于对更多选择的想象.因此,与其在失去之后控诉世界残酷,不如在被看穿之前,看清规则;与其祈求无条件的陪伴,不如让自己始终成为值得并肩的人.

相关新闻

Godot游戏PCK文件解析:从原理到实战的完整拆解指南

Godot游戏PCK文件解析:从原理到实战的完整拆解指南

1. 项目概述:为什么我们需要拆解PCK文件?在游戏开发与逆向工程的世界里,Godot引擎以其开源、轻量和高效的特点,吸引了大量独立开发者和爱好者。当你拿到一个用Godot开发的游戏,无论是想学习其美术资源、分析其脚本逻辑…

2026/10/13 9:29:48 阅读更多 →
多模态口腔癌检测口腔影像数据集

多模态口腔癌检测口腔影像数据集

摘要:口腔癌检测口腔影像数据集包含 3,000 张手机拍摄的口腔影像(斯里兰卡人群),分为健康、良性、OPMD 和口腔癌四类,配有专家标注(口腔边界、病变区域、分割掩码、边界框,COCO JSON 格式&#…

2026/10/5 11:51:39 阅读更多 →
2026视频转文字软件推荐,这7款电脑手机免费付费工具实测盘点

2026视频转文字软件推荐,这7款电脑手机免费付费工具实测盘点

上个月整理一场部门季度复盘会,录音笔往桌上一扔就出去吃午饭了。回来对着波形图发呆,领导要的纪要在下班前就得交。以前这种活我能拖半天,后来学聪明了——把音频扔进提词匠,喝杯咖啡的功夫就转出一份带时间戳的逐字稿&#xff0…

2026/10/12 0:16:34 阅读更多 →

最新新闻

基于STM32单片机电磁波检测电磁辐射保护云平台视频监控蓝牙无线APP/WiFi无线APP/摄像头视频监控/云平台设计S446

基于STM32单片机电磁波检测电磁辐射保护云平台视频监控蓝牙无线APP/WiFi无线APP/摄像头视频监控/云平台设计S446

STM32-S446-电磁波检测舵机保护报警频率变化预警阈值保护阈值超阈值报警OLED屏声光提醒按键(无线方式选择)产品功能描述:本系统由STM32F103C8T6单片机核心板、OLED屏、(无线蓝牙/无线WIFI/无线视频监控/联网云平台模块-可选)、电磁波检测模块…

2026/10/13 9:29:07 阅读更多 →
基于Node.js+Vue的前后端分离管理系统开发全记录

基于Node.js+Vue的前后端分离管理系统开发全记录

先说一下背景。去年学校就业办找我做一个大学生创业项目申报评比系统,要求是学生能在线上报项目材料,评委能在线打分评审,管理员能配置评审指标并导出最终排名。技术栈指定了Node.js Vue,前后端分离。这活儿听起来简单&#xff0…

2026/10/13 9:29:07 阅读更多 →
SonarQube 7.9 稳定落地实践:H2部署、规则XML化与IDE深度集成

SonarQube 7.9 稳定落地实践:H2部署、规则XML化与IDE深度集成

简介:本资源为SonarQube 7.9版本官方发行版压缩包(ZIP格式),面向Java/全栈开发工程师、DevOps工程师及代码质量保障团队,用于搭建本地或测试环境的静态代码分析平台,解决代码漏洞识别、技术债务量化与编码规…

2026/10/13 9:29:07 阅读更多 →
Hudi 多表事务(Multi-Table Transactions)设计解读:数据库时间线、冲突检测与事务协议

Hudi 多表事务(Multi-Table Transactions)设计解读:数据库时间线、冲突检测与事务协议

大数据数据湖数据工程 【免费下载链接】hudi Upserts, Deletes And Incremental Processing on Big Data. 项目地址: https://gitcode.com/gh_mirrors/hu/hudi 点击查看 免费下载 本篇技术指南围绕 Hudi 社区 RFC-73(JIRA HUDI-6709)展开&am…

2026/10/13 9:29:07 阅读更多 →
scrcpy 完全指南:3 分钟免费把手机屏幕投到电脑并直接操控

scrcpy 完全指南:3 分钟免费把手机屏幕投到电脑并直接操控

scrcpy 完全指南:3 分钟免费把手机屏幕投到电脑并直接操控 【免费下载链接】scrcpy Display and control your Android device 项目地址: https://gitcode.com/GitHub_Trending/sc/scrcpy scrcpy 是一款免费开源的安卓投屏与控屏工具:手机屏幕镜像…

2026/10/13 9:29:07 阅读更多 →
django-crispy-forms 版本历史完全指南:2.0 破坏性变更、兼容性矩阵与源码级验证

django-crispy-forms 版本历史完全指南:2.0 破坏性变更、兼容性矩阵与源码级验证

后端 【免费下载链接】django-crispy-forms The best way to have DRY Django forms. The app provides a tag and filter that lets you quickly render forms in a div format while providing an enormous amount of capability to configure and control the rendered HTML…

2026/10/13 9:28:07 阅读更多 →

日新闻

物联网系统集成避坑指南:从选型到验收的关键要点

物联网系统集成避坑指南:从选型到验收的关键要点

做了这么多年物联网系统集成的项目,我最大的感受是,大部分坑不是出在技术前沿,而是出在一些看起来很平常的地方。设备选了便宜的、协议没问清楚、现场没摸透、验收标准写得含糊——这些细枝末节,最后都会变成延期、超支和扯皮的大…

2026/10/13 0:00:57 阅读更多 →
ESP32舵机控制全攻略:从PWM原理到高级玩法与常见故障排查

ESP32舵机控制全攻略:从PWM原理到高级玩法与常见故障排查

如果你玩ESP32有一阵子了,很难不碰到舵机控制这道坎。做智能小车要转方向,做机械臂要抬关节,做云台要偏航俯仰,背后都是同一个东西在干活:舵机。而我见过太多人卡在“代码能编译、舵机就是不听话”这个阶段&#xff0c…

2026/10/13 0:00:57 阅读更多 →
CAN总线原理与STM32实战:抗干扰、仲裁、错误处理全解析

CAN总线原理与STM32实战:抗干扰、仲裁、错误处理全解析

1. 为什么CAN总线至今仍是工业现场的“硬通货”?——从汽车底盘到智能温室的真实需求你有没有拆过一辆老款燃油车的中控台?或者调试过某高校实验室里那台跑着Modbus协议却频频丢帧的PLC控制柜?又或者,在某个农业物联网项目里&…

2026/10/13 0:00:57 阅读更多 →

周新闻

流感时间序列预测实战:ARIMA/LSTM全流程拆解与避坑指南

流感时间序列预测实战:ARIMA/LSTM全流程拆解与避坑指南

简介:基于 ARIMA、LSTM、Transformer 等模型的流感时间序列预测 Python 源码,面向计算机相关专业课程设计与期末大作业学生,以及项目实战学习者。内容覆盖预处理、平稳性检验、定阶、残差分析、多模型对比预测的完整时序建模流程,…

2026/10/13 2:54:56 阅读更多 →
影刀RPA新手教程:键盘模拟输入实战——输入文本与模拟按键的区别

影刀RPA新手教程:键盘模拟输入实战——输入文本与模拟按键的区别

影刀RPA新手教程:键盘模拟输入实战——输入文本与模拟按键的区别 做影刀RPA自动化,十个新手有八个栽在"往输入框里填东西"这件事上:要么填不进去,要么填了一半,要么直接把原来内容追加在后面。这背后的根因&…

2026/10/12 0:16:38 阅读更多 →
影刀RPA新手教程:阅文起点小说数据采集实战——书籍信息与章节内容

影刀RPA新手教程:阅文起点小说数据采集实战——书籍信息与章节内容

影刀RPA新手教程:阅文起点小说数据采集实战——书籍信息与章节内容 1. 认识影刀:什么场景该用RPA采小说数据 起点中文网的页面结构相对稳定——分类榜单、书籍详情、章节内容三块独立页面,跳转链路清晰。这种场景非常适合影刀自动化&#x…

2026/10/13 1:58:08 阅读更多 →

月新闻

我发现了一个新思路:用 Remotion + Claude Code 像写代码一样自动化生成短视频

我发现了一个新思路:用 Remotion + Claude Code 像写代码一样自动化生成短视频

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/12 21:05:09 阅读更多 →
Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式:TaoToken 统一 Key 配置与验证

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式:TaoToken 统一 Key 配置与验证

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/12 14:48:49 阅读更多 →
黑夜航拍船只数据集训练YOLOV5模型全流程解析

黑夜航拍船只数据集训练YOLOV5模型全流程解析

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/12 18:11:17 阅读更多 →