>
> 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.
I don't think you need to write your own plugins.
Actually, there exist some plugins can do what you want.
I suggest you to use frama-c (http://www.frama-c.com) to get the data flow
information.
Frama-c is based on Cil to construct the ast information. It has value
analysis plugin can obtain the data flow information you want. HTH.
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 ?
This one is tooooo old.
I also suggest you to use those documents in the following website:
http://kerneis.github.io/cil/
On 9 December 2013 12:05, 陈群辉 <queq...@whu.edu.cn> wrote:
>
>
>
> Hello ,
> 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!
> Thanks!
> Best wishes,
>
> --
> Qunhui Chen
> --------------------------------------------------------------
> State Key Lab. of Software Engineering, Computer School,Wuhan University
> TEL: 86-15072487282
> E-mail: queq...@whu.edu.cn quequan...@gmail.com
> Post:430072
> --------------------------------------------------------------
>
>
> ------------------------------------------------------------------------------
> 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
>
------------------------------------------------------------------------------
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
