团队将人工智能赋能软件工程,研究软件缺陷检测及预测、漏洞挖掘、错误定位、软件修正、克隆代码检测及维护等技术。团队与华为公司合作研究“相似漏洞挖掘算法”,研究开发了分布式增量式索引的大规模代码搜索引擎,使之能有效支持大规模代码中的相似漏洞搜索。该搜索引擎支持十余语言的相似漏洞检测,支持对远程配置库创建索引,既支持关键字也支持代码片段搜索,并分析源代码的语法信息,支持多种模糊度语义级别的查询,从而可以提高搜索精度。增量式的多版本软件演化分析,具有良好的可扩展性,可快速分析大规模代码。
该技术可广泛应用于软件漏洞挖掘、相似代码检测,目前已在华为公司内部进行使用。