--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on October 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Unsupported extension : Length of array size is zero.



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