Hi,
if this helps, there is a good example of how to do this in a module
included with CIL. It catches calls to malloc, calloc and such. The
module is in src/ext/sfi.ml
Best regards,
Olivier
On Fri, May 29, 2009 at 11:10 PM, Mark Hills wrote:
> Divya,
>
> I'm not giving too much detail, but hop
Divya,
I'm not giving too much detail, but hopefully this at least gets you
started.
The call instruction is a four-tuple, made up of: the (optional) lvalue
assigned into by the call; the expression representing the function
being called; the list of expressions representing the function
argument
