--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on March 2012 ---
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>