WuKong静态代码安全测试工具
WuKong(悟空)是一款性能优异的国产静态代码检测工具 检测源代码安全缺陷和编码规范
支持C、C++、C#、JAVA、Python、JavaScript等主流程序开发语言

支持混合语言检测,支持中间码/字节码检测,也支持针对源代码本身检测

支持天脉、Keil、CCS等嵌入式环境的自动编译构建和分析

支持Eclipse插件、IDEA插件进行本地检测

支持zip压缩包形式上传被测工程,或SVN/GIT形式上传被检测工程,支持CI(持续集成)的检测

支持GB/T34943、GB/T34944、SJ/T11682、SJ/T11683、GJB8114、CWE、OWASP、Misra等国内 外标准规范

支持GIT/SVN的增量检测/全量检测,支持两个任务版本之间检测结果对比

支持AI验证误报,通过调用AI模型对缺陷展开精准分析

支持AI自动修复,通过调用AI模型为存在缺陷的代码片段提供有效的补丁方案
开始试用 线下预约试用请拨打业务咨询电话:135 2100 2180

为什么选择悟空

领域技术团队潜心研发,自主技术创新

WuKong是领域专业技术团队多年科研攻关成果,核心技术取得多项荣誉成就。包括:

  • 四十余篇国际会议/期刊论文发表
  • 四次国际论文奖
  • 三十余项核心自主知识产权

支持多项国际/国内/行业检测标准

WuKong支持安全编码标准、运行时缺陷、安全漏洞等多种类型检测:

  • 支持OWASP TOP10、CWE TOP25等国际标准
  • 支持GB/T34943、GB/T34944等国家标准
  • 支持MISRA、SJ/T 11683等多项其他标准

兼容多种国产化环境

WuKong通过多项国产环境兼容适配测试,可支持多种国产环境,包括:

  • 中标麒麟
  • 银河麒麟
  • 鲲鹏
  • 龙芯
  • 飞腾
  • 统信
  • 等国产软硬件

提供定制化服务

WuKong响应客户的个性化需求,提供本地定制化服务,可对以下等多个模块及其他个性需求进行定制开发,如:

  • 缺陷漏洞
  • 编码标准
  • 图表报表
  • 管理功能

完备的技术支持体系

  • 全天候技术咨询服务
  • 维保期内免费移机服务
  • 及时高效的产品升级服务
  • 免费提供软件使用技术培训服务
适用语言和环境
WuKong目前支持C、C++、C#、JAVA、Python、JavaScript 等主流开发语言
支持Ubuntu、CentOS等Linux环境部署;支持麒麟、统信等国产操作系统部署;支持高并发用户的分布式部署
悟空产品功能列表
基本功能
支持Word、PDF格式检测报告
支持命令行
支持增量检测
支持ZIP包、SVN/Git检测
项目、任务、团队管理, 领导驾驶舱,量化分析
知识库和定制
支持AI验证误报/自动修复
支持标准
OWASP top 10
CWE/SANS top 25
GB 34944(Java)
GB 34943(C/C++)
SJT 11683-2017(Java)
SJT 11682-2017(C/C++)
Cert Java 安全编程规则
MISRA 2012
GJB 8114
支持框架
Spring
Mybatis
Hibernate
等14种内置框架
检测引擎
快速检测引擎
(能够快速检测,生成检测报告)
深度智能检测引擎
(可调节检测深度的智能检测引擎)
运行时缺陷检测
内存泄漏
变量未初始化使用
使用已释放的内存
数组越界
空指针解引用
资源泄漏
释放未分配的内存
无限循环
不可达路径
等100多种运行时缺陷检测
安全漏洞检测
SQL注入
跨站脚本攻击
密码权限
非法计算
代码安全
线程死锁
0Day漏洞
Cookie安全
远程拒绝服务
等上千类安全漏洞检测
定制化服务
检测器定制
Devops/DevSecOps定制
报告定制
图表中心定制
领导驾驶舱定制
产品兼容认证
产品界面展示
产品首页
高频BUG分析
快速检测
软件代码安全驾驶舱
客户
从源代码入手,从根源处解决软件安全问题
Wukong专注于扫描
和检测应用软件源代码
中的潜在问题和缺陷
至今已检测上亿行
代码
发现数十万安全
“缺陷”
发现数万“严重”安
全问题
为企业避免了上亿
经济损失
源代码安全漏洞检测修复
Exchange Server内存损坏漏洞(CVE-2018-8302)
Stagefright漏洞
Linux系统double-free漏洞
Samba远程代码 执行漏洞
Linux内核漏洞Phoenix Talon
Linux内核提权漏洞(DVE-2017-6074)
永恒之蓝漏洞,Kerberos协议漏洞,SheLLShock漏洞
心血漏洞
Adobe Flash漏洞(CVE-2018-4878)
IE双杀漏洞(CVE-2018-8174),Win-dows & Adobe PDF漏洞
(CVE-2018-4990)C
Exchange Server内存损坏漏洞(CVE-2018-8302)
CPU熔断漏洞
indows DNS Server 堆溢出漏洞(CVE-2018-8626)
CPU幽灵漏洞
Windows Win32k漏洞(CVE-2018-8453)
微软Jet Database Engine远程 代码执行漏洞(CVE-2018-8423)
Windows ALPC漏洞(CVE-2018-8440)
脏牛漏洞(CVE-2016-5195)
微软Edge远程代码执行漏洞(CVE-2018-8495)
源代码级
运行级
系统级
网路级
源代码级
源代码安全漏洞检测修复
运行级
漏洞扫描器 安全沙箱 FUZZ测试
系统级
恶意软件检测 主机防护 安全OS
网络级
IDS 防火墙 隔离机
基于WuKong的代码检测服务
出具满足多项国家及国际相关标准的测试报告,强大的源代码审计团队,满足实验室、线上、现场等多种场合的检测需求
软件源代码检测
软件源代码检测 全面覆盖软件安全规范和漏洞。
出具客观检测报告
出具客观检测报告 支持多项国际/国内/行业安全编码规范、运行时缺陷、安全漏洞类型检测。
缺陷漏洞定位分析
缺陷漏洞定位分析 精准到行的代码缺陷检测,方便开发者更快发现并解决问题。
提出修复策略
提出修复策略 针对每个发现的缺陷,提供缺陷修复建议,帮助开发者快速修复代码缺陷。
三分钟了解中科天齐
技术实力
符合国家标准
资质认证
公司荣誉
    CGO’13,CGO’14,ECOOP’16, ASE2019发表论文
    PLDI、ICSE、FSE、ECOOP、CGO、SAS等会议 成果发表
    获得国际、国内多项专利
    本产品选用Juliet Test Suite V1.3 版本的测试集进行测试,该测试集是由美国国家技术标准研究所(National Institute of Standards and Technology,NIST) 于 2017 年针对 CWE 中的不同分类所创建的。针对我们所支持的cwe分类测试结果漏报率为3% , 误报率为2%。
安全资讯
2024
01-16
中科天齐荣获“国家”“中关村”高新技术企业双项认定
北京中科天齐信息技术有限公司在经过企业申报、提交申报材料、专家评审、认定报备、公示公告等一系列程序的严格审核后,荣获“国家高新技术企业”和“中关村高新技术企业”认定,实现了双高新认定。国家高新技术企业高新技术企业是发展高新技术产业的重要基础,是调整产业结构、提高国家竞争力的生力军,在我国经济发展中占有十分重要的战略地位,一直受到各级政府的高度重视、鼓励和支持。按照规定,只有当企业研发投入占比、高新技术产品收入占比、科技人员数量、技术创新能力等核心指标满足一定条件才能获此认定。中关村高新技术企业"中关村高新技术企业"由北京中关村科技园区管理委员会审核,通过一系列严格的要求,包括企业资质、科技研发能力、技术创新能力、企业发展情况以及填报资料真实性等方面的考察,最终确定是否可以获得资质认定,是国家为支持高新企业发展,提高国家综合经济竞争力而设立。本次中科天齐获得双高新技术企业的认定,是国家对企业在科技创新上的认可和支持,同时也标志着中科天齐正式迈入高新技术企业行列。中科天齐将继续以技术为核心,以市场发展为导向,积极提升企业核心竞争力、创造力和生命力。同时更加注重知识产权、培养优秀技术人才队伍,加强科技成果转化应用能力,助推公司高质量发展,助力网络安全建设。WuKong静态代码安全测试工具 “Wukong”作为一款静态代码安全测试工具,支持多种开发语言的安全缺陷检测,兼容多种国产化环境,帮助用户提升抵御网络攻击、防止数据泄露等安全问题的能力。
2026
04-15
AI+QL:重构代码安全检测范式
DevSecOps高速发展,代码安全检测已成为研发全流程中不可或缺的核心环节。从传统静态代码分析工具(SAST)的规则化扫描,到大型语言模型(LLM)的语义化推理,代码检测技术始终在追求“精准、高效、全面”的目标。目前出现很多结合AI和传统分析工具的新技术,通过整合各类工具核心优势,构建代码安全检测新范式,解决行业长期存在的痛点。传统静态代码分析工具:传统SAST工具核心优势在于基于预设规则的精准扫描,误报率相对较低,且能快速适配主流开发语言,集成于CI/CD流水线实现自动化检测。工具的局限性:1、依赖人工编写规则,规则库更新难以迅速跟上新型漏洞;2、采用模式匹配机制,对漏洞变种、复杂上下文依赖的漏洞识别能力薄弱,漏报率较高;3、难以发现业务逻辑漏洞,对于“看似危险却实际安全”的代码(如日志打印中的用户输入),容易产生无效告警,或遗漏“看似安全却存在隐患”的隐蔽漏洞。纯AI代码检测工具:随着大语言模型的崛起,纯AI代码检测工具凭借强大的语义理解与上下文推理能力,成为行业新热点。这类工具的核心优势的是无需预设规则,能从海量代码与漏洞样本中学习漏洞本质特征,快速识别跨文件、跨函数的复杂漏洞,甚至能发现传统工具无法覆盖的漏洞变种。纯AI工具的局限性:1、误报率较高,部分模型因“幻觉”问题,会虚构不存在的漏洞,或误判安全代码为漏洞;2、漏洞定位精度不足,无法精准标注漏洞所在的行和列,给开发者排查带来不便;3、缺乏严谨的逻辑验证,对于复杂的数据流、控制流漏洞,仅能基于语义推理给出判断,无法通过技术手段验证漏洞的可利用性,可靠性不足。QL类语义分析工具:以CodeQL为代表的QL语言工具,是当前语义分析领域的标杆。其核心优势在于将代码转化为结构化数据库(AST、控制流、数据流),通过声明式查询实现对漏洞的精准定位,支持污点追踪技术,能清晰识别数据从“源头(Source)”到“汇聚点(Sink)”的完整路径,从根本上提升漏洞检测的精准度。CodeQL作为GitHub旗下工具,支持自定义查询,能适配Java、C/C++、Python等主流语言,在专业安全审计中应用广泛。QL工具的局限性:1、门槛极高,需安全专家手动编写复杂的QL查询语句,普通开发者难以掌握;2、规则覆盖有限,手动编写的查询无法快速适配新型漏洞,且对小众语言、框架的支持不足;AI+QL融合工具AI与QL的深度融合,本质是“AI补QL的灵活与效率,QL补AI的精准与严谨”,通过整合三类工具的核心优势,构建出全流程自动化、高精度、广覆盖的代码检测体系。其中,QL提供“精准的逻辑骨架”,负责深度语义分析与漏洞验证;AI能够发现业务逻辑问题,并负责规则生成、语义理解与误报过滤。AI+QL的协同优势AI与QL的融合,整合了传统静态工具、纯AI工具与QL工具的核心优势:1. 精度提升:AI发现业务逻辑漏洞、漏洞变种与新型漏洞;QL提升精准度,过滤误报,确保结果可靠。2. 全流程自动化:从AI生成QL查询、QL执行扫描,到AI验证漏洞、过滤误报、生成修复建议,形成完整的自动化闭环,大幅降低人工投入,提升检测效率。3. 门槛降低:支持自然语言交互,开发者无需学习QL语法,只需用中文/英文描述漏洞需求(如“查找SQL注入”),AI即可自动转化为QL查询并执行,实现安全能力平民化。4. 可扩展性强:兼容主流LLM与QL工具(CodeQL),支持多模型协同,可根据项目需求灵活调整,适配不同规模、不同语言的代码库。 5. 持续进化:AI可从CVE库、历史检测数据、社区知识中持续学习,自动优化QL查询质量;QL则可通过AI的建模能力,不断扩展语言与漏洞覆盖范围,形成持续进化的检测能力。
2026
02-12
Gartner预测:2026年六大关键网络安全趋势
根据Gartner最新研究,人工智能、地缘政治紧张局势和监管不确定性将成为影响网络安全格局的核心驱动因素。面对持续紧张的网络安全态势,企业决策者需要重点关注以下六大趋势:趋势1 自主AI催生新型安全监控需求随着员工和开发者广泛采用AI Agent,新的攻击面正在形成。无代码/低代码平台和氛围编程(Vibe-Coding)的普及加速了自主AI的失控扩散,导致不安全代码激增和潜在合规风险。Gartner分析师Alex Michaels强调:"企业必须建立严格的治理体系,既要识别已授权和未授权的AI Agent,还需制定事件响应预案,通过双重管控机制化解潜在风险。"趋势2 全球监管波动推动网络弹性建设地缘政治格局演变与全球法规更新使网络安全成为直接影响组织韧性的关键业务风险。监管机构正加大对董事会和高管的追责力度,合规缺失可能导致巨额罚款、业务损失及不可逆的声誉损害。Gartner建议企业通过法律、业务与采购团队的协同,构建符合国际标准的控制框架,并重点解决数据主权问题以消除合规盲区。趋势3 后量子密码学进入实施阶段Gartner预测,量子计算的突破将在2030年前使现行非对称加密体系失效。为防范"现在窃取,未来解密"型攻击导致的数据泄露与法律责任,企业需立即启动后量子密码迁移计划。分析师指出:"后量子密码重构了安全战略,要求企业在确保密码敏捷性的前提下,系统性地识别、管理和替换传统加密方案。提前布局才能在未来量子威胁成为现实时保障资产安全。"趋势4 IAM体系适配AI Agent新常态AI Agent的崛起对传统身份与访问管理(IAM)体系提出三重挑战:机器实体身份注册、凭证自动化发放及策略驱动的访问授权。随着自主Agent普及,若未建立针对性管控机制,访问相关安全事件风险将显著攀升。Gartner建议采用风险导向的精准投资策略,通过自动化手段填补高危缺口,在保障合规的同时守护AI环境中的关键资源。趋势5 AI驱动型SOC重构运营范式成本压力与AI热潮推动安全运营中心(SOC)智能化转型,但AI工具的引入也带来人员短缺、技能升级和成本结构变化等新挑战。Gartner强调:"释放AI在安全运营中的价值需要人技并重,通过员工能力建设、人机协同框架实施和战略目标校准,维持SOC演进过程中的运营韧性。"趋势6 生成式AI颠覆传统安全意识教育Gartner调研显示,现有安全教育措施难以应对GenAI快速普及带来的风险。2025年5-11月对175名员工的调查表明,57%受访者使用个人GenAI账户处理工作,33%承认向未授权工具输入敏感信息。分析师建议转向包含AI专项任务的适应性培训计划:"通过强化治理、固化安全实践和明确使用政策,可有效降低数据泄露与知识产权流失风险。"