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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 690057EE4B for ; Tue, 15 Oct 2013 16:06:31 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=pra; client-ip=46.105.17.220; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=mailfrom; client-ip=46.105.17.220; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@ovh.starynkevitch.net) identity=helo; client-ip=46.105.17.220; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="postmaster@ovh.starynkevitch.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhAFAJxLXVIuaRHc/2dsb2JhbABaFoJxOMJ1gSAWdIIlAQEFOj8QCxgJJQ8FSYgdCL0ZjgGBSQeDH4EGA5Qng1wBgS+LIIUzgyaBbg X-IPAS-Result: AhAFAJxLXVIuaRHc/2dsb2JhbABaFoJxOMJ1gSAWdIIlAQEFOj8QCxgJJQ8FSYgdCL0ZjgGBSQeDH4EGA5Qng1wBgS+LIIUzgyaBbg X-IronPort-AV: E=Sophos;i="4.93,499,1378850400"; d="scan'208";a="37136995" Received: from ovh.starynkevitch.net ([46.105.17.220]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Oct 2013 16:06:29 +0200 Received: from ours.starynkevitch.net ([213.41.244.95] helo=hector.lesours) by ovh.starynkevitch.net with esmtp (Exim 4.76) (envelope-from ) id 1VW5GX-00077s-RY; Tue, 15 Oct 2013 16:06:29 +0200 Received: from basile18 by hector.lesours with local (Exim 4.80) (envelope-from ) id 1VW5GS-0006KZ-GW; Tue, 15 Oct 2013 16:06:24 +0200 Date: Tue, 15 Oct 2013 16:06:24 +0200 From: Basile Starynkevitch To: Xavier Rival Cc: caml-list@inria.fr Message-ID: <20131015140624.GA24254@ours.starynkevitch.net> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Developper position: designing a C front-end in OCaml 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} ***