论文信息 - Static Analysis of the XEN Kernel using Frama-C - 字舞流文

Static Analysis of the XEN Kernel using Frama-C

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

Armand Puccetti | A. Puccetti

[1] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.

[2] David Chisnall,et al. The Definitive Guide to the Xen Hypervisor , 2007 .

[3] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[4] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[5] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.