Java指针分析综述

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:cuixy3
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于程序的一系列基础信息,例如程序任意变量的指向关系、变量间的别名关系、程序调用图、堆对象的可达性等.介绍了Java指针分析的重要内容:指针分析算法、上下文敏感、堆对象抽象、复杂语言特性处理、非全程序指针分析,特别是对近年来指针分析的研究热点选择性上下文敏感技术进行了梳理和讨论.
其他文献
<正>万荣方言属于中原官话,也叫万荣话。作为万荣文化的一种,万荣话有趣、简短、疏放,充满活力,又有无穷的魅力。网络上流传的段子用标准的万荣方言与普通话比较,体现出万荣方言的诙谐有趣,“有一种亲密叫斯干着,有一种质疑叫团里吧,有一种消遣叫片一会,有一种感叹叫好怂”。研究万荣方言中名词的重叠式,有利于更清晰地看到万荣方言与普通话之间的异同。
期刊
报纸
指导农民合作社(包含党支部领办合作社)按照《农民专业合作社法》规范发展,是促进农村社会经济发展的重要途径。能否引导农民合作社规范健康发展,不仅关系到农村社会经济的发展,而且还关系到基层组织建设的巩固,关系到农村社会的稳定。因此,搞好农民合作社尤其是党支部领办合作社规范健康发展,是一项重要工作。
<正>“双碳”目标的确立对传统车企而言影响深远,数字化和绿色化转型发展的国家战略则为车企的可持续发展指明了方向。疫情之下,数字技术的广泛应用正在颠覆并重塑着各行各业,带来全新的商业价值,成为经济发展的重要驱动力。绿色经济与数字技术的结合将为传统汽车企业的低碳绿色发展和经济增长提供新的变革路径。
本文研究了水胶比、骨料、硅灰、超细矿粉、减水剂类型等参数对超高性能混凝土的流动性、粘度、抗压强度和抗折强度的影响规律,给出了低粘度超高性能混凝土粘度的主要影响因素:水胶比、细骨料比例、减水剂类型,提出了适宜配合比参数范围:水胶比为0.16,硅灰掺量为15%,超细矿粉掺量为10%,细砂比例≤20%,骨料选用精制石英砂,减水剂选用降粘型液体减水剂。
目的:分析医院抗肿瘤药物所致药物不良反应(adverse drug reactions,ADRs)的临床特征,为临床抗肿瘤药物的合理用药提供参考。方法:选取2020年7月—12月平顶山市第一人民医院上报中国医院药物警戒系统(China hospital pharmacovigilance system,CHPS)的110例抗肿瘤药物所致ADRs报告作为研究资料,统计和分析ADRs患者的性别、年龄、
考察青蒿、诃子、苦参、柴胡、黄芪、山楂、木香7味中药组成的复方中药制剂对鸡柔嫩艾美耳球虫(Eimeria tenella)的防治效果。选取120只健康雏鸡,随机分为6组,除空白对照组外,其余各组(阳性对照组,药物对照组及复方中药低剂量组、中剂量组、高剂量组)试验鸡均经口感染1.5×10~4个柔嫩艾美耳球虫孢子化卵囊,考察各组试验鸡相对增重率、病变值、抗球虫指数ACI、相对球虫卵囊产量及血清生化指标
本文简要分析电网工程造价管控模式的现状和不足,重点强调基于数字化转型的“靶心法”造价管控模式,并以加强“靶心法”造价管控模式应用措施作为切入点,对建立高质量数据库、利用试点开展制度创新、推广全过程造价咨询管理模式、开展应用实践以及提高造价管理人员专业水平等方面进行研究,期望能够为相关人员提供参考。