Home > Research > Étudiants/Post-docs > Julien Henry (M2R)

Julien Henry (M2R)

Static Analysis by Path Focusing

Thursday 16 June 2011

Years: 2010, 2011 (M2R )
Co-supervisor: David Monniaux
Subject: Static Analysis by Path Focusing

Program verification aims at statically discovering properties on programs, such as the values that can take the different variables during execution. Abstract Interpretation is a technique that computes an over-approximation of the set of these values, since it is impossible to compute the real set in general. This report takes place in the many attempts to improve the precision of static Analysis by Abstract Interpretation. It proposes a technique that takes benefit of SMT-solving to obtain more precise results at reasonable cost.


Attached documents

  • Report

    16 June 2011
    info document : PDF
    978.6 kb

Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License