On Mon, Dec 09, 2013 at 08:05:45PM +0800, 陈群辉 wrote: > I hope you can help me to deal with some problems about CIL. You > know, CIL can transform c language to control flow graph and get > data flow infomation . it has lots of modules to achieve its function. > In the document on (http://www.cs.berkeley.edu/~necula/cil/), it tell > me "The most common way to use CIL is to write an Ocaml module > containing your analysis and transformation, which you then link into > our boilerplate driver application called cilly " , so my problem is > "how to link into the cilly by command line ? If you are convenient, > i wish you can show me some details about the way to achieve. I look > forward to receiving your reply soon!
If you are new to CIL, I'd suggest you to use the latest version (from git). It uses a new mechanism, which will become the default in the next release, so it's worth getting used to it. A small tutorial/example is available here: https://gist.github.com/kerneis/6353215 You can clone it to get the files, and then just follow the instructions in README.md. Hope it helps, -- Gabriel ------------------------------------------------------------------------------ Sponsored by Intel(R) XDK Develop, test and display web and hybrid apps with a single code base. Download it for free now! http://pubads.g.doubleclick.net/gampad/clk?id=111408631&iu=/4140/ostg.clktrk _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
