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 <d...@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 >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev