Static Analysis of the XEN Kernel using Frama-C

Armand Puccetti (Centre d'Etudes Nucléaires, France)

Abstract: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.

Keywords: Linux, abstract interpretation, static analysis, virtualisation

Categories: D.2.4