--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on October 2012 ---
Hello, 2012/10/15 Yang <abiao.yang at gmail.com>: > Is there anybody had success analysis Linux-kernel before? On Frama-C wiki, there is a paper close to such kind of work: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:publications#value_analysis Armand Puccetti. Static Analysis of the XEN Kernel using Frama-C. Journal of Universal Computer Science, volume 16, issue 4, 2010. In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool. Sincerely yours, david