JUCS - Journal of Universal Computer Science 16(4): 543-553, doi: 10.3217/jucs-016-04-0543
Static Analysis of the XEN Kernel using Frama-C
expand article infoArmand Puccetti‡
‡ Centre d'Etudes Nucléaires, Gif Sur Yvette, France

Corresponding author: Armand Puccetti ( armand.puccetti@cea.fr )

© Armand Puccetti.
This article is freely available under the J.UCS Open Content License.
Citation: Puccetti A (2010) Static Analysis of the XEN Kernel using Frama-C. JUCS - Journal of Universal Computer Science 16(4): 543-553. https://doi.org/10.3217/jucs-016-04-0543
Open Access
Abstract
In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
Keywords
abstract interpretation, static analysis, virtualisation, Linux