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

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



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.