[CIL users] CIL alike products

[Marco T. <ma...@mt...>]

Hello all

I'm very impressed by the features and possibilities of CIL. Especially 
the code facilitations and the easy make integration are incredible.

 From looking through the website and mailinglist archives, I have some 
questions I hope can easily be answered:
- I tried compiling wget [1] with CIL. After changing all "bool" to 
"int" it worked flawlessly. But of course I loose information by 
changing the bools to ints. Can "bool" be added to be supported by CIL? 
(I have seen something about _BOOL in the archives, it's probably quite 
the same).
- Is there somewhere a list of additional (maybe user contributed) CIL 
modules? I would especially be interested in one that removes gotos, 
break and continue.
- Are there similar products to CIL available? Meaning frameworks that 
take C code, maybe facilitate it and offer extensive analysis capabilities?
- Are there similar products to CIL for Java? I have seen the thread [2] 
where someone asks this question but the four suggested frameworks are 
not really what I'm interested in (a source processor that facilitates 
the code and gives an AST). Maybe someone knows another one...
- Are there any other C code optimization/facilitation frameworks 
around? I have seen CCured for instance. Since CCured and CIL are both 
under http://manju.cs.berkeley.edu, I hoped that there is more software 
like that but HAL 9000 won't tell me (I'm sorry Marco, I'm afraid I 
can't do that)...


thanks
Marco

[1] http://www.gnu.org/software/wget/ (I used the current Cygwin sources 
via the Cygwin setup)
[2] 
http://sourceforge.net/mailarchive/forum.php?thread_name=!%26!AAAAAAAAAAAYAAAAAAAAADjT%2B7DuvBpHlhft7SjrqR1CgQAAEAAAAOiijRKB1tFJkAiTI3JA28EBAAAAAA%3D%3D%40gmail.com&forum_name=cil-users