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: 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.  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