近日，由奇安信集团、北京网络安全大会(BCS)、全国网络信息安全创业投资服务联盟(筹)、奇安投资联合主办的2022第七届网络安全创客汇初赛顺利收官，北京中科天齐信息技术有限公司作为软件供应链安全及代码安全领域自主创新型企业，成功入选《2022网安创业新锐50强》。
北京中科天齐信息技术有限公司创始人李炼说道：“因为我是一直做这个软件的安全分析这方面研究的，那么我们的核心是基于一个自动的，我们叫程序分析的这样的一个技术。这个技术是做什么呢？就是我们随便拿一个软件过来，我们通过一系列的方法，我们能够自动推断出他的一个行为，以及他预期的行为是什么样子，然后从而我们可以自动地推断出来是不是有可能违反一些安全隐患，是不是有可能违反一些我们的安全准则，有没有可能是出现异常的执行情况等等这样的一个技术。”
中科天齐公司是中科院计算技术研究所孵化的软件安全领域产业化公司。是在中科院计算技术研究所的大力推动和支持下，由中科院研究员李炼博士创立，团队凭借多年在程序分析领域的技术积累，致力打造网络安全漏洞治理领域新生态的高新技术企业。
北京中科天齐信息技术有限公司创始人李炼表示：我们现在的这个主要的产品是一个静态分析检测工具。那么是什么意思？就是我们把一个软件拿过来，在不运行的情况下面，我们自动分析它的源代码，从而能够推断出在这个代码哪一行，我们可能会存在一个什么样的安全隐患，怎么样去对他进行一个修复。跟这个相关的市场上面的一些类似的产品，大部分都是国外的一些产品和技术。国内的现在在应用的市场上面，实际上还属于相对比较落后的位置。那么我们是一直就是在这个静态分析的技术里头，也是累积到我们之前的一些研究的结果的积累。
中科天齐以自主研究成果WuKong静态软件安全测试工具为主打产品。Wu Kong静态软件安全测试工具是一款国产信创SAST产品，采用自主专利技术的程序分析引擎，多种创新性的静态分析技术，结合深度学习和人工智能等多种方法，能够对软件代码进行全方位的安全扫描和安全分析。Wukong积累了团队多年的研究成果，包括深度指针分析方法、程序切片方法、稀疏化过程间数据流方法等多个获得国际论文最佳论文奖的方法，使得工具能够在检测能力、准确率等关键指标上显著优于同类产品。WuKong静态软件安全测试工具拥有超过8项国际和国内专利技术， 从检测引擎内核到UI展示，全部自主研发，完全自主可控。国外SAST类工具无法支持国产操作系统和国产芯片，例如中标麒麟、银河麒麟等国产化操作系统，龙芯、申威等国产化芯片。WuKong静态软件安全测试工具能够全部兼容这些国产化环境。
北京中科天齐信息技术有限公司创始人李炼强调：未来我们是希望能够基于我们现有的产品，我们能够推出一个全方位的漏洞治理的平台。然后，这个漏洞治理的平台能够得到非常广泛的应用，而且真正能够帮助我们去我们的开发人员和测试人员，包括我们的安全测试、安全维护人员，能够成为他们非常得力或者必不可少的一个工具，来去帮助他们更有效地发现和解决这个安全漏洞的问题。
未来，中科天齐将以自主创新为发展源动力，不断寻求技术突破，继续为政府、金融、科技、软件研发、工业互联网等众多行业领域软件安全提供保障，为国家网络安全发展贡献力量。
本节目于7月10日在北京财经频道播出。
广通社-北京直通车文化传媒有限公司（ 责编：高飞 | 编导：陈佳琦 ）