From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 46DCA7EE99 for ; Wed, 11 Dec 2013 22:18:20 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pad@fb.com) identity=pra; client-ip=67.231.153.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="prvs=5057dccbba=pad@fb.com"; x-sender="pad@fb.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of prvs=5057dccbba=pad@fb.com designates 67.231.153.30 as permitted sender) identity=mailfrom; client-ip=67.231.153.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="prvs=5057dccbba=pad@fb.com"; x-sender="prvs=5057dccbba=pad@fb.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx0a-00082601.pphosted.com) identity=helo; client-ip=67.231.153.30; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="prvs=5057dccbba=pad@fb.com"; x-sender="postmaster@mx0a-00082601.pphosted.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoEDAEvVqFJD55kef2dsb2JhbABZgz9TpiKTVYEzDgEBCQ0KCBQogiYBBUABASwLAQ8CAQgEIRoHMhMBEQIEDgUSh14DDw2xPQEBhFEBBYRuA4ccEQaND4F1gyyBE5Foh2CUDIIq X-IPAS-Result: AoEDAEvVqFJD55kef2dsb2JhbABZgz9TpiKTVYEzDgEBCQ0KCBQogiYBBUABASwLAQ8CAQgEIRoHMhMBEQIEDgUSh14DDw2xPQEBhFEBBYRuA4ccEQaND4F1gyyBE5Foh2CUDIIq X-IronPort-AV: E=Sophos;i="4.93,873,1378850400"; d="scan'208,217";a="40555005" Received: from mx0b-00082601.pphosted.com (HELO mx0a-00082601.pphosted.com) ([67.231.153.30]) by mail3-smtp-sop.national.inria.fr with ESMTP; 11 Dec 2013 22:18:18 +0100 Received: from pps.filterd (m0004003 [127.0.0.1]) by mx0b-00082601.pphosted.com (8.14.5/8.14.5) with SMTP id rBBL9CFu001539; Wed, 11 Dec 2013 13:18:16 -0800 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=fb.com; h=from : to : cc : subject : date : message-id : references : in-reply-to : content-type : mime-version; s=facebook; bh=nDdPX5a6n2lkFA7soxPGD1NOu3lTCZvAxco8tUkbVdo=; b=jr9yw/Y/nONdGEzKZEOg5PDtPNaDEk8a7Ot828xvQiVuJES1JF/I06iFvkQ5u3Vvhs35 21/1p+O6UjPkxCoznomRVh0VuYXzcFfrAQnZIryl5xs8/NcjjPjxpiNR5b8oGCuOHsG8 Bz11q/r5xsXgzrNkGta50Pxn/bTNxllfttE= Received: from mail.thefacebook.com (mailwest.thefacebook.com [173.252.71.148]) by mx0b-00082601.pphosted.com with ESMTP id 1gpwey8h8b-1 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=OK); Wed, 11 Dec 2013 13:18:16 -0800 Received: from PRN-MBX02-4.TheFacebook.com ([169.254.5.167]) by PRN-CHUB08.TheFacebook.com ([fe80::c9c7:30fd:ad3:b94%12]) with mapi id 14.03.0169.001; Wed, 11 Dec 2013 13:18:13 -0800 From: Yoann Padioleau To: Pierre-Yves Strub CC: "" Thread-Topic: [Caml-list] Dead code detection Thread-Index: AQHO9oC35txpb2qpBk6g2CoBk683sJpQBhqA Date: Wed, 11 Dec 2013 21:18:13 +0000 Message-ID: <6E5EC514-BF6B-4B66-A40A-127124BE8AA4@fb.com> References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [192.168.16.4] Content-Type: multipart/alternative; boundary="_000_6E5EC514BF6B4B66A40A127124BE8AA4fbcom_" MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:5.11.87,1.0.14,0.0.0000 definitions=2013-12-11_05:2013-12-11,2013-12-11,1970-01-01 signatures=0 X-Proofpoint-Spam-Details: rule=fb_default_notspam policy=fb_default score=0 kscore.is_bulkscore=1.46149758961656e-12 kscore.compositescore=0 circleOfTrustscore=0 compositescore=0.997600857122248 urlsuspect_oldscore=0.997600857122248 suspectscore=0 recipient_domain_to_sender_totalscore=0 phishscore=0 bulkscore=0 kscore.is_spamscore=0 recipient_to_sender_totalscore=0 recipient_domain_to_sender_domain_totalscore=79 rbsscore=0.997600857122248 spamscore=0 recipient_to_sender_domain_totalscore=0 urlsuspectscore=0.9 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=7.0.1-1305240000 definitions=main-1312110125 X-FB-Internal: deliver Subject: Re: [Caml-list] Dead code detection --_000_6E5EC514BF6B4B66A40A127124BE8AA4fbcom_ Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Hi Pierre, I made a tool using the .cmt format that visualizes code dependencies: https://github.com/facebook/pfff/wiki/CodeGraph https://github.com/facebook/pfff/blob/master/main_codegraph.ml https://github.com/facebook/pfff/wiki/Main It also highlights dead code (at different granularities, dead directories, dead files, dead functions, etc). On Dec 11, 2013, at 6:52 AM, Pierre-Yves Strub > wrote: Hi all, Does any of you know a tool for doing dead code detection? Thanks, -- Pierre-Yves. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs --_000_6E5EC514BF6B4B66A40A127124BE8AA4fbcom_ Content-Type: text/html; charset="us-ascii" Content-ID: <1E5B699EABC15B4A987F421C36540ECD@fb.com> Content-Transfer-Encoding: quoted-printable Hi Pierre,

I made a tool using the .cmt format that visualizes code dependencies:=
https://github.com/facebook/pfff/blob/master/main_codegraph.ml

It also highlights dead code (at different granularities, dead directo= ries,
dead files, dead functions, etc).


On Dec 11, 2013, at 6:52 AM, Pierre-Yves Strub <pierre-yves@strub.nu> wrote:

Hi all,

Does any of you know a tool for doing dead code detection?

Thanks,
-- Pierre-Yves.


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

--_000_6E5EC514BF6B4B66A40A127124BE8AA4fbcom_--