I am using CIL to write code transformation utilities. On windows, you can use 
cilly.bat to compile (unpreprocessed) C files directly with command arguments 
to enabling the required modules. However, I prefer using cilly.asm.exe or 
cilly.byte.exe which only accepts preprocessed files as input. In this way, I 
don't need PERL installed to run cilly. 

When writing a new module in src/ext/, the Makefile must be modified, inserting 
new module names to the module list. Also, the feature description must be 
inserted to cil.ml. Otherwise, the new module won't be recognized. 

2012-04-27



林楠



发件人:srikanth vaindam
发送时间:2012-04-27 14:32
主题:[CIL users] beginners questions
收件人:"cil-users"<cil-users@lists.sourceforge.net>
抄送:

Hi,
I am new to CIL and OCaml. learned little bit of OCaml for CIL.
I installed CIL. used the 'cilly' command and it gave a.out file as output.
I want to run the reachingdefs.ml on a C file. how to do that.?


what I am assuming: (are these correct)
1. CIL takes preprocessed (.i) files as input. (gcc -E -o test.i test.c)
2. We have to execute the modules in (src/ext/) using $ocamlc reachingdefs.ml


I also want to add new .ml file in (src/ext/). how do I do that? 
actually I followed the CIL Document, added a new file and modified main.ml and 
then executed $./configure and $make. then it gives me error.



File "src/main.ml", line 107, characters 4-6:
Error: Unbound value WordCount




Best Regards,
Srikanth Vaindam
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to