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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 60353BC6B for ; Mon, 10 Dec 2007 18:19:35 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJcDXUfAXQInh2dsb2JhbACPZAEBAQgKKYEU X-IronPort-AV: E=Sophos;i="4.23,277,1194217200"; d="scan'208";a="20177172" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Dec 2007 18:19:35 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lBAHJQ7S017534 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 10 Dec 2007 18:19:34 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANcDXUfRVca9kmdsb2JhbACPZAEBAQEHAgYpgRY X-IronPort-AV: E=Sophos;i="4.23,277,1194217200"; d="scan'208";a="5488282" Received: from rv-out-0910.google.com ([209.85.198.189]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Dec 2007 18:19:33 +0100 Received: by rv-out-0910.google.com with SMTP id f5so1537450rvb for ; Mon, 10 Dec 2007 09:19:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=bMoMq2/UDtYgWqqpGF1XJ6QoQjsQkYeUBAmF+IfC2j4=; b=lZ+yiSOgDjV3Sxwcxi78pOzAWb/8dRuMH0fv9hoUxC/QkTg1xo/bLkYBq10y3jwXptKeiqPB9FvBu0Kq51FvfTcVe0I9nvLyc9cR6BGHc5SonKxpxL48+g1C4RLanzxt0dvQajLo5lUSB5LKzHXjHIwtfZrlEEPAK183wBoWtIU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=XX1343t0TWtRKYktj68yhs1gFbhpfxRgIFymXgC41x1XBQSMU8eEumvUCSGQotuoer1JhWJsiUTu+yWAtjUWoWFJiSOUHgIsmg1JDF8RhYTiw6pvGucttpcJbOj0hEr0Ra6JMdIOCJULlYlbkS4QIpJc4NJeKbmOsMHbf9We5cU= Received: by 10.141.23.7 with SMTP id a7mr4391019rvj.1197307172172; Mon, 10 Dec 2007 09:19:32 -0800 (PST) Received: by 10.140.200.16 with HTTP; Mon, 10 Dec 2007 09:19:32 -0800 (PST) Message-ID: <90823c940712100919o39bd152cr34bf9f2ed6f5a4f@mail.gmail.com> Date: Mon, 10 Dec 2007 20:19:32 +0300 From: "Dmitry Bely" To: caml-list@inria.fr Subject: Re: [Caml-list] Class runtime representation In-Reply-To: <20071210155101.GA20671@furbychan.cocan.org> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <90823c940712070559i5c435a10l76bbb3ec328690aa@mail.gmail.com> <20071208.223648.27836833.garrigue@math.nagoya-u.ac.jp> <90823c940712100600h5d748658x5e4647169500a917@mail.gmail.com> <20071210155101.GA20671@furbychan.cocan.org> X-Miltered: at concorde with ID 475D751E.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; runtime:01 preprocess:01 non-trivial:01 ocaml:01 compiler:01 mangling:01 ocaml:01 10,:98 wrote:01 dmitry:01 dmitry:01 caml-list:01 bely:01 bely:01 modifying:02 On Dec 10, 2007 6:51 PM, Richard Jones wrote: > > Thanks for the detailed explanation. I don't like method names in the > > binary because they show some implementation details that I would like > > to hide; several extra bytes of code are really not a problem. > > I suppose you could preprocess the source to mangle method names, Writing such "obfuscator" may be non-trivial.. I tend to think that modifying Ocaml compiler can be simpler. > but > to be honest if you're worried about the security of the binary from > reverse engineering I'm afraid that you'll need to consider a lot more > than just mangling. Not that I worry about reverse engineering too much, but my manager is not very happy to see human-readable method names in the binary (I spent enough time to get a permission to code anything in Ocaml; I don't like to lose it eventually) - Dmitry Bely