--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on March 2012 ---
> 2012/3/16 Virgile Prevosto<virgile.prevosto at m4x.org <http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss>>: > >/ > />/ The attached script contains a very basic visitor that generates a new > / > Oops, I forgot that since the visitor adds some statement, It'd be > better to recompute the cfg afterwards. The issue does not show up > when printing the code, but doing a real analysis (e.g. -val) would > result in a lot of trouble if the cfg is not correct. Attached is a > correct version. Sorry for the noise. > > -- > E tutto per oggi, a la prossima volta > Virgile Hello, 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? Anyway, I replaced the call to "File.create_project_from_visitor" by one to "Project.create_by_copy" and it seems to work all right, but I'm not quite sure there's no difference between the two? Cheers, Pierre -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120319/17638d50/attachment.html>