Hi,
On Wed, Apr 11, 2012 at 12:26:31PM +0800, Vijayaraghavan Murali wrote:
> Any help with these two options (or slicing using CIL in general) would
> be greatly appreciated.
I have really no idea what these options do and how they work. They were coded
long before I joined the project and I do
On Wed, Apr 11, 2012 at 11:12:52AM +0800, 林楠 wrote:
> First of all, I don't think changing CIL source files directly is a good idea.
> It would be better to implement a dedicated visitor for this job. I think the
> visitor should visit the globals (GVarDecl and GFun) of the single C file and
> chan
Hi,
I'm wondering if CIL can perform program slicing, given a slicing
criterion. I looked at the option -doDataSlicing, but I'm not sure how
to get it to work. There is also no manual entry for this option either.
Also there is the option -sliceGlobal, which is said to "output the
slice of #pr
First of all, I don't think changing CIL source files directly is a good idea.
It would be better to implement a dedicated visitor for this job. I think the
visitor should visit the globals (GVarDecl and GFun) of the single C file and
change the vstorage to static.
2012-04-11
林楠
发件人：Hara
I'm using CIL to merge a c-project into one file scope, which works
well. I'm doing this since I'm testing to convert libx264 video codec
library into Android's Renderscript. Renderscript is C99 compliant,
but requires one file scope for a complete program. Another
requirement is that anything that
