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
Open Access
In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
abstract interpretation, static analysis, virtualisation, Linux