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)
right, I only needs to compile a single file, say foo.c, but to compile
using gcc -E I still needs to know the header files, right? But my problem
is that I don't know how to locate the header files... is there any way to
automatically do that?
Also compile to foo.o is enough for data flow analysis? what if I need to
traverse to another file?
Alfred
On Tue, Nov 19, 2013 at 3:16 AM, Gabriel Kerneis <gabr...@kerneis.info>wrote:
> 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
>
--
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
