Hello, > I am discovering this feature of loading dynamically native code. The > Frama-C framework (www.frama-c.cea.fr) provides now a plugin > architecture that allows you to develop your own plugin and loads it > directly in the framework. > > I targeted to adapt a simple tool I developped as a Frama-C plugin and > faced some difficulties. I did not found enough information about the > compilation of cmxs files.
Alain's answers are very good. I confirm that packing and dynamic loading are compatible features: all Frama-C plug-ins are packed and some of them are dynamically loaded. However, in the current distributed release of Frama-C, dynamic loading of plug-ins is still experimental. This feature will be improved in the next release and it should be easier for plug-in developers to compile dynamic plug-ins. Anyway, if you have any additional Frama-C-specific questions/feedbacks about plug-in development, don't hesitate to sent a message on the Frama-C public mailing list (http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss). Br, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 julien.signo...@cea.fr _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs