From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q04HuHlf013686 for ; Wed, 4 Jan 2012 18:56:17 +0100 X-IronPort-AV: E=Sophos;i="4.71,456,1320620400"; d="scan'208";a="125592827" Received: from arouen-553-1-246-20.w90-17.abo.wanadoo.fr (HELO macadam.home) ([90.17.210.20]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 04 Jan 2012 18:56:12 +0100 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Apple Message framework v1084) From: Damien Doligez In-Reply-To: <20120102014314.GA4960@siouxsie> Date: Wed, 4 Jan 2012 18:56:11 +0100 Content-Transfer-Encoding: 7bit Message-Id: <2015E02F-FBB2-455F-B7C0-A4A478E2F6C3@inria.fr> References: <1325263446.5036.104.camel@samsung> <4EFDEF92.3010204@inria.fr> <20120101125212.GB12851@annexia.org> <4F0097E6.2090701@inria.fr> <1325451843.5036.165.camel@samsung> <20120101232429.GA3818@siouxsie> <1325462283.5036.189.camel@samsung> <20120102014314.GA4960@siouxsie> To: caml users X-Mailer: Apple Mail (2.1084) Subject: Re: [Caml-list] Hashtbl and security On 2012-01-02, at 02:43, oliver wrote: > If the type is an abstract type, which comes from something like > Hashtbl.Randomseed > and has type t, not type int, this problem would vanish. You have to be careful. If we make hash table randomization mandatory, the Frama-C people will hate us, as will all the people who want reproducible results from their programs (for purposes of testing and benchmarking, for example). So, even if randomized is the default, there must be a way to get a plain hash table that does the same thing every time. -- Damien