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
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

Anyone has any idea to solve it?

Alfred

-- 
Kind regards,
Qi Alfred Chen
PhD Student,
Department of Electrical Engineering and Computer Science,
University of Michigan - Ann Arbor, 48105
Tel: 1-734-834-2916
Alt. Email: adios...@gmail.com
Homepage: www.eecs.umich.edu/~alfchen
------------------------------------------------------------------------------
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

Reply via email to