From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 2E4D7BC57 for ; Fri, 5 Nov 2010 23:18:20 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnYBADsf1EzAbSoIe2dsb2JhbACDKJBHjXwVAQEWIgQeqleQaA2BFYMzcwQ X-IronPort-AV: E=Sophos;i="4.58,305,1286143200"; d="scan'208";a="78026698" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 05 Nov 2010 23:18:19 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from first (e178028165.adsl.alicedsl.de [85.178.28.165]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id oA5MIIfs017163 for ; Fri, 5 Nov 2010 23:18:19 +0100 Received: by first (Postfix, from userid 1000) id D0855441AA4; Fri, 5 Nov 2010 23:18:18 +0100 (CET) Date: Fri, 5 Nov 2010 23:18:18 +0100 From: oliver@first.in-berlin.de To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Causes for segfaults Message-ID: <20101105221818.GO1690@siouxsie> References: <201011042125.38754.raphlalou@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 X-Spam: no; 0.00; in-berlin:01 segfaults:01 ocaml:01 lib:01 brandon:98 wrote:01 oliver:01 oliver:01 caml-list:01 unsafe:01 modules:02 external:03 module:03 marshalled:04 thu:05 On Thu, Nov 04, 2010 at 08:39:27PM +0000, Jamie Brandon wrote: > I'm not using Obj. I am unmarshalling. I have 'ulimit -s unlimited' [...] I once have used Marshall-Module, when exploring Ocaml the first time. I changed the saved marshalled files by hand and read them back, doing unmarshalling and this yielded a crash. Then I decided to never again use this module and also asked to remove such unsafe technics/modules from the standard lib, but as you can see, it was not removed. Should be an external add-on, or better, made safe. Ciao, Oliver