|
|
|
|
Static Analysis of the XEN Kernel using Frama-C
|
|
|
|
|
|
|
|
نویسنده
|
Puccetti Armand
|
|
منبع
|
journal of universal computer science - 2010 - دوره : 16 - شماره : 4 - صفحه:543 -553
|
|
چکیده
|
In this paper, we describe the static analysis of the xen 3.0.3 hypervisor using frama-c static analysis tool.
|
|
کلیدواژه
|
Abstract interpretation ,static analysis ,virtualisation ,Linux
|
|
آدرس
|
CEA LIST, Centre d'Etudes Nucléaires, France
|
|
پست الکترونیکی
|
armand.puccetti@cea.fr
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|