Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 16 / Issue 4

available in:   PDF (80 kB) PS (53 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-016-04-0543


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