Abstract:
This work presents the formal definition and implementation though the LiSA library for static analysis of the Stability abstract domain. The aim is to produce a static analyser able to inferr Covariance and Contravariance of variables of a program trough abstract interpreation. To do so we develop the Stability abstract domain for tracking the trend of variables troughout the program.
