[Caml-list] First release of Oug: reference graph from ocaml code
Maxence Guesdon
I'm glad to announce the first release of Oug (0.1).
Oug is a code analysis tool building reference graphs from OCaml code, that
is graphs representing which elements (value, module, class, ...) reference
which elements.
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 ("dead code"), various graphiz graphs, ...
Oug does not compute the call graph of the given OCaml code; this would
require data flow analysis. For this reason, the "dead code" dump always
consider that every method is referenced.
The homepage is here:
http://pauillac.inria.fr/~guesdon/oug.en.html
Regards,
Maxence Guesdon
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
RABIH....@sgam.com
Your post on the caml-list concerning the OUG tool attracted my attention, and I am planning to try to make it work, under a Win32, MSVC Ocaml version.
It seems that we need to point to a compiled ocaml source tree, to get OUG to compile.
My question concerns the location of the Ocaml 3.11 under CVS.
Looking at the http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/ nothing in the names seems to point to ocaml 3.11.
Can you please point out a branch that responds to this requirement?
TIA,
Rabih Chaar
-----Message d'origine-----
De : caml-lis...@yquem.inria.fr [mailto:caml-lis...@yquem.inria.fr] De la part de Maxence Guesdon
Envoyé : mardi 3 juin 2008 18:39
À : caml...@inria.fr
Objet : [Caml-list] First release of Oug: reference graph from ocaml code
Hello,
Regards,
Maxence Guesdon
This message and any attachments (the "message") are confidential, intended solely for the addressee(s), and may contain legally privileged information.
Any unauthorised use or dissemination is prohibited.
E-mails are susceptible to alteration.
Neither Societe Generale Asset Management nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.
Find out more about Societe Generale Asset Management's proposal on www.sgam.com
********
Ce message et toutes les pieces jointes (ci-apres le "message") sont confidentiels et susceptibles de contenir des informations couvertes par le secret professionnel.
Ce message est etabli a l'intention exclusive de ses destinataires.
Toute utilisation ou diffusion non autorisee est interdite.
Tout message electronique est susceptible d'alteration. Societe Generale Asset Management et ses filiales declinent toute responsabilite au titre de ce message s'il a ete altere, deforme ou falsifie.
Decouvrez l'offre et les services de Societe Generale Asset Management sur le site www.sgam.fr
Maxence Guesdon
<RABIH....@sgam.com> wrote:
> Dear Sir,
Hello,
> Your post on the caml-list concerning the OUG tool attracted my attention, and I am planning to try to make it work, under a Win32, MSVC Ocaml version.
>
> It seems that we need to point to a compiled ocaml source tree, to get OUG to compile.
> My question concerns the location of the Ocaml 3.11 under CVS.
> Looking at the http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/ nothing in the names seems to point to ocaml 3.11.
>
> Can you please point out a branch that responds to this requirement?
In fact it corresponds to the trunk in the CVS repository, where the future
3.11 version is developped. So it is accessible as told on
http://camlcvs.inria.fr/cvsserver-eng.html
using "ocaml" as dirname.
Regards,
Maxence Guesdon
--
Maxence Guesdon http://yquem.inria.fr/~guesdon/
Service Expérimentation et Développements https://devel.inria.fr/rocq/
INRIA Paris-Rocquencourt http://www.inria.fr/rocquencourt/
RABIH....@sgam.com
After some investigations, the tool seems to be only targetting a unix version of ocaml.
Some things in checkocaml.ml are easy to patch, like the separator ":" or ";" according to Sys.os_type. Also the distribution generates ocamlc.exe, which fails the search in function find_in_path.
Nevertheless, there are some calls to fork which is not supported in MSVC distrib. I didn't look more thoroughly to see if this can be patched.
Is there a plan to deliver a portable version of the tool?
TIA,
Rabih Chaar
-----Message d'origine-----
De : caml-lis...@yquem.inria.fr [mailto:caml-lis...@yquem.inria.fr] De la part de Maxence Guesdon
Envoyé : lundi 9 juin 2008 13:43
À : EL CHAAR Rabih SGAM/AI/SAM
Cc : caml...@inria.fr
Objet : Re: [Caml-list] First release of Oug: reference graph from ocaml code
> Dear Sir,
Hello,
Regards,
Maxence Guesdon
This message and any attachments (the "message") are confidential, intended solely for the addressee(s), and may contain legally privileged information.
Any unauthorised use or dissemination is prohibited.
E-mails are susceptible to alteration.
Neither Societe Generale Asset Management nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.
Find out more about Societe Generale Asset Management's proposal on www.sgam.com
********
Ce message et toutes les pieces jointes (ci-apres le "message") sont confidentiels et susceptibles de contenir des informations couvertes par le secret professionnel.
Ce message est etabli a l'intention exclusive de ses destinataires.
Toute utilisation ou diffusion non autorisee est interdite.
Tout message electronique est susceptible d'alteration. Societe Generale Asset Management et ses filiales declinent toute responsabilite au titre de ce message s'il a ete altere, deforme ou falsifie.
Decouvrez l'offre et les services de Societe Generale Asset Management sur le site www.sgam.fr
_______________________________________________
Maxence Guesdon
<RABIH....@sgam.com> wrote:
> Thanks for yor reply.
> After some investigations, the tool seems to be only targetting a unix version of ocaml.
Indeed. I have no Microsoft Windows.
> Some things in checkocaml.ml are easy to patch, like the separator ":" or ";" according to Sys.os_type. Also the distribution generates ocamlc.exe, which fails the search in function find_in_path.
>
> Nevertheless, there are some calls to fork which is not supported in MSVC distrib. I didn't look more thoroughly to see if this can be patched.
>
> Is there a plan to deliver a portable version of the tool?
Not from me, but I can integrate another contributed configuration script.
Regards,
Maxence Guesdon