近日,中国科学院软件研究所智能软件研究中心武延军、吴敬征课题组在基于深度神经网络的静态代码分析研究中取得进展。该团队提出了基于多类型和多粒度的语义代码表示学习模型——MultiCode,解决了工业场景中涉及多需求的开发任务时面临的开发开销大、模型集成困难、可扩展性受限等问题,实现了在多需求工业场景下的高效开发和准确预测,在漏洞检测、代码克隆检测等任务中得到了具体实践,并在政府部门和互联网企业中实际应用。
研究成果以MultiCode: A Unified Code Analysis Framework based on Multi-type and Multi-granularity Semantic Learning为题发表在软件可靠性工程领域旗舰国际会议ISSRE 2021的Industry Track上。在此次会议投稿的226篇论文中,71篇论文被接受,其中仅有本研究1篇论文被评为最佳实践论文。论文第一作者为课题组硕士研究生段旭。
基于深度神经网络的静态代码分析方法通常在不同代码分析任务中引入针对性设计,导致模型呈现高度多样化的态势。在工业领域,该现象会使开发者在开发涉及多需求的代码分析平台时,面临开发开销大、模型集成困难、可扩展性受限等问题。
针对上述问题,MultiCode模型能够学习代码中多种类型和粒度的语义信息,进而支撑多种代码分析任务。团队提出使用抽象语法树、控制流图、程序依赖图等结构,对代码中不同类型和粒度的语义信息进行建模,并利用树神经网络和图神经网络分别对不同的语义信息进行处理。在该过程中,MultiCode模型自底向上地先学习语句级别的表示,再基于该表示学习代码段级别的表示。通过将该模型作为编码器进行神经网络构建,能够有效适配于不同的代码分析任务。在漏洞检测和代码克隆检测任务上的评估结果表明,其能够在不需要重新构建编码器的情况下,在不同任务中有效地识别并区分不同类别代码的语义,进而支撑多种任务上的预测。
该研究得到国家重点研发计划、国家自然科学基金的支持。
论文下载
MultiCode基于多类型和多粒度的语义代码表示学习模型框架
ISSRE 2021最佳实践论文奖
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
智能软件研究中心硕士生段旭荣获ISSRE 2021最佳实践论文奖
本站小编 Free考研考试/2022-01-02
相关话题/代码 论文 软件 工业 信息
软件所参与项目荣获2020年度北京市科学技术进步奖
在2020年度北京市科技奖励评选中,中国科学院软件研究所参与完成的项目“科技期刊一体化融合出版关键技术研究与产业化应用”荣获北京市科学技术进步奖二等奖。 主要完成单位包括:北京仁和汇智信息技术有限公司、中国科学院文献情报中心、中国科学院软件研究所、中国科学院自动化研究所、中国科学院物理研究所。 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所金蓓弘、张扶桑课题组荣获ACM UBICOMP 2021杰出论文奖
普适计算领域的国际顶级学术会议ACM UbiComp (International Joint Conference on Pervasive and Ubiquitous Computing) 2021年度大会于9月21-26日在线上召开。论文“Exploring LoRa for Long-ra ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所王青、石琳课题组荣获ASE2021 ACM SIGSOFT杰出论文奖
近日,中国科学院软件研究所互联网软件技术实验室在开源社区群智挖掘研究中取得进展。该研究面向开源社区中的开发者,针对开发者实时聊天内容中大量有价值的“问题-解决方案”信息,提出了一种多层次模型——面向群智的问题及解决方案自动提取技术(ISPY),有效构建了“问题-解决方案”(Issue-Solutio ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所等提出国际首个完全实用的异步共识算法“小飞象” 区块链核心技术取得重大突破
近日,中国科学院软件研究所张振峰团队与新泽西理工学院唐强团队在区块链核心技术——拜占庭容错(BFT)共识研究中取得突破,提出了首个完全实用的异步共识算法——小飞象拜占庭容错(DumboBFT)算法,该成果《Dumbo: Faster Asynchronous BFT Protocols》发表于网络安 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所四项成果荣获2019年度北京市科学技术奖
在2019年度北京市科技奖励评选中,中国科学院软件研究所参与完成的四项成果获奖。其中,“高安全低功耗嵌入式系统芯片技术及应用”、“航天嵌入式软件可信保障关键技术和应用”两个项目荣获“2019年度北京市科学技术奖一等奖”,“面向物联网大数据的智能服务平台关键技术及应用”、“基于国产基础软硬件的交通行业 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所发布最大零售场景目标检测计数联合任务数据集——Locount
在日常购物时,我们不妨畅想一下未来商超的购物场景:无需结算台,消费者取下产品的同时,商品识别算法就可以完成自动结算;无需货架管理员,智能货架管理技术可以实时动态监测商品数量变化,并自动完成数据分析。实现这种智能化消费方式的核心难点在于解决目标检测计数联合任务领域中的遮挡问题。 近日,中国科学院软件 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所高性能计算团队获中科院“先导杯”并行计算应用大奖赛基础算法一等奖
8月26日,首届中科院“先导杯”并行计算应用大奖赛圆满结束,中国科学院软件研究所并行软件与计算科学实验室高性能计算团队荣获基础算法赛道一等奖。获奖团队由四名研究生组成,分别是:岳星言、张宠、李子薇、曹子健,指导老师为软件所助理研究员孙乔、赵慧,团队历经近五个月的奋战,最终在激烈的角逐中脱颖而出。 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所互联网软件技术实验室博士生刘哲斩获ACM学生研究竞赛研究生组冠军
近日,中国科学院软件研究所互联网软件技术实验室研究员王青指导的博士生刘哲在ACM学生研究竞赛(The ACM Student Research Competition at ASE 2020)荣获研究生组第一名。 该比赛在第35届IEEE/ACM自动化软件工程国际会议(ASE 2020)期间举行, ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所在智能理论研究方面取得进展
近日,软件所智能软件研究中心在人工智能基础理论方面取得进展,在树形神经网络、风格迁移模型、小目标计数具体问题上提出了新的解决方案。相关研究成果发表在人工智能领域国际顶级会议CVPR 2020、ECCV 2020、ACM MM2020上,并受邀完成了线上学术报告,相关代码已经开源,供国内外研究人员参考 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02软件所自主研发安捷(Agilor)实时数据库系统
安捷(Agilor)实时数据库系统是由中国科学院软件研究所研发的具有完全自主知识产权的大型分布式实时数据库系统。安捷数据库系统能够通过毫秒级的数据采集、实时规则推理、复杂事件处理和人机智能融合,采集和存储来自各种控制系统和现场总线的设备状态与生产过程数据,实现海量实时数据的高效存储管理,为企业提供集 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02