Sorry I just noticed from browsing the source that it also provides
"vformal", although this doesn't seem to be documented. Kindly ignore my
previous email.
Vijay
On 4/12/2012 11:59 PM, Vijayaraghavan Murali wrote:
> Hi,
>
> I need to identify a formal parameter fr
Hi,
I need to identify a formal parameter from a local variable. The
"varinfo" construct does not seem to provide this information. It only
has the field "vglob" which says if the variable is global or not.
Is there any way I can obtain the above?
Thank you!
---
Vijaya
t the
slice of #pragma cilnoremove(sym) symbols" but it doesn't seem to be
working that way. It simply outputs the whole function given in "sym"..
Any help with these two options (or slicing using CIL in general) would
be greatly appreciated.
Thanks!
---
Vijayaraghava
I also noticed that CIL performs interprocedural partial evaluation in
addition to constant prop. I need to disable this in order to just
observe the effects of constant prop. Is there an option to do it (I
doubt though)?
---
Vijayaraghavan Murali
http://www.comp.nus.edu.sg/~mvijayar
On
sort of information during the constant
propagation pass? At least, the number of times it has been applied
would help. If there's no other way, I'm guess I need to meddle with the
source then (partial.ml).
Thanks for any help!
---
Vijayaraghavan Murali
http:/
enter as a feature is buggy at
the moment.
Vijay
On 01/21/2011 03:17 AM, Elnatan Reisner wrote:
> Vijayaraghavan Murali nus.edu.sg> writes:
>
>> I'm new to this list and I just obtained CIL. For our research which
>> uses compositional reasoning, we need a tool to extra
Hello everyone,
I'm new to this list and I just obtained CIL. For our research which
uses compositional reasoning, we need a tool to extract out each
function individually from a C program (including global declarations
like variables, structs and typedefs) and analyze it.
CIL's doepicenter featu
