From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA06681; Thu, 4 Sep 2003 09:19:04 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA16910 for ; Thu, 4 Sep 2003 09:19:02 +0200 (MET DST) Received: from indyio.rz.uni-saarland.de (indyio.rz.uni-saarland.de [134.96.7.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h847J2f27162 for ; Thu, 4 Sep 2003 09:19:02 +0200 (MET DST) Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by indyio.rz.uni-saarland.de (8.12.9/8.12.9) with ESMTP id h847J0iW15359421 for ; Thu, 4 Sep 2003 09:19:00 +0200 (CST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.9/2003073000) with ESMTP id h847Ixeo022551; Thu, 4 Sep 2003 09:18:59 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.9/2003020700) with ESMTP id h847Ix3d015882; Thu, 4 Sep 2003 09:18:59 +0200 (CEST) Received: from mail.st.cs.uni-sb.de (goscinny.cs.uni-sb.de [134.96.235.32]) by mail.cs.uni-sb.de (8.12.9/2003073000) with ESMTP id h847IvXc013870; Thu, 4 Sep 2003 09:18:58 +0200 (CEST) X-Authentication-Warning: email: Host goscinny.cs.uni-sb.de [134.96.235.32] claimed to be mail.st.cs.uni-sb.de Received: from jacobs.cs.uni-sb.de (jacobs.cs.uni-sb.de [134.96.235.135]) by mail.st.cs.uni-sb.de (Postfix) with ESMTP id A4B5634B5C9; Thu, 4 Sep 2003 09:18:57 +0200 (CEST) Received: by jacobs.cs.uni-sb.de (Postfix, from userid 7528) id 4D77D97A4D; Thu, 4 Sep 2003 09:18:57 +0200 (CEST) Date: Thu, 4 Sep 2003 09:18:57 +0200 From: Christian Lindig To: Ching-Tsun Chou Cc: Caml Mailing List Subject: Re: [Caml-list] Is there a "disassembler" for Caml? Message-ID: <20030904071857.GA21312@st> Mail-Followup-To: Christian Lindig , Ching-Tsun Chou , Caml Mailing List References: <200309040144.h841iwTR015921@zws707.sc.intel.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200309040144.h841iwTR015921@zws707.sc.intel.com> X-No-Archive: yes X-URL: http://www.st.cs.uni-sb.de/~lindig/ User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lindig:01 lindig:01 uni-sb:01 caml-list:01 0400,:01 bytecodes:01 ocamlc:01 -dinstr:01 foo:01 uni-sb:01 ocaml:01 ocaml:01 caml:01 caml:01 byte:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Sep 03, 2003 at 09:44:58PM -0400, Ching-Tsun Chou wrote: > Is there a "disassembler" for Caml Light or Objective Caml that can > generate (more or less) readable Caml code from Caml bytecode? The dumpobj utility in the tools/ directory of the distribution can disasssemble byte code files. However, it just shows the bytecodes in clear text, not the original OCaml code. The output is similar to "ocamlc -dinstr foo.ml". I don't know of any tool that reconstructs the OCaml source code. -- Christian -- Christian Lindig http://www.st.cs.uni-sb.de/~lindig/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners