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 ------------------------------------------------------------------------------ Shape the Mobile Experience: Free Subscription Software experts and developers: Be at the forefront of tech innovation. Intel(R) Software Adrenaline delivers strategic insight and game-changing conversations that shape the rapidly evolving mobile landscape. Sign up now. http://pubads.g.doubleclick.net/gampad/clk?id=63431311&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
