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.
Stability Abstract Domain: determining Covariance or Contravariance trough Static Analysis
Presotto, Sofia
2024/2025
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
870762-1274548.pdf
accesso aperto
Tipologia:
Altro materiale allegato
Dimensione
1.49 MB
Formato
Adobe PDF
|
1.49 MB | Adobe PDF | Visualizza/Apri |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14247/23649