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. },



Contact | Plan du site | Site réalisé avec SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3985165