Re: [CIL users] About CIL on Linux Kernel Compilation

[Gabriel K. <ga...@ke...>]

On Tue, Nov 19, 2013 at 12:31:27AM -0500, Qi Alfred Chen wrote:
> Hi all, I am new to CIL and I plan to work on a project requiring analysing
> TCP code in Linux using program analysis tool. I only need to parse one
> file in the kernel, but it turns out that I need to add lots of headers in
> CIL which are sth I cannot accurately locate. So currently I am trying to

Do you really need to build the whole kernel, though?  If you are trying to
analyse foo.c, building foo.o should be enough (or even pre-process the file
manually with gcc -E, and then feed the file directly to CIL).

> build Linux kernel 3.10.19 with CIL version 1.7.3, but it turns out to have
> error:
>        include/crypto/hash.h:71: error: requested alignment is not a power
> of 2

This is not a CIL error message.  But it might be a GCC error message caused
by transformations performed by CIL.  You should try to parse only this header
file, and reduce it to a minimal failing example to figure out what is going
wrong.

-- 
Gabriel