多面体抽象域的整数实现方法及其在程序分析中的应用A Machine-Integer Implementation for Polyhedra Abstract Domain and its Application in Program Analysis

4004
    


来源:
Licence:
联系:
分类:
平台:
环境:
大小:
更新:
标签:
联系方式 :
免费下载 ×

下载APP,支持永久资源免费下载

限免产品服务请联系qq:1585269081

下载APP
免费下载 ×

下载APP,支持永久资源免费下载

下载APP 免费下载
下载 ×

下载APP,资源永久免费


如果出现不能下载的情况,请联系站长,联系方式在下方。

免费下载 ×

下载论文助手APP,资源永久免费

免费获取

如果你已经登录仍然出现不能下载的情况,请【点击刷新】本页面或者联系站长


 多面体抽象域的整数实现方法及其在程序分析中的应用[EB/OL]

北京:中国科技论文在线

) 摘要: 抽象解释理论为静态程序分析提供了一个通用框架

抽象域是该框架下的核心

多面体抽象域可用来产生线性不等式,是目前表达能力最强、应用最广泛的数值抽象域之一

现有的多面体抽象域实现一般采用多精度有理数,在实际应用中可扩展性方面受到限制

本文采用多面体抽象域基于约束的表示方法,给出了多面体抽象域的一种基于机器整数的实现方法

为了提高基于机器整数实现的多面体抽象域的可扩展性,本文提出了一些策略来限制约束系数的大小和约束的个数;另一方面,针对目标程序是整数程序的情况,本文根据变量的整数特点,提出了一些优化方法提高分析精度

实验表明,与基于多精度有理数实现的多面体抽象域相比,基于机器整数实现的多面体抽象域计算效率更高,并且更适合整数程序分析

程序分析 【收录情况】 中国科技论文在线: 田楠

多面体抽象域 TIAN Nan

陈立前

陈立前

【详情见下载】

免费下载 ×

下载APP,支持永久资源免费下载

下载APP 免费下载
温馨提示
请用电脑打开本网页,即可以免费获取你想要的了。
扫描加我微信 ×

演示

×
登录 ×


下载 ×
论文助手网
论文助手,最开放的学术期刊平台
				暂无来源信息			 
回复
来来来,吐槽点啥吧

作者联系方式

×

向作者索要->