--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on December 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Using Frama-C for Analyzing Linux Kernel



Installed Silicium-rc1, but I still get the same error message.
This is the preprocessed source ext2.mod.i, if you're interested:
http://paste.ubuntu.com/23560908/

On Wed, Nov 30, 2016 at 12:58 PM, Gergö Barany <gergo.barany at cea.fr> wrote:

> On 29/11/16 21:11, Nima Mohammadi wrote:
>
>> ../.././arch/x86/include/asm/paravirt.h:407,86:[kernel] failure:
>> typeOffset: Field func on a non-compound type 'void *'
>>
>
> This looks strange. You could see if it's a bug in your version of Frama-C
> that's fixed in the Silicium/Silicon release snapshot at
> https://github.com/Frama-C/Frama-C-snapshot/releases
>
> If not, it's probably impossible to say much more without the preprocessed
> source you are trying to parse.
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161201/0cb657a6/attachment.html>