From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p18CVkLC000407 for ; Tue, 8 Feb 2011 13:31:46 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjgCAMzGUE3RVdg2kGdsb2JhbACWYTGGAwGIEQgVAQEBAQkJDAcRBCChW4oMgheEbC+IWQEBAwWFVQSBYIoKhjWBeTo X-IronPort-AV: E=Sophos;i="4.60,441,1291590000"; d="scan'208";a="87642924" Received: from mail-qw0-f54.google.com ([209.85.216.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 08 Feb 2011 13:31:09 +0100 Received: by qwj9 with SMTP id 9so4260417qwj.27 for ; Tue, 08 Feb 2011 04:31:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=d6kbQ9/AjjaLHkv4PJQPSkKXVbMoLJUB8nBGvUVp0L0=; b=GxGQHXyWJ/T/BJHVkh3zk1pBZxmJ7Mo6tqbxknCmlveu5d9hG+h3b97ID8txmpGS4O qacp9HOuedr5mYCeYIWVKnOthLdp5EqtN1VN7rlj9meRqTC/09MYqKF3uXF21yVKDINS K62U5qzEyhDNa4AL4SwzbuzZMnC2BlAtzyr/U= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=qd/lH2hesUJ1+yDdCiIyfs+hE2otx77Utbk0HMPLPQTUt7I77qw9G/6GrVAf5KpyTf QWghqxa0uS8wLUOpJ0mTiVjKIAPexb41y7QNu5zWh5rKBoa1GZdiaZvnTuI/3LhaHuKa 2YTJACqYeLMfLlNezvympBqt6VOyaxEb6bcro= Received: by 10.229.38.140 with SMTP id b12mr11904805qce.161.1297168267875; Tue, 08 Feb 2011 04:31:07 -0800 (PST) MIME-Version: 1.0 Received: by 10.229.101.199 with HTTP; Tue, 8 Feb 2011 04:30:47 -0800 (PST) In-Reply-To: References: From: Gabriel Scherer Date: Tue, 8 Feb 2011 13:30:47 +0100 Message-ID: To: fa.caml@googlegroups.com Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=00163646db82d215de049bc485dc Subject: Re: [Caml-list] unused function detection --00163646db82d215de049bc485dc Content-Type: text/plain; charset=ISO-8859-1 You may be interested in the Oug [1] tool [1] http://home.gna.org/oug/ > Oug is a code analysis tool building reference graphs from OCaml code, that > is graphs representing which elements (value, module, class, ...) reference > which elements. We will also call these graphs dependency graphs, each edge > of the graph being annotated by a dependency kind. > > 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 (useless elements and potential dead code), various > Graphiz graphs, ... > On Tue, Feb 8, 2011 at 11:52 AM, Radu Grigore wrote: > Is there a tool that finds unused functions? > > It seems there was none in 2004: > https://groups.google.com/d/topic/fa.caml/D8aWkamzr-U/discussion > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --00163646db82d215de049bc485dc Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable You may be interested in the Oug [1] tool

=A0[1] http://home.gna.org/oug/

Oug is a code analysis tool building reference graphs from OCaml code, t= hat is graphs representing which elements (value, module, class, ...) reference which elements. We will also call these graphs dependency graphs, each edge of the graph being annotated by a dependency kind.

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 (useless elements and potential dead code), various Graphiz graphs, ...



On Tue, Feb 8, 2011 at = 11:52 AM, Radu Grigore <radugrigore@gmail.com> wrote:
Is there a tool that finds unused functions?

It seems there was none in 2004:
=A0https://groups.google.com/d/topic/fa.caml/D8aWkamzr= -U/discussion

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


--00163646db82d215de049bc485dc--