4 juin 2018 Grenoble (France)
Analyse statique de dépendance par interprétation abstraite
Patrick Cousot  1  
1 : Courant Institute of Mathematical Sciences [New York]

Dépendance


Notion qui intervient dans de nombreux raisonnements sur les programmes :
• Non-interférence (confidentialité, intégrité)
• Sécurité, vie privée
• Découpage de programmes (slicing)
• Dépendances temporelles en Lustre, Signal
etc.


Les définitions existantes
• sont données à priori (par exemple Cheney, Ahmed, and Acar, 2011;
D. E. Denning and P. J. Denning, 1977),
• sans justification sémantiques (à l'exception de Assaf, Naumann, Signoles, Totel,
and Tronel, 2017; Urban and Müller, 2018)


Notre objectif est de montrer les principes, pas d'obtenir une analyse de dépendance
puissante



  • Poster
Personnes connectées : 1