甲骨文
  • 应用方向：为甲骨文公司操作系统、数据库等产品中查找应用安全漏洞
  • 主要产品：先进静态安全漏洞检错工具Parfait
  • 使用情况：已成为甲骨文数据库等产品部门必备的安全测试工具
阿里
  • 应用方向：检测阿里内部人工智能应用的各类错误
  • 主要产品：Tensorflow程序错误检测（定制）
  • 使用情况：已与阿里北京研发中心开展合作。后续团队将进一步针对人工智能应用定制检测方法和工具，全面应用于阿里集团内部各类AI应用
华为
  • 应用方向：成功检测已有商业工具检测不到的深层空指针类型错误
  • 主要产品：空指针引用错误检测工具（定制）
  • 使用情况：在华为终端等关键部门得到广泛推广，华为内部人士认为该工具解决了华为终端部门面临的关键问题
北京市国际技术贸易协会
  • 应用方向：由协会发起，为协会包括百度、小米、空中客车、软通动力等公司在内的60余家会员企业提供应用安全检测公共服务
  • 主要产品：源代码漏洞检测安全智能诊断工具（Wukong）
  • 使用情况：已经为该协会信息、金融、制造等近20家会员企业提供应用安全漏洞检测公共服务，为企业发现大量安全漏洞。