“软件安全智能检测修复平台（Wukong悟空）”产品由中国科学院研究员李炼博士带队的博士带队所研发。能够为国内外政府、金融、电信、科技等行业客户提供专业全面的软件源代码漏洞检测解决方案，帮助客户在软件开发过程中查找、识别、追踪绝大部分主流编码中的技术漏洞和逻辑漏洞，帮助客户以低成本控制应用程序安全风险。在各项关键技术指标上，包括测试能力（漏报率）、测试准确性（误报率）、测试效率等方面性能良好。该技术在本领域国际顶尖学术会议PLDI, FSE, ECOOP, CGO, SAS等会议上发表论文三十余篇，获得多项国际专利，并多次获得最佳论文奖，拥有这一领域领先世界的创新技术和创新能力。
