@inproceedings{ML11,
title = { Stratified Static Analysis Based on Variable Dependencies },
author = {Monniaux, David and Le Guen, Julien},
year = {2011},
booktitle = {Third International Workshop on Numerical and Symbolic Abstract Domains},
team = {SYNC,PACSS},
abstract = {In static analysis by abstract interpretation, one often uses \emph{widening operators} in order to enforce convergence within finite time to an inductive invariant. Certain widening operators, including the classical one over finite polyhedra, exhibit an unintuitive behavior: analyzing the program over a subset of its variables may lead a more precise result than analyzing the original program! In this article, we present simple workarounds for such behavior. },
}
