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=0.0 required=5.0 tests=none 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 A5C48BB84; Tue, 3 Jun 2008 18:34:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUBAJ8PRUjAXQImiGdsb2JhbACBVZAvAQEBDyCdPA X-IronPort-AV: E=Sophos;i="4.27,584,1204498800"; d="scan'208";a="13440249" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 03 Jun 2008 18:34:07 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m53GY6O2032358 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK); Tue, 3 Jun 2008 18:34:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApAAABsPRUjBMjI+o2dsb2JhbACBVZAvAQEBAQEGBwgHEZ05 X-IronPort-AV: E=Sophos;i="4.27,584,1204498800"; d="scan'208";a="11507640" Received: from haydn2002.u-bourgogne.fr ([193.50.50.62]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Jun 2008 18:34:06 +0200 Received: from alcazar.inria.fr (guesdon@topo2.u-bourgogne.fr [193.50.49.147]) by haydn2002.u-bourgogne.fr (8.13.8/8.13.8) with ESMTP id m53GY3tp021925; Tue, 3 Jun 2008 18:34:03 +0200 Date: Tue, 3 Jun 2008 18:38:56 +0200 From: Maxence Guesdon To: caml-list@inria.fr Subject: First release of Oug: reference graph from ocaml code Message-ID: <20080603183856.1f30687a@alcazar.inria.fr> X-Mailer: Claws Mail 3.4.0 (GTK+ 2.12.9; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable X-Miltered: at discorde with ID 4845727E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at haydn02.u-bourgogne.fr with ID 4845727B.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Scanned-By: MIMEDefang 2.63 on 193.50.50.62 X-Spam: no; 0.00; maxence:01 guesdon:01 maxence:01 guesdon:01 ocaml:01 ocaml:01 graph:01 graph:01 data:02 referenced:02 referenced:02 module:03 library:03 outputs:04 representing:05 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. =46rom 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