[klee-dev] whole-program-llvm

[Zhiyi Zhang]

Hi

I also run extract-bc on the executable program but there still exist some
errors as following:

*Traceback (most recent call last):*
*  File "/home/loveling10/whole-program-llvm-master/extract-bc", line 380,
in <module>*
*    sys.exit(main(sys.argv))*
*  File "/home/loveling10/whole-program-llvm-master/extract-bc", line 327,
in main*
*    process_file_unix(inputFile, outputFile, llvmLinker, llvmArchiver)*
*  File "/home/loveling10/whole-program-llvm-master/extract-bc", line 349,
in process_file_unix*
*    return handleExecutable(inputFile, outputFile, extractor, llvmLinker)*
*  File "/home/loveling10/whole-program-llvm-master/extract-bc", line 139,
in handleExecutable*
*    fileNames = extractor(inputFile)*
*  File "/home/loveling10/whole-program-llvm-master/extract-bc", line 129,
in extract_section_linux*
*    (sectionSize, sectionOffset) = getSectionSizeAndOffset(elfSectionName,
inputFile)*
*  File "/home/loveling10/whole-program-llvm-master/extract-bc", line 79,
in getSectionSizeAndOffset*
*    filename)*
*Exception: Could not find ".llvm_bc" ELF section in
"/home/loveling10/klee/examples/coreutils/coreutils/obj-llvm/src/base64"*

Thank you very much,
Zhiyi Zhang

On Thu, Mar 19, 2015 at 5:16 PM, Dan Liew <dan at su-root.co.uk> wrote:

> Hi,
>
>
> > it reports the error that
> >
> > ERROR:File
> >
> "/home/loveling10/klee/examples/coreutils/coreutils/obj-llvm/src/base64.o"
> > of type ELF_OBJECT cannot be used.
>
> You're supposed to run ``extract-bc`` on the final executable i.e.
> ``base64``. You tried running
> ``extract-bc`` on one of the constituent object files of ``base64``
> which will not work.
>
> Please read the whole-program-llvm README [1] more carefully.
>
>
> [1] https://github.com/travitch/whole-program-llvm/blob/master/README.md
>
-------------- next part --------------
HTML attachment scrubbed and removed