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