值范围分析相关论文
C语言是广泛使用的高级编程语言之一，其发展了30多年仍然有很强的生命力，由于其本身面向底层的特点，使得它存在可能被利用的安全漏洞......
随着嵌入式系统复杂性的提高,越来越多系统设计者开始使用基于模型的开发环境进行系统设计。MATLAB/Simulink/Stateflow套件作为应......
安全而又精确的值范围分析对编译器优化至关重要.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的......
安全而又精确的值范围分析对编译器优化至关重要.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的......
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的......
程序的正确性验证一直以来都是计算机科学中的一个挑战性问题，抽象解释理论为程序静态分析提供了一个通用框架，可以在编译时自动地推......
阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进......
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术，本文提出了一种自动获取循环最大迭代次数和不可行路径的方......
程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是......
