Wukong(中科天齐)

2020-12-21
609

悟空是一款静态代码分析工具,为客户在软件开发过程中查找、识别、追踪绝大部分主流编码中的技术漏洞和逻辑漏洞,帮助用户提升抵御网络攻击、防止数据泄露等安全问题的能力。全方位检测不留死角,从源代码入手,从根源处解决软件安全问题。

支持多项国际/国内/行业检测标准WuKong支持安全编码标准、运行时缺陷、安全漏洞等多种类型检测:支持OWASP TOP10、CWE TOP25、ISO17961等国际标准支持GB/T34943、GB/T34944等国家标准支持MISRA、SJ/T 11683等多项其他标准

提供定制化服务WuKong响应客户的个性化需求,提供本地定制化服务,可对以下等多个模块及其他个性需求进行定制开发,如:缺陷漏洞编码标准图表报表管理功能

结合人工智能和机器学习的方法来进一步指导代码分析和验证分析结果,通过我们的机器学习方法能够将安全测试的准确率提高95%以上。相关工作先后发表于ACSAC’17、ICSE’18等国际顶级会议上。