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=1.6 required=5.0 tests=AWL,DEAR_SOMETHING, NO_REAL_NAME autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id AD09DBBAF; Mon, 9 Jun 2008 10:47:34 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsADAKaKTEjAXQIniGdsb2JhbABLkBQqgQABAQEPIJt9 X-IronPort-AV: E=Sophos;i="4.27,611,1204498800"; d="scan'208";a="13697849" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Jun 2008 10:47:34 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m598lUku017379 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK); Mon, 9 Jun 2008 10:47:34 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsADAFqLTEjPLfoiiGdsb2JhbABLkBQqgQABAQEPIJwA X-IronPort-AV: E=Sophos;i="4.27,611,1204498800"; d="scan'208";a="11763779" Received: from parmail02.sgcib.com ([207.45.250.34]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Jun 2008 10:47:33 +0200 X-IronPort-AV: E=Sophos;i="4.27,611,1204498800"; d="scan'208";a="282586361" Content-class: urn:content-classes:message MIME-Version: 1.0 X-MimeOLE: Produced By Microsoft Exchange V6.5 Subject: RE: [Caml-list] First release of Oug: reference graph from ocaml code Date: Mon, 9 Jun 2008 10:47:18 +0200 Message-ID: <0172C3AE3A0E964797AF43E206C1048F015DD78F@FRCOR-EXMB06.europe.am.socgen> In-Reply-To: <20080603183856.1f30687a@alcazar.inria.fr> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] First release of Oug: reference graph from ocaml code Thread-Index: AcjFl60Io1MMGzJYTK2NB8Csmfd49gEdYlWw References: <20080603183856.1f30687a@alcazar.inria.fr> From: To: , X-OriginalArrivalTime: 09 Jun 2008 08:47:19.0791 (UTC) FILETIME=[6D57B7F0:01C8CA0D] X-NAI-Spam-Score: 0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Miltered: at concorde with ID 484CEE22.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 cvs:01 camlcvs:01 cvsweb:01 maxence:01 guesdon:01 guesdon:01 maxence:01 beginner's:01 bug:01 unauthorised:98 subsidiaries:98 interdite:98 altere:98 Dear Sir, Your post on the caml-list concerning the OUG tool attracted my attention, = and I am planning to try to make it work, under a Win32, MSVC Ocaml version. It seems that we need to point to a compiled ocaml source tree, to get OUG = to compile. My question concerns the location of the Ocaml 3.11 under CVS. Looking at the http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/ nothing in the= names seems to point to ocaml 3.11. Can you please point out a branch that responds to this requirement? TIA, Rabih Chaar -----Message d'origine----- De=A0: caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inr= ia.fr] De la part de Maxence Guesdon Envoy=E9=A0: mardi 3 juin 2008 18:39 =C0=A0: caml-list@inria.fr Objet=A0: [Caml-list] First release of Oug: reference graph from ocaml code Hello, I'm glad to announce the first release of Oug (0.1). Oug is a code analysis tool building reference graphs from OCaml code, that is graphs representing which elements (value, module, class, ...) reference which elements. It comes with the Ouglib library to be able to embed the analyzer in other OCaml applications. >>From the graph, various outputs can be obtained: list of elements not referenced anywhere ("dead code"), various graphiz graphs, ... Oug does not compute the call graph of the given OCaml code; this would require data flow analysis. For this reason, the "dead code" dump always consider that every method is referenced. The homepage is here: http://pauillac.inria.fr/~guesdon/oug.en.html Regards, Maxence Guesdon _______________________________________________ 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 This message and any attachments (the "message") are confidential, intended= solely for the addressee(s), and may contain legally privileged informatio= n.=20 Any unauthorised use or dissemination is prohibited.=20 E-mails are susceptible to alteration.=20 Neither Societe Generale Asset Management nor any of its subsidiaries or af= filiates shall be liable for the message if altered, changed or falsified.=20 =20 Find out more about Societe Generale Asset Management's proposal on www.sga= m.com =20 ********=20 =20 Ce message et toutes les pieces jointes (ci-apres le "message") sont confid= entiels et susceptibles de contenir des informations couvertes par le secre= t professionnel. Ce message est etabli a l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisee est interdite.=20 Tout message electronique est susceptible d'alteration. Societe Generale As= set Management et ses filiales declinent toute responsabilite au titre de c= e message s'il a ete altere, deforme ou falsifie.=20 Decouvrez l'offre et les services de Societe Generale Asset Management sur = le site www.sgam.fr