区间运算中提高循环处理精度的研究

来源 :第十四届全国容错计算学术会议 | 被引量 : 0次 | 上传用户:yanyingguilai
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。本文提出一种基于符号运算和抽象解释理论中Widening/Narrowing 算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。本文所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明,本文提出的方法可以提高区间运算中循环处理的精度,减少潜在的误报。
其他文献
  中国海洋钻井的60%以上都集中在渤海湾地区,该地区因地质条件相对复杂,钻井液应用体系较多,具有一定代表性。本文针对渤海油田在用PEM 钻井液体系和GCL 钻井液体系进行实验室
  从高温高盐油藏驱油表面活性剂、稠油蒸汽驱用高温泡沫剂、兼具调剖性能又有驱油效果的泡沫表面活性剂体系、低渗透油藏气驱防窜用泡沫表面活性剂以及纳米驱油表面活性剂
国家卫生健康委、人力资源社会保障部、国家中医药管理局表彰全国卫生健康系统新冠肺炎疫情防控工作先进集体和先进个人,河钢集团5名医护人员支援的武汉江岸方舱医院、武昌方
期刊
鄂城钢铁在抗击疫情保障生产的特殊时期,涌现了许多优秀的抗“疫”保产战士,有坚守生产一线的工人,有守卫钢城的安保人员,有采购防控物资的采购员,还有为抗“疫”保产战士提
期刊
本文中在系统研究采出液和采出水处理设施内污油的微观结构、成分和相分离特性的基础上,总结了污油的主要特性和稳定机制,结合大庆油田典型的采出液和采出水处理过程揭示了污
本文基于企业内部控制信息披露的产生原因和使用对象,结合国内外内部控制信息披露经济后果的文献,从规范作用和价值提升两个角度,归纳中西方文献的共有特征,以及我国企业内部
  核桃壳过滤器作为油田含油污水处理的最后一级处理设备,依靠核桃壳滤料自身的微孔以及极大丰富的比表面积吸附和截留含油污水中的乳化油污,但在设备长期运行以及处理高含油
  用含磺酸基的烯基单体和丙烯酰胺、丙烯酸共聚,合成了一种耐温抗盐的聚合物降滤失剂PFL-1,考察了单体配比及引发剂用量的影响,在兼顾聚合物相对分子质量和降滤失效果的情况
  数模混合SoC正逐步成为SoC的主导,而其中模拟芯核的测试问题是研究的难点之一。利用自保持模拟测试接口(SHATI)可以实现模拟芯核对外接口虚数字化,对其进行并行测试。本文针
  本研究为了解决异构分布式系统中可靠调度问题,提出了一种提考虑处理机链路通信竞争的,支持任务依赖关系的主副版本容错调度算法(Fault-tolerant Scheduling for Precedence
会议