I have been trying to reproduce the bugs in Coreutils 6.10 mentioned in the 2008 OSDI paper, "KLEE: Unassisted and Automatic Generation of High-Coverage Tests", but have not been successful.
I have looked at the old thread, http://keeda.stanford.edu/pipermail/klee-dev/2009-October/000139.html and tried the options there, but that did not work for me. Specifically, mkdir and mkfifo caused a segfault. I am using the latest version of KLEE (version 110223), compiled with llvm-gcc-2.7-front-end, with the following options, ./configure -with-llvm=/path/to/llvm-2.7 -with-uclibc=/path/touclibc/ --enable-posix-runtime. I have built the coreutils with llvm-gcc-2.7 with the following options, ./configure -disable-nls -CFLAGS=-g I guess I am doing something wrong here, but I have no idea what it is. This brings me to the 2 questions that I have: 1) What svn version of KLEE should I use to reproduce the bugs? 2) In the thread, there was an option -exclude-cov-file=./../lib/functions.txt. May I know what does this option do and may I have that file? (functions.txt) Regards, Brent Lim -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100804/b686640a/attachment.html
