[klee-dev] Asking for Help about Klee3.4 on docker

[Jiarui Wang]

Hi,

I followed   Tutorial on How to Use KLEE to Test GNU Coreutils
http://klee.github.io/tutorials/testing-coreutils/  .

In the step 2, I got all the *.o files by using whole-program-llvm. But
there is no *.bc files.

So I used

klee at 3cc1aa045534:~/test/coreutils-6.11/obj-llvm/src$
/home/klee/test/whole-program-llvm-master/extract-bc base64.o
to get *.bc files. But I got the error

klee at 3cc1aa045534:~/test/coreutils-6.11/obj-llvm/src$
/home/klee/test/whole-program-llvm-master/extract-bc base64.o
DEBUG::popenwrapper.Popen() at popenwrapper.py:13 ::WLLVM Executing:
['file', '/home/klee/test/coreutils-6.11/obj-llvm/src/base64.o']
in: /home/klee/test/coreutils-6.11/obj-llvm/src
DEBUG::extract-bc.process_file_unix() at extract-bc:341 ::Detected file
type is ELF_OBJECT
INFO::extract-bc.process_file_unix() at extract-bc:348 ::Generating LLVM
Bitcode module
DEBUG::popenwrapper.Popen() at popenwrapper.py:13 ::WLLVM Executing:
['objdump', '-h', '-w', 'base64.o']
in: /home/klee/test/coreutils-6.11/obj-llvm/src
Traceback (most recent call last):
  File "/home/klee/test/whole-program-llvm-master/extract-bc", line 380, in
<module>
    sys.exit(main(sys.argv))
  File "/home/klee/test/whole-program-llvm-master/extract-bc", line 327, in
main
    process_file_unix(inputFile, outputFile, llvmLinker, llvmArchiver)
  File "/home/klee/test/whole-program-llvm-master/extract-bc", line 349, in
process_file_unix
    return handleExecutable(inputFile, outputFile, extractor, llvmLinker)
  File "/home/klee/test/whole-program-llvm-master/extract-bc", line 139, in
handleExecutable
    fileNames = extractor(inputFile)
  File "/home/klee/test/whole-program-llvm-master/extract-bc", line 129, in
extract_section_linux
    (sectionSize, sectionOffset) = getSectionSizeAndOffset(elfSectionName,
inputFile)
  File "/home/klee/test/whole-program-llvm-master/extract-bc", line 79, in
getSectionSizeAndOffset
    filename)
Exception: Could not find ".llvm_bc" ELF section in "base64.o"

Just like this email
https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg01926.html  and it
does not work for both base64 and base64.o
Then I tried

```
export WLLVM_OUTPUT=DEBUG
export CC=wllvm
export CXX=wllvm++
 ../configure --disable-nls CFLAGS="-g"
make
```

when I run ../configure --disable-nls CFLAGS="-g”  there was an error

klee at 3cc1aa045534:~/test/coreutils-6.11/obj-llvm$ ../configure
--disable-nls CFLAGS="-g"
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
configure: autobuild project... GNU coreutils
configure: autobuild revision... 6.11
configure: autobuild hostname... 3cc1aa045534
configure: autobuild timestamp... 20160316-095126
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking for style of include used by make... GNU
checking for gcc... wllvm
checking for C compiler default output file name...
configure: error: C compiler cannot create executables
See `config.log' for more details.

Hope you can help me asap.

Thank you very much

Jiarui Wang
-------------- next part --------------
HTML attachment scrubbed and removed