【摘 要】
：
程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是可靠的值范围.然而该框架下已有的数值抽象域
【机 构】
：
国防科学技术大学计算机学院并行与分布处理国防科技重点实验室
【基金项目】
：
国家自然科学基金(60725206,60621003,60673118);湖南省自然科学基金(07JJ1011)资助~~
论文部分内容阅读
程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是可靠的值范围.然而该框架下已有的数值抽象域在表达非凸性质方面存在一定的局限性,影响了值范围分析的精度.文中基于抽象解释理论,提出一个新的数值抽象域——单变量区间线性不等式抽象域.其主要思想是使用单变量区间线性不等式约束作为域元素的约束表示方法.该抽象域的表达能力强于经典的区间抽象域,并允许表达某类非凸、非连通性质.同时,其域操作存在高效的实现算法.该抽象域具有很强的可扩展性,能够应用在实际大规模的程序分析中.
其他文献
工业监控协议面临的安全威胁主要有完整性、新鲜性和机密性等方面的攻击,而现有工业监控协议在设计时通常将传输数据的可用性放在首位,对协议的安全性研究主要集中于对协议机
敏感材料是湿度传感器的核心。近年来,金属氧化物、聚电解质、石墨烯及其衍生物和各类复合材料在湿度传感领域的发展有了极大的突破。有机/无机复合材料融合了两者的优势,通
本文以五个种源闽楠3年生幼树为研究材料,使用LI-6400便携式光合仪测定气体交换参数,使用MINI-PAM便携式荧光仪测量叶绿素荧光参数,分析明溪、金洞、炎陵、泰宁、台拱五个种
随着互联网的飞速发展,网络已经成为了人们工作生活中必不可缺的一部分。但是随着大量网络应用的出现也使得网络攻击手段层出不穷,网络安全问题越来越严峻。如今入侵检测已经
<正>随着经济全球化和贸易自由化的深入发展,传统的关税和非关税贸易壁垒藩篱正在消失,然以市场壁垒、技术性壁垒和绿色低碳壁垒为主要形式的新型贸易壁垒正在悄然兴起。当前
联邦检索系统源于对跨平台资源整合的需求,它允许用户通过一个统一的平台同时检索多个网络数据库、书目以及其他馆藏信息。回顾国外联邦检索系统的发展历史,经过近几年来厂商
根据Flex RIA技术的特点,分析了基于Flex的RIA WebGIS系统结构,并引入瓦片与双缓存技术和矢栅混合地图服务以提高系统效率,最后据此提出系统设计方案,并开发了某企业地理信息
青藏高原自然保护区的山水环境保护与民族文化传承是一项统一的系统工程。提出自然保护区建设要以民族区域自治制度为框架,以生态环境保护为基础,文化传承与民生保障为出发点
从立足实际、了解中职生数学课堂参与状况,结合经验、总结中职生数学课堂参与方法,巧用方法、促进中职生积极参与课堂学习几方面研究提高中职生学习兴趣和数学课堂的参与度,
<正> 《心理语言学——语言、心理和世界》(Psycholinguistics:Language,Mind and World)是朗曼图书公司编辑的语言学丛书第28卷,1982年出版,全书共分十章。该书作者Danny D.