Browse thread
First release of Oug: reference graph from ocaml code
-
Maxence Guesdon
- RABIH.ELCHAAR@s...
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2008-06-09 (08:47) |
From: | RABIH.ELCHAAR@s... |
Subject: | RE: [Caml-list] First release of Oug: reference graph from ocaml code |
Dear Sir, 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-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria.fr] De la part de Maxence Guesdon Envoyé : mardi 3 juin 2008 18:39 À : caml-list@inria.fr Objet : [Caml-list] First release of Oug: reference graph from ocaml code Hello, 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 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