---
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
- Subject: [Frama-c-discuss] Using Frama-C for Analyzing Linux Kernel
- From: gergo.barany at cea.fr (Gergö Barany)
- Date: Wed, 30 Nov 2016 10:28:45 +0100
- In-reply-to: <CAPpMX7QPXUP2HQHcGBi7_k1h5m4=oUFwumfV4V=3+qd_TdmvAg@mail.gmail.com>
- References: <CAPpMX7TdN7-sQ35pv47jPymQ7UWfXaH2-WXJZ3v=y6+9bCJwgA@mail.gmail.com> <b3b87389-900e-850c-8692-54ac9f772ebb@cea.fr> <CAPpMX7QPXUP2HQHcGBi7_k1h5m4=oUFwumfV4V=3+qd_TdmvAg@mail.gmail.com>
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.