【摘 要】
：
指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通过添加上下文敏感信息是提高指针分析的精度的一个重要手段.自从面向对象的概念被提出来之后,该概念得到了广泛的应用,Java、C++、.NET、C#等主流语言都支持面向对象的特性,面向对象程序的指针分析越来越受关注.做了一个系统文献综述(SLR),通过对索引到的相关文献进行分析和归类,总结了面向对象程序的上下文敏感指针分析研究的5个主要问题,并对这5个问题中用到的方法进行了分析讨论.
【机 构】
：
计算机体系结构国家重点实验室(中国科学院 计算技术研究所), 北京 100190;中国科学院大学, 北京 100049
论文部分内容阅读
指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通过添加上下文敏感信息是提高指针分析的精度的一个重要手段.自从面向对象的概念被提出来之后,该概念得到了广泛的应用,Java、C++、.NET、C#等主流语言都支持面向对象的特性,面向对象程序的指针分析越来越受关注.做了一个系统文献综述(SLR),通过对索引到的相关文献进行分析和归类,总结了面向对象程序的上下文敏感指针分析研究的5个主要问题,并对这5个问题中用到的方法进行了分析讨论.
其他文献
2013年,在德国举办的汉诺威工业博览会上,德国政府率先提出了继工业1.0(蒸汽机时代)、工业2.0(电气化时代)、工业3.0(信息化时代)之后的工业4.0(智能化时代)概念.德国的学术界和产业界认为,工业4.0是以智能制造为主导的第四次工业革命.rn从长远来看,“连接”将是智能制造的核心要义,工业4.0将无处不在的传感器、各种嵌入式终端系统、智能控制系统、通信设备和交通工具,通过信息物理系统编织成一个智能网络,使设备、产品、人三者之间通过智能网络实现虚拟与现实、数字世界和物理世界持续的信息交流和行为交互
历经20多年的发展,容器技术从最初的技术萌芽、迸发到商用探索再到如今的商用拓展,在实现自身价值的道路上越走越远,每一次突破都给行业发展带来了意想不到的变化.近年来,在云原生的加持下,容器技术更是得到了突飞猛进的发展.相比于传统虚拟机技术,容器技术轻量、高效,解决了应用交付和运维的诸多痛点,正在推动传统应用转型为云原生应用,逐步在不同业态、不同规模的企业中得到落地.
1991年,Minnesota大学开发了第一个连接互联网的友好接口,这是21世纪互联网繁荣的“奇点”.在互联网蓬勃发展的21世纪初,它带来的改变远不如我们如今感知的明显,“后之视今,亦犹今之视昔”,10年、20年后的我们会如何看待当下?
Mendix相信,低代码平台开发的安全性和隐私保护离不开信任.Mendix、Mendix用户及用户的客户之间需要建立起信任的纽带.使用低代码开发应用时,企业不仅要加快开发和部署的速度,还要相信应用可以为企业自身及其客户提供全方位的安全保障.为实现这一目标,Mendix贯彻了“安全设计(Security by Design)”的概念,借助开箱即用的安全工具、开发方法和治理工具,确保无论由谁开发应用程序,企业及其客户的数据安全都能得到保障.
1992年,科幻小说家尼尔·斯蒂芬森(Neal Stephenson)的经典科幻小说《雪崩》出版,书中描绘了一个利用科技手段进行链接与创造的、与现实世界映射与交互的“虚拟实境”(Metaverse).如今,这个词被解读为“元宇宙”,指平行于现实世界又独立于现实世界的整合多种新技术而产生的新型虚实相融的互联网应用和社会形态.
亨利·大卫·梭罗曾经说过:“灯塔是所有目光的焦点”.每当进入未知的领域,人们总会聚焦目光,在黑夜中点亮象征意义的“灯塔”,以此作为后续探索的指向标.从2018年世界经济论坛携手麦肯锡启动全球“灯塔工厂”网络项目开始,“灯塔工厂”的数量便不断增加,看到他们在各自行业中取得实效后,越来越多的企业由观望转为投入转型升级,加入数字化转型的行列,这些“灯塔”的“种子”在广大企业心中生根发芽.
技术债是一个指以牺牲长期代码质量为代价来实现短期项目目标的隐喻.其中,那些由开发者有意引入项目中的技术债被称为自承认技术债(self-admitted technical debt,SATD),通常以代码注释的形式存在于软件项目中.SATD的存在给软件质量和鲁棒性带来了巨大挑战.为了识别并且及时地偿还SATD来保障代码质量,研究者从特性分析和识别模型两方面进行了大量研究并且取得了较大的进展.与此同时,相关研究工作中仍存在一些亟待解决的挑战.对近年来国内外学者在该领域的研究成果进行系统性的总结.首先,描述自
开发者通常会为其开源代码选择不同的开源许可证来约束其使用条件,以期能有效地保护知识产权和维持软件的长远发展.然而,现有的开源许可证种类繁杂,开发者难以了解不同开源许可证间的差异,并且难以通过现有的开源许可证选择工具做出合适的选择——其使用要求开发者了解开源许可证相关条款并明确自己的业务需求.学术界虽然对开源许可证已有研究,但是对开发者选择开源许可证的实际困难并无系统的分析进而缺乏清晰的认知.有鉴于此,旨在从开源开发者角度出发,理解其选择开源许可证的困难,并通过分析开源许可证的组成要素和影响开源许可证选择的
源代码的摘要可以帮助软件开发人员快速地理解代码,帮助维护人员更快地完成维护任务.但是,手工编写摘要代价高、效率低,因此人们试图利用计算机自动地为源代码生成摘要.近年来,基于神经网络的代码摘要技术成为自动源代码摘要研究的主流技术和软件工程领域的研究热点.首先阐述了代码摘要的概念和自动代码摘要的定义,回顾了自动代码摘要技术的发展历程,并介绍了生成式摘要的质量评估方法和评估指标;然后分析了神经代码摘要算法的通用结构、工作流程和面临的主要挑战;给出了代表性算法的分类,并对每类算法的设计原理、特点和限制条件进行了分
自然语言处理是人工智能的核心技术,文本表示是自然语言处理的基础性和必要性工作,影响甚至决定着自然语言处理系统的质量和性能.探讨了文本表示的基本原理、自然语言的形式化、语言模型以及文本表示的内涵和外延.宏观上分析了文本表示的技术分类,对主流技术和方法,包括基于向量空间、基于主题模型、基于图、基于神经网络、基于表示学习的文本表示,进行了分析、归纳和总结,对基于事件、基于语义和基于知识的文本表示也进行了介绍.对文本表示技术的发展趋势和方向进行了预测和进一步讨论.以神经网络为基础的深度学习以及表示学习在文本表示中