[klee-dev] error : klee + coreutils + experimental [+docker]

[Joshep J. Cortez Sanchez]

Hi all,

I' ve follow de experimental tutorial <http://klee.github.io/experimental/>
to KLEE in the last week and all was fine.
Also I made the container klee/klee for docker.

But, when I try testing coreutils
<http://klee.github.io/tutorials/testing-coreutils/>, I'm obtaining some
errors:

1) *WITHOUT DOCKER case*:
In *step 2* from tutorial.

coreutils-6.11$ mkdir obj-llvm
coreutils-6.11$ cd obj-llvm
obj-llvm$ ../configure --disable-nls CFLAGS="-g"
... verify that configure worked ...
obj-llvm$ *make CC=/my/path/to/klee/scripts/klee-gcc*

This line fail with:
/home/lala/klee/scripts/klee-gcc  -g  -Wl,--as-needed -o uname uname.o
uname-uname.o ../lib/libcoreutils.a  ../lib/libcoreutils.a
Traceback (most recent call last):
  File "/home/lala/klee/scripts/klee-gcc", line 38, in <module>
    main()
  File "/home/lala/klee/scripts/klee-gcc", line 32, in main
    os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)
  File "/usr/lib/python2.7/os.py", line 344, in execvp
    _execvpe(file, args)
  File "/usr/lib/python2.7/os.py", line 380, in _execvpe
    func(fullname, *argrest)
*OSError: [Errno 2] No such file or director *

Clearly i have not llvm-ld because it was removed
<http://stackoverflow.com/questions/17779958/llvm-ld-still-exist-for-clang-3-4>.
So, what shuold I change in klee-gcc to make it work with the new
settings/version of things

2) *WITH DOCKER klee/klee case*:
It fails in *step 1* (2 too)
I run:
sudo docker run -ti klee/klee
klee at 2f1c0eaa949c:~$ wget
http://ftp.gnu.org/gnu/coreutils/coreutils-6.11.tar.gz
klee at 2f1c0eaa949c:~$ tar xf coreutils-6.11.tar.gz
klee at 2f1c0eaa949c:~$ cd coreutils-6.11
klee at 2f1c0eaa949c:~/coreutils-6.11$ mkdir obj-gcov && cd obj-gcov
klee at 2f1c0eaa949c:~/coreutils-6.11/obj-gcov$ *../configure --disable-nls
CFLAGS="-g -fprofile-arcs -ftest-coverage"*

config.status: executing po-directories commands
config.status: creating po/POTFILES
config.status: creating po/Makefile
rm: cannot remove 'confdir3/confdir3/confdir3/..
.(many many repetitions ).../confdir3/confdir3': File name too long

- The same ocurr when executing the ../configure for obj-llvm case.


Any help or ideas you can provide will be greatly appreciated.
(I'm using ubuntu 14.04 x64)
Thank you.


-- 
           Joshep
-------------- next part --------------
HTML attachment scrubbed and removed