search for: cilli

https://bugzilla.netfilter.org/show_bug.cgi?id=833 Summary: iptables --with-kernel=/usr/src/linux against kernel {3.9.9, 3.10} fatal error: asm/cache.h: No such file or directory Product: iptables Version: 1.4.x Platform: All OS/Version: All Status: NEW Severity: enhancement

We have a bitwidth analysis that can be downloaded. It is not in LLVM. There should be a link in the paper: http://www.cs.utah.edu/~regehr/papers/pldi075-cooprider.pdf John Regehr

Dear John, thanks for pointing it to me. I just downloaded and installed CIL. However, I am getting an error when I run "make check", or when I try to compile the blink application, and I am sending you the error notice below. In any case, do you think it is possible to get some sort of 'dump' of the target C program with some bitwidth information, once I get your

Hi, LLVMers, has someone implemented bitwidth analysis for LLVM? I was looking for something similar to the bitwise compiler described in "Bidwidth analysis with application to silicon compilation, by Mark Stephenson, Jonathan Babb and Saman Amarasinghe" e.g.: http://portal.acm.org/citation.cfm?id=349299.349317 all the best, Fernando