基于变量依赖的分层静态分析
摘要：通过抽象解释进行静态分析时，通常使用宽化操作符以便在有限时间内实现对归纳不变量的收敛。某些宽化操作符，包括对有限多面体的经典操作符，会表现出令人费解的行为：在一部分变量上分析程序可能比分析原始程序得到更准确的结果！在本文中，我们提出了对这种行为的简单解决方案。
作者：David Monniaux (VERIMAG - IMAG), Julien Le Guen (VERIMAG - IMAG, ST Microelectronics)
论文ID：1109.2405
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-09-13