Title of article
Static Analysis of the XEN Kernel using Frama-C
Author/Authors
Puccetti, Armand CEA LIST - Centre d Etudes Nucléaires, France
From page
543
To page
553
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)
Record number
2661617
Link To Document