[CIL users] Cillying the linux kernel

Hi, I'm trying to cil the linux kernel or better the device driver of kernel version 2.6.30rc4, 2.6.30 and 2.6.31 without success. I mostly got errors in the asm config header files. Has anybody of you successfully cilled one of the above mentioned kernels? Or which is the last kernel version wh

Re: [CIL users] Ptranal Heap Model

Hello Cole - > I am trying to use the Ptranal points-to analysis (with Golf) in CIL > 1.3.7 to compute points-to sets containing dynamically allocated memory > locations, but the points-to analysis seems to consider all pointers to > any malloc'd memory as pointing to the same location (specifical