--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on March 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Modifying the AST to insert statements / declarations



Hello,

> Hello,
>
> On 03/19/2012 01:36 PM, Pierre Karpman wrote:
> >/  I'm using your script as a basis for the instrumentation code in my
> />/  plugin but it appears that it's not possible to call any functions of
> />/  the "File" module from inside a dynamic plugin (although there's no
> />/  problems opening the module itself)?!
> />/  I found no reference to such a restriction in the module documentation
> />/  or in the plugin development guide, so is it possible that the issue
> />/  comes from some misconfiguration of mine?
> /
> There is no such restriction and there are actually several plug-ins
> which refer to module File. Are you sure that you have no other module
> File somewhere in your linked code which hides the kernel one?
Okay, I opened Cil_datatype which redefines a "File" module. Thanks for 
the insight!

Cheers,
Pierre
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120319/804b5afe/attachment.html>