>
> 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.f
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.b
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 t
