From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.5 required=5.0 tests=AWL,RCVD_NUMERIC_HELO, SPF_SOFTFAIL,UNPARSEABLE_RELAY autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id AF596BBC4 for ; Wed, 1 Apr 2009 11:03:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqkBALXK0kmEpqxqmWdsb2JhbACVeRwBAQEBAQgLCgcRQ7dLg3oGhRk X-IronPort-AV: E=Sophos;i="4.39,305,1235948400"; d="scan'208";a="37631562" Received: from cirse-out.extra.cea.fr ([132.166.172.106]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Apr 2009 11:03:04 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by cirse.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.0) with ESMTP id n3192FE1009918 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Wed, 1 Apr 2009 11:02:16 +0200 Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (8.14.2/8.14.2) with ESMTP id n3194lcQ022198; Wed, 1 Apr 2009 11:04:47 +0200 (envelope-from julien.signoles@cea.fr) Received: from levau.intra.cea.fr (levau.intra.cea.fr [132.166.88.52]) by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.1) with ESMTP id n3192DsC011334; Wed, 1 Apr 2009 11:02:13 +0200 Received: from LAXA.intra.cea.fr ([132.166.64.47]) by levau.intra.cea.fr with Microsoft SMTPSVC(6.0.3790.3959); Wed, 1 Apr 2009 11:02:13 +0200 Received: from 132.166.135.80 ([132.166.135.80]) by LAXA.intra.cea.fr ([132.166.64.53]) with Microsoft Exchange Server HTTP-DAV ; Wed, 1 Apr 2009 09:02:13 +0000 Received: from is005140 by LAXA.intra.cea.fr; 01 Apr 2009 11:02:51 +0200 Subject: Re: [Caml-list] Dynamic loading of native code : what about librairies and packs ? From: Julien Signoles To: =?ISO-8859-1?Q?Pierre-Lo=EFc?= Garoche Cc: caml-list@yquem.inria.fr, thirioux@enseeiht.fr In-Reply-To: <49D243B0.6020103@onera.fr> References: <49D243B0.6020103@onera.fr> Content-Type: text/plain Content-Transfer-Encoding: 7bit Organization: CEA LIST Date: Wed, 01 Apr 2009 11:02:51 +0200 Message-Id: <1238576571.7692.291.camel@localhost> Mime-Version: 1.0 X-Mailer: Evolution 2.22.3.1 X-OriginalArrivalTime: 01 Apr 2009 09:02:13.0532 (UTC) FILETIME=[8C53C5C0:01C9B2A8] X-Spam: no; 0.00; librairies:01 signoles:01 signoles:01 compilation:01 alain's:01 plug-ins:01 plug-ins:01 91191:01 plug-in:98 plug-in:98 dynamically:01 dynamically:01 compile:01 experimental:01 caml-list:01 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.Signoles@cea.fr