[CIL users] Merging/analyzing large projects

[Swarat C. <swa...@ya...>]

Dear all,

I have played around with Cil before, but I have never run it on really large projects. I am currently trying to use Cil to merge (and subsequently analyze) the Linux kernel. My naive attempt failed, but I know this has been done before, so I was wondering: can someone suggest me some guidelines (or even better, a hacked Makefile)?

Best,
-Swarat