| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Moniteur hybride de flux d'information pour un langage supportant des pointeurs
Résumé : Les nouvelles approches combinant contrôle dynamique et statique de flux d'information sont prometteuses puisqu'elles permettent une approche permissive tout en garantissant la correction de l'analyse réalisée vis-à-vis de la non-interférence. Dans ce papier, nous présentons une approche hybride de suivi de flux d'information pour un langage gérant des pointeurs. Nous formalisons la sémantique d'un moniteur sensible aux flux de données qui combine analyse statique et dynamique. Nous prouvons ensuite la correction de notre moniteur vis-à-vis de la non-interférence.
Cited literature [16 references]
https://hal.inria.fr/hal-00909293
Contributor : Frédéric Tronel <>
Submitted on : Tuesday, November 26, 2013 - 10:44:39 AM
Last modification on : Friday, July 10, 2020 - 4:18:48 PM
Document(s) archivé(s) le : Monday, March 3, 2014 - 4:10:58 PM
Contributor : Frédéric Tronel <>
Submitted on : Tuesday, November 26, 2013 - 10:44:39 AM
Last modification on : Friday, July 10, 2020 - 4:18:48 PM
Document(s) archivé(s) le : Monday, March 3, 2014 - 4:10:58 PM
File
main.pdf
Files produced by the author(s)