Re: compiler bugs

Tony Finch <dot@dotat.at>
29 Apr 2009 15:31:21 +0100 (BST)

          From comp.compilers
Related articles
[6 earlier articles]
Re: compiler bugs lkrupp@indra.com (Louis Krupp) (2009-04-28)
Re: compiler bugs jonathan@nitrogen.astro.indiana.edu (Jonathan Thornburg) (2009-04-28)
Re: compiler bugs jgd@cix.compulink.co.uk (2009-04-28)
Re: compiler bugs georgeps@xmission.com (George Peter Staplin) (2009-04-28)
Re: compiler bugs marcov@stack.nl (Marco van de Voort) (2009-04-29)
Re: compiler bugs torbenm@pc-003.diku.dk (2009-04-29)
Re: compiler bugs dot@dotat.at (Tony Finch) (2009-04-29)
Re: compiler bugs derek@knosof.co.uk (Derek M. Jones) (2009-04-29)
Re: compiler bugs gah@ugcs.caltech.edu (glen herrmannsfeldt) (2009-04-29)
Re: compiler bugs r3jjs@yahoo.com (Jeremy J Starcher) (2009-04-29)
Re: compiler bugs walter@bytecraft.com (Walter Banks) (2009-04-30)
Re: compiler bugs cfc@shell01.TheWorld.com (Chris F Clark) (2009-04-30)
Re: compiler bugs anton@mips.complang.tuwien.ac.at (2009-05-01)
[10 later articles]
| List of all articles for this month |
From: Tony Finch <dot@dotat.at>
Newsgroups: comp.compilers
Date: 29 Apr 2009 15:31:21 +0100 (BST)
Organization: dotat labs
References: 09-04-072
Keywords: errors
Posted-Date: 29 Apr 2009 11:45:04 EDT

Sid Touati <SidTouati@inria.fr> wrote:
>
>How can a simple programmer detect a bug in a compiler ? is there some
>well known verification techniques ?


There's a brillant paper by Eric Eide and John Regehr from the University
of Utah where they use a clever variant of fuzz testing to find bugs in
the way compilers implement C's volatile storage qualifier. They use
a code generator to create random programs, and they instrument their
execution to find out their memory access patterns. They detect compiler
bugs by compiling the programs with different optimisation levels and
seeing when the access patterns differ.


http://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf


Tony.
--
f.anthony.n.finch <dot@dotat.at> http://dotat.at/

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.