--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on October 2012 ---
I just carefully read this paper you provided. In that paper, they only analysis five critical hypercalls out of the XEN kernel to see is there any problems in them. They wrote a function to call that five hypercalls. But what i need is to analysis all the functions in Linux-kernel. In addition, the problem I met is unsupported extension in Frama-c , "Length of array size is zero". Thank you all the time. Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20121017/8ef379fe/attachment.html>