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
