Title of article :
Static Analysis of the XEN Kernel using Frama-C
Author/Authors :
Puccetti, Armand CEA LIST - Centre d Etudes Nucléaires, France
Abstract :
In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using Frama-C static analysis tool.
Keywords :
Abstract interpretation , static analysis , virtualisation , Linux
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
Journal title :
Journal of J.UCS (Journal of Universal Computer Science)
