From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oliver@first.in-berlin.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id C6E147EE99
	for <caml-list@sympa.inria.fr>; Wed, 11 Dec 2013 17:46:55 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=pra;
  client-ip=192.109.42.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  oliver@first.in-berlin.de) identity=mailfrom;
  client-ip=192.109.42.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="oliver@first.in-berlin.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@einhorn.in-berlin.de) identity=helo;
  client-ip=192.109.42.8;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="oliver@first.in-berlin.de";
  x-sender="postmaster@einhorn.in-berlin.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AssCAM+VqFLAbSoInGdsb2JhbABZhxWwQoVVgR0WDgEBAQEBCAsJCRQogiUBAQUjVhALCQ8CAgUhAgIPBRgxiBUEsjOPRhcWgRONGEcHgmw1gRMEjzmIWoZBjn0
X-IPAS-Result: AssCAM+VqFLAbSoInGdsb2JhbABZhxWwQoVVgR0WDgEBAQEBCAsJCRQogiUBAQUjVhALCQ8CAgUhAgIPBRgxiBUEsjOPRhcWgRONGEcHgmw1gRMEjzmIWoZBjn0
X-IronPort-AV: E=Sophos;i="4.93,872,1378850400"; 
   d="scan'208";a="40515818"
Received: from einhorn.in-berlin.de ([192.109.42.8])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Dec 2013 17:46:55 +0100
X-Envelope-From: oliver@first.in-berlin.de
Received: from first (e178026242.adsl.alicedsl.de [85.178.26.242])
	(authenticated bits=0)
	by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id rBBGkrcS017396
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT);
	Wed, 11 Dec 2013 17:46:54 +0100
Received: by first (Postfix, from userid 1000)
	id 6ED2F1540243; Wed, 11 Dec 2013 17:46:53 +0100 (CET)
Date: Wed, 11 Dec 2013 17:46:53 +0100
From: oliver <oliver@first.in-berlin.de>
To: Pierre-Yves Strub <pierre-yves@strub.nu>
Cc: caml-list@inria.fr
Message-ID: <20131211164653.GA1937@siouxsie>
References: <a6230abe4852ccaee38d2cd206495b58@strub.nu>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <a6230abe4852ccaee38d2cd206495b58@strub.nu>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] Dead code detection

Hello,

On Wed, Dec 11, 2013 at 03:52:54PM +0100, Pierre-Yves Strub wrote:
> Hi all,
> 
> Does any of you know a tool for doing dead code detection?
[...]


-w flags for
    suspicious comment
    partially applied function
    overriden methods
    non-unit statement
    overriden instance variables
  * suspicious unused variables
  * all other unused variables

Especially unused variables may show lurking code,
that was once written in an intermediate state of
code development, and never be used again since then.


Ciao,
   Oliver