[Caml-list] Dead code detection

[Caml-list] Dead code detection

[Pierre-Yves Strub]

Hi all,

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

Thanks,
-- Pierre-Yves.

Re: [Caml-list] Dead code detection

[Simon Cruanes]

[-- Attachment #1: Type: text/plain, Size: 440 bytes --]

Le Wed, 11 Dec 2013, Pierre-Yves Strub a écrit :

> Hi all,
> 
> 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=OCAPIC:OCamlClean
.

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

Cheers,

-- 
Simon

[-- Attachment #2: Type: application/pgp-signature, Size: 836 bytes --]

Re: [Caml-list] Dead code detection

[Fabien Renaud]

[-- Attachment #1: Type: text/plain, Size: 521 bytes --]

Hi,

You can try https://github.com/Michaaell/dead-code-detection (which
requires OCaml 4).

Fabien

On Wed, Dec 11, 2013 at 3:52 PM, 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
>

[-- Attachment #2: Type: text/html, Size: 1328 bytes --]

Re: [Caml-list] Dead code detection

[Alain Frisch]

At LexiFi, we use two different techniques for detecting dead code:

  - Bisect, for a dynamic notion of "dead code" (i.e. code which is not 
exercised by our testsuite).

  - A custom static detection tool, which parses .cmt and .cmi files to 
detect exported components (values, exceptions, etc) used by no other 
module in the project.  This is of course combined with the existing 
compiler warnings on locally unused and non-exported declarations.


The next version of OCaml will make it extremely simple to implement 
such a static detection tool.  This is because of the new -keep-locs 
compiler flag, which allows us to keep the location of exported values 
in .cmi files, and thus retrieve the same locations on references to 
such values in .cmt files.  It makes it very easy to create the link 
between an exported value and its references in external modules, even 
if this goes through e.g. module inclusions.  As a proof of concept of 
this approach, we can already try the tool 
experimental/frisch/unused_exported_values.ml in the trunk:

http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/trunk/experimental/frisch/unused_exported_values.ml?revision=HEAD&view=markup


(-keep-locs also gives "for free" a jump-to-definition feature, just by 
parsing .cmt or .annot files.)


Hope this helps,

Alain




On 12/11/2013 03:52 PM, Pierre-Yves Strub wrote:
> Hi all,
>
> Does any of you know a tool for doing dead code detection?
>
> Thanks,
> -- Pierre-Yves.
>
>

Re: [Caml-list] Dead code detection

[oliver]

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

Re: [Caml-list] Dead code detection

[Yoann Padioleau]

[-- Attachment #1: Type: text/plain, Size: 800 bytes --]

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 <pierre-yves@strub.nu<mailto: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


[-- Attachment #2: Type: text/html, Size: 1591 bytes --]