From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id CE276BC68 for ; Thu, 21 Sep 2006 09:40:39 +0200 (CEST) Received: from Smtp.neuf.fr (sp604001mt.neufgp.fr [84.96.92.60]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8L7eZvK022275 for ; Thu, 21 Sep 2006 09:40:39 +0200 Received: from [84.103.4.253] by sp604001mt.gpm.neuf.ld (Sun Java System Messaging Server 6.2-5.05 (built Feb 16 2006)) with ESMTP id <0J5X00BUHMMMVN00@sp604001mt.gpm.neuf.ld> for caml-list@inria.fr; Thu, 21 Sep 2006 09:40:03 +0200 (CEST) Date: Thu, 21 Sep 2006 09:39:57 +0200 From: Samuel Mimram Subject: Module dependencies of bytecode executables To: Caml List Cc: Julien Cristau , Stefano Zacchiroli Message-id: <451241CD.9090807@ens-lyon.org> MIME-version: 1.0 Content-type: text/plain; charset=UTF-8 Content-transfer-encoding: 7BIT X-Enigmail-Version: 0.94.0.0 User-Agent: Thunderbird 1.5.0.7 (X11/20060915) X-Miltered: at discorde with ID 451241F3.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ens-lyon:01 dependencies:01 bytecode:01 bytecode:01 cheers:01 interfaces:01 executables:01 grep:01 modules:02 seems:03 executable:03 executable:03 module:03 somehow:11 but:13 Hi list, Is it somehow possible to extract the list of modules used by a bytecode executable? "ocamldumpobj a.out | grep SETGLOBAL" seems to be a good starting point but I don't know if it's reliable. Are the md5sums of the imported interfaces still available? Also, how can I determine which *.so will be dlopened by the executable? Thanks! Cheers, Samuel.