From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=/w+w=VS=m4x.org=simon.cruanes.2007@bounces.m4x.org>
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 1AA3B7EE99
	for <caml-list@sympa.inria.fr>; Wed, 11 Dec 2013 15:56:45 +0100 (CET)
Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain
  of simon.cruanes.2007@m4x.org does not assert whether or not
  129.104.30.34 is permitted sender) identity=pra;
  client-ip=129.104.30.34;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="SRS0=/w+w=VS=m4x.org=simon.cruanes.2007@bounces.m4x.org";
  x-sender="simon.cruanes.2007@m4x.org";
  x-conformance=sidf_compatible; x-record-type="spf2.0"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  SRS0=/w+w=VS=m4x.org=simon.cruanes.2007@bounces.m4x.org
  designates 129.104.30.34 as permitted sender)
  identity=mailfrom; client-ip=129.104.30.34;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="SRS0=/w+w=VS=m4x.org=simon.cruanes.2007@bounces.m4x.org";
  x-sender="SRS0=/w+w=VS=m4x.org=simon.cruanes.2007@bounces.m4x.org";
  x-conformance=sidf_compatible; x-record-type="spf2.0"
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@mx1.polytechnique.org designates 129.104.30.34 as
  permitted sender) identity=helo; client-ip=129.104.30.34;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="SRS0=/w+w=VS=m4x.org=simon.cruanes.2007@bounces.m4x.org";
  x-sender="postmaster@mx1.polytechnique.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgkCANF7qFKBaB4inGdsb2JhbAA/GoM/g1a3NRYOAQEBAQEICwkJFCiCJQEBBAEjVgULCyEhAgIPBUmIDwYNNrFoj2UXkXuBSASYE45Fhnk
X-IPAS-Result: AgkCANF7qFKBaB4inGdsb2JhbAA/GoM/g1a3NRYOAQEBAQEICwkJFCiCJQEBBAEjVgULCyEhAgIPBUmIDwYNNrFoj2UXkXuBSASYE45Fhnk
X-IronPort-AV: E=Sophos;i="4.93,872,1378850400"; 
   d="scan'208";a="40493154"
Received: from mx1.polytechnique.org ([129.104.30.34])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 11 Dec 2013 15:56:44 +0100
Received: from emmental.inria.fr (emmental.inria.fr [128.93.0.14])
	(using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by ssl.polytechnique.org (Postfix) with ESMTPSA id 080A414139E04;
	Wed, 11 Dec 2013 15:56:44 +0100 (CET)
Date: Wed, 11 Dec 2013 15:56:42 +0100
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
To: Pierre-Yves Strub <pierre-yves@strub.nu>
Cc: caml-list@inria.fr
Message-ID: <20131211145642.GM11307@emmental.inria.fr>
References: <a6230abe4852ccaee38d2cd206495b58@strub.nu>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="9aCKuHbn5v2q3RVc"
Content-Disposition: inline
In-Reply-To: <a6230abe4852ccaee38d2cd206495b58@strub.nu>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Wed Dec 11 15:56:44 2013 +0100 (CET))
X-Spam-Flag: No, tests=bogofilter, spamicity=0.000879, queueID=292E014139E05
X-Org-Mail: simon.cruanes.2007@polytechnique.org
Subject: Re: [Caml-list] Dead code detection


--9aCKuHbn5v2q3RVc
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Le Wed, 11 Dec 2013, Pierre-Yves Strub a =C3=A9crit :

> Hi all,
>=20
> Does any of you know a tool for doing dead code detection?

Hi Pierre-Yves,

I don't use such a tool but I remember that Ocamlpic contains something
similar for shrinking bytecode files. See
http://www.algo-prog.info/ocaml_for_pic/web/index.php?id=3DOCAPIC:OCamlClean
=2E

It would be great to have such a standalone tool on opam, though.

Cheers,

--=20
Simon

--9aCKuHbn5v2q3RVc
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAEBAgAGBQJSqH0qAAoJEErAHQhJqmK29QMP+wZPj8mD4GkzWt5HduLoGtNo
KYbuexH1mKGfcpdamnVkkkgKu+2CfsjmHX4hL5hpDhfEyD1v1e6qo4k2Iq6MoY1Q
rlkoUzUQSXAhOMdc8Jiafi2uVdUg0OiNfIurk9a+ifikKMcvJK1HSFW8hBPr6hL9
NlgtfogQQNbHRvkwIvj8BpeYNQfR2L5BWs/5YH5pX3yCfEVSvvZ4gUcckbeUuhYc
V8t5um+LMukkuIE85RXUYtcikj2lV7IC/CQFo2fvedO33U1GiSXUGb2ICbko9myW
yOlDvUn+pDReEcI4cMimsQWoCDl52zwhzz5IRaf+uuqbOolt62eftoi6mAcp2IdR
Bou2GnLqOg13XgDI4WVnNbcxfF7trfbmVeFoqOjOFYsji44Kr/kduqz5xlWYH4/d
IocwvHp1aD8WbjmQ6FxV2GVJHRYIx8sLVf8aqQWqLx99rpPaWp7IrNci7lfLarEr
C+c0FEIelnvXznaw/8RVqfuDsg69SwJuL+ePifvwQtGuiCJOyLPv5U0Wbj4o0M2l
o8eMg+mszvjRWyPPD9es3eNDhw2vEq561JWLxhodmdvhm/3h/HcINzjwHuDM6X19
Lr/m4Z+zwturDTeR3gB+kltbeXnqGcO9myhb+8hUYS0dXgSBU9fk0Dj0vxjZdgwV
ooV0gya3S0dxYlEMGP+a
=3DmA
-----END PGP SIGNATURE-----

--9aCKuHbn5v2q3RVc--