Calling conventions are hard – fuzz them

http://achacompilers.blogspot.com/2015/09/calling-conventions-are-hard-fuzz-them.html

by andrewchambers • 11 years ago

31 8 11 years ago

achacompilers.blogspot.com

regehr• 11 years ago

Quest was a much earlier tool (ca. 2005) with similar goals: https://github.com/lindig/quest

lindig2• 11 years ago

I'm the author of Quest - thanks for linking to it. Feel free to ask questions about it. If anyone wants to try it: it's implemented in OCaml and can be installed from OCaml's package manager Opam: "opam install quest".

andrewchambers3• 11 years ago

Really cool, I did a quick search before I wrote my version and didn't see it. Thanks for writing quest, I will add it to my toolbox.

lindig2• 11 years ago

Quick anecdote: I always demoed Quest by running it in a loop testing GCC on an Apple laptop and it would always find a compiler bug. No longer, it seems. I've tried it on OS X 10.10.5 today and so far couldn't find a bug in GCC or Clang.

andrewchambers3• 11 years ago

Thats for the link, another set of tools that are really great - https://embed.cs.utah.edu/csmith/ https://embed.cs.utah.edu/creduce/

6502nerdface• 11 years ago

Browsing through the source, Quest also seems to be a really excellent example of Literate Programming.

iokevins• 11 years ago

Awesome! Nice write-up. And thanks for submitting those bugs back to the maintainers.

Calling conventions are hard – fuzz them

Related Stories