Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Search for the smallest possible possible Ocaml segfault....
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-11-08 (15:20)
From: Till Varoquaux <till.varoquaux@g...>
Subject: Re: [Caml-list] Search for the smallest possible possible Ocaml segfault....
> and I guess you mean in both bytecode and nativecode and without
> compiling with -unsafe, right?
Of course -unsafe is out of the picture. Using unsafe functions
(String.unsafe-get etc...) will also disqualify your solution.

And I'll push it even further: using -rectypes counts as a penalty but
crashing the interpreter is a bonus.

P.S. I forgot to give credit in my previous mail: the bug was found
with Stéphane Glondu and Jérôme Vouillon while trying to understand
scanf, however they should not be held responsible for this post .
Adam Chlipala pointed out this might be the record for a segfault in
Ocaml, giving me the idea of launching this contest...
> --
> Jean-Christophe Filliâtre