【摘 要】
：
针对传统基于抽象解释的变量值范围分析方法存在覆盖代码程度不高的问题,提出了一种新的描述单变量值区间方法。该方法采用找到数值型子程序的矛盾结点,全面考虑了不同的选择
【基金项目】
：
天津市自然科学基金(18JCZDJC30700),赛尔网络下一代互联网技术创新(NGII20160121)资助项目
论文部分内容阅读
针对传统基于抽象解释的变量值范围分析方法存在覆盖代码程度不高的问题,提出了一种新的描述单变量值区间方法。该方法采用找到数值型子程序的矛盾结点,全面考虑了不同的选择结构和循环结构的嵌套,并考虑了分析精度与效率的问题。以抽象解释理论作为分析框架,研究程序中各个变量的上下文状态,达到验证程序变量是否满足规范的目的。利用公开已有的变量值范围数据对变量值范围分析方法进行的验证表明,与现有的值范围分析方法相比,该方法由于更全面地考虑了不同的嵌套结构,因此取得了更好的结果。
其他文献
随着网络通讯技术的迅猛发展,数字化信息呈爆炸式增长,数据存储的可靠性以及数据中心的能耗问题更为人们所关注。基于独立冗余磁盘阵列(RAID)存储系统,本文提出了一种可以恢
高等职业院校人才培养工作状态数据采集平台是高职人才培养工作评估方案的基础,已成为各高职院校人才培养工作状态分析的主要依据.为解决高职院校人才培养工作状态数据采集的
在本刊今年第一期中,我们曾经说过,世界华文文学,作为一门学科,比起许多兄弟学科,还显得相当年轻。但惟其年轻,她显得格外活跃,格外富有生机,惟其年轻,她对于体现着生命内在
在K×K用户多输入多输出(MIMO)通信系统中,提出了一种符号检测辅助的最大信干噪比(SDA-MAX-SINR)干扰对齐(IA)算法。首先利用传统最大信干噪比(MAX-SINR)干扰对齐算法检
<电子技术>是高职电类专业的一门重要课程,该课程要求学生在掌握一定的理论知识的同时,还应具有较高的实践技能,所以必须开设<电子技术>综合实训周.这些年来我们在指导<电子
为了探讨进展期胃癌施行根治性胃切除（ＲＧ），术后应用ＴＰＮ对病人免疫功能的影响，我们对５５例进展期胃癌病人分别在术前和术后９ｄ检测外周血的免疫球蛋白ＩｇＧ、ＩｇＭ、ＩｇＡ和补体Ｃ３、Ｃ４、ＣＨ５０，ＮＫ细胞活性及Ｔ淋巴细胞亚群的
针对随机早期检测(RED)算法所存在的参数敏感性问题,本文提出了一种基于参数自适应动态调整的RED算法。针对RED算法的丢弃概率函数是线性的这一问题,利用S型升半哥西分布函数
长江三峡库区的滩坪滑坡加固措施以锚索桩和锚索地梁为主,但部分锚索是锚索张拉锁定130 d后施工的,为使后补锚索与已施工锁定的锚索共同协调受力,需计算已锁定锚索的应力损失
各类学习型组织是中心城镇学习型社会的细胞,也是推进中心城镇社区教育的基础,更是完善终身教育体系建设的重要抓手。在新型城镇化建设视野下,学习型组织是学习型社会建设的