From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B4B3E7EE4B for ; Tue, 15 Oct 2013 17:36:51 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=209.85.214.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of wojciech.meyer@gmail.com designates 209.85.214.173 as permitted sender) identity=mailfrom; client-ip=209.85.214.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f173.google.com) identity=helo; client-ip=209.85.214.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-ob0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AssBAHBgXVLRVdatm2dsb2JhbABAGhaDKVKvSTKJZIhLgRoIFg4BAQEBAQYLCwkUKIIlAQEEAUABGxILAQMBCwYFCw0NISIBEQEFAQoSBhMICgKHXwEDCQYMNp49jFWDCoQlChknAwpkiQEBBQyNdYFFBAeEJQOUJ4NdgS+LFwmDSBgpgmWBajuBNA X-IPAS-Result: AssBAHBgXVLRVdatm2dsb2JhbABAGhaDKVKvSTKJZIhLgRoIFg4BAQEBAQYLCwkUKIIlAQEEAUABGxILAQMBCwYFCw0NISIBEQEFAQoSBhMICgKHXwEDCQYMNp49jFWDCoQlChknAwpkiQEBBQyNdYFFBAeEJQOUJ4NdgS+LFwmDSBgpgmWBajuBNA X-IronPort-AV: E=Sophos;i="4.93,500,1378850400"; d="scan'208";a="30456744" Received: from mail-ob0-f173.google.com ([209.85.214.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Oct 2013 17:36:50 +0200 Received: by mail-ob0-f173.google.com with SMTP id vb8so784432obc.32 for ; Tue, 15 Oct 2013 08:36:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=Zv0bbb3mgU+Db/y+a2wDzO8yQuuvdI0+nFV+1prA180=; b=ZGP2ioJhNLXiKkI8ydtpqKMSFmugBdg8d6ft+Hi9QmfYQPKLvfy2RifYRQwUFhny8b vvamS9MFhW4Zef5qzyc5WtWEJyqBt2dGJZ2YfV0RCXoGPgOXAHpggO/Tg2lv30lwjbv4 F85TTEmvZCs1bETVJ9GKoSlNu8bOfwb0hXOEJEQpwKMh0znfyR7ZGa6bvAaWkzoUkmH8 vVCNOdF+8ueLMzNyPyzFXWOqwgRlEgUNAkbC3u6SlmSTKIxrAMiTNytkj6Y4VKVYmA+n RpQeWb+vyoq63ZyfBBpEdJzIIh1TTI+wnIPuV+eRhFTELv76PdY9WaYoStcX7lskooH3 IR6Q== MIME-Version: 1.0 X-Received: by 10.182.24.105 with SMTP id t9mr104586obf.86.1381851409156; Tue, 15 Oct 2013 08:36:49 -0700 (PDT) Received: by 10.182.120.102 with HTTP; Tue, 15 Oct 2013 08:36:49 -0700 (PDT) In-Reply-To: <20131015140624.GA24254@ours.starynkevitch.net> References: <20131015140624.GA24254@ours.starynkevitch.net> Date: Tue, 15 Oct 2013 16:36:49 +0100 Message-ID: From: Wojciech Meyer To: Basile Starynkevitch Cc: Xavier Rival , Caml List Content-Type: multipart/alternative; boundary=001a11c2a33060715a04e8c95a4e Subject: Re: [Caml-list] Developper position: designing a C front-end in OCaml --001a11c2a33060715a04e8c95a4e Content-Type: text/plain; charset=ISO-8859-1 Hello, So there are at least: - cfront [1] - yacfe [2] - CIL do we need yet another frontend in the compiler community? Just a digression. Wojciech [1] http://www.irit.fr/recherches/ARCHI/MARCH/rubrique.php3?id_rubrique=61 [2] http://padator.org/software-yacfe.php On Tue, Oct 15, 2013 at 3:06 PM, Basile Starynkevitch < basile@starynkevitch.net> wrote: > On Tue, Oct 15, 2013 at 02:31:17PM +0200, Xavier Rival wrote: > > > > We are looking for an experienced OCaml developper in order to > > design front-end components for a static analyzer developped as part > > of the MemCAD ERC project (http://www.di.ens.fr/~rival/memcad.html). > > > If you want to develop in Ocaml CIL is definitely a possible way to go > (and you could also code a Frama-C plugin, hence taking advantage of > existing Frama-C infrastructure). If it does not fit all of > your needs, please contribute your enhancements to it. > > Alternatively, Did you consider working inside GCC, perhaps thru a plugin, > perhaps using MELT, a domain specific language to extend GCC, see > http://gcc-melt.org/ ? > you could take advantage of existing GCC infrastructure, in particular > add some analysis pass after some existing GCC optimizing passes which > would have already done some transformations (And MELT is not Ocaml, > but a Lisp-like language, notably enabling you to code in a > functional style - more than if you did your GCC extension in C++03). > > At last you could work with CompCert http://compcert.inria.fr/ > which can be viewed as a C compiler coded in Ocaml (although it is much > more > than that). > > Regards. > -- > Basile STARYNKEVITCH http://starynkevitch.net/Basile/ > email: basilestarynkevitchnet mobile: +33 6 8501 2359 > 8, rue de la Faiencerie, 92340 Bourg La Reine, France > *** opinions {are only mines, sont seulement les miennes} *** > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a11c2a33060715a04e8c95a4e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hello,

So there are at least:<= br>
- cfront [1]
- yacfe [2]
- CIL

do we need yet ano= ther frontend in the compiler community? Just a digression.

Wojciech

[1] http://www.irit.fr/recherches/ARCHI/MARCH/rub= rique.php3?id_rubrique=3D61





On Tue, Oct 15, 2013 at 3:06 PM, Basile Starynkevitch <basile@starynkevitch.net> wrote:
On Tue, Oct 15, 2013 at 02= :31:17PM +0200, Xavier Rival wrote:
>
> We are looking for an experienced OCaml develo= pper in order to
> design front-end components for a static analyzer developped as part > of the MemCAD ERC project (http://www.di.ens.fr/~rival/memcad.html).<= br>

If you want to develop in Ocaml CIL is definitely a possible way to g= o
(and you could also code a Frama-C plugin, hence taking advantage of
existing Frama-C infrastructure). If it does not fit all of
your needs, please contribute your enhancements to it.

Alternatively, Did you consider working inside GCC, perhaps thru a plugin,<= br> perhaps using MELT, a domain specific language to extend GCC, see http://gcc-melt.org/ ?
you could take advantage of existing GCC infrastructure, in particular
add some analysis pass after some existing GCC optimizing passes which
would have already done some transformations (And MELT is not Ocaml,
but a Lisp-like language, notably enabling you to code in a
functional style - more than if you did your GCC extension in C++03).

At last you could work with CompCert http://compcert.inria.fr/
which can be viewed as a C compiler coded in Ocaml (although it is much mor= e
than that).

Regards.
--
Basile STARYNKEVITCH =A0 =A0 =A0 =A0 http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***

--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a11c2a33060715a04e8c95a4e--